summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJoey Hess2016-03-08 05:11:05 -0400
committerJoey Hess2016-03-08 05:11:05 -0400
commit580ee07b75d8c1e56d1d96e827339db5c84e4004 (patch)
tree5dceedf1683ef6c132ac4743fa786ab06348f213 /doc
parentf06fbbbd6855ee6c53c9524a54c0773b350ebd87 (diff)
parentcdb54120e08b589e813c91f389055e88f4dc4bc0 (diff)
Merge branch 'joeyconfig'
Diffstat (limited to 'doc')
-rw-r--r--doc/todo/type_level_OS_requirements/comment_1_507e3b74c2a3b8f41da5d3eddf197c6f._comment4
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,