Skip to content

Commit

Permalink
improve documentation of tests/parser/failure/boundBuiltins.dhall (#459)
Browse files Browse the repository at this point in the history
My implementation was failing this test, but the comments above the
`label` rule weren't helpful.  In #442, the restriction migrated to
the `nonreserved-label` rule, but this comment wasn't updated.
  • Loading branch information
philandstuff committed Apr 7, 2019
1 parent d317261 commit 5db51c4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/parser/failure/boundBuiltins.dhall
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-
Builtin names are disallowed in bound variables.
The grammar doesn't explicitely disallow this, but the implementation should
refuse it. See the comments above the `label` rule.
refuse it. See the comments above the `nonreserved-label` rule.
-}
let Bool : Natural = 1 in Bool

0 comments on commit 5db51c4

Please sign in to comment.