diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-08 05:11:05 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-08 05:11:05 -0400 |
| commit | cdb54120e08b589e813c91f389055e88f4dc4bc0 (patch) | |
| tree | 45cdde22d44b8bc71a625b81d97eb9ddf8a60abd /doc | |
| parent | 4192be1917bb2751aecab9476b6cfd69fda6707f (diff) | |
cleanup
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/type_level_OS_requirements/comment_1_507e3b74c2a3b8f41da5d3eddf197c6f._comment | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/todo/type_level_OS_requirements/comment_1_507e3b74c2a3b8f41da5d3eddf197c6f._comment b/doc/todo/type_level_OS_requirements/comment_1_507e3b74c2a3b8f41da5d3eddf197c6f._comment index fa9a7eb1..b282e61e 100644 --- a/doc/todo/type_level_OS_requirements/comment_1_507e3b74c2a3b8f41da5d3eddf197c6f._comment +++ b/doc/todo/type_level_OS_requirements/comment_1_507e3b74c2a3b8f41da5d3eddf197c6f._comment @@ -29,8 +29,8 @@ Something like this, maybe: foo :: Property NoInfo '[Debian] foo = reify debian $ \os -> mkproperty os "foo" $ do os <- getOSList - ensureProperty os (Pkg.install "bar" :: Property NoInfo [FreeBSD]) - -- type error; FreeBSD not in [Debian] + ensureProperty os (Pkg.install "bar" :: Property NoInfo '[FreeBSD]) + -- type error; FreeBSD not in '[Debian] Where getOSList would pull the `debian` value out of Propellor monad state. (Of course, ensureProperty could run getReifiedOSList itself, |