summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-03-24 14:05:16 +0100
committerNadrieril2019-03-24 14:05:16 +0100
commit6c1a739687f706cf6630c55f8d53c92aacaf6e3d (patch)
tree9fd95a35fe35cd532cd869f4c6f0db6585482225 /dhall
parentdc8497a1b659bff4e261a0d7f05f56d21c6d2448 (diff)
Disallow builtins as bound variables
Diffstat (limited to 'dhall')
-rw-r--r--dhall/tests/parser.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/tests/parser.rs b/dhall/tests/parser.rs
index fcc2fa9..5f57068 100644
--- a/dhall/tests/parser.rs
+++ b/dhall/tests/parser.rs
@@ -62,7 +62,7 @@ parser_success!(spec_parser_success_whitespace, "whitespace");
parser_success!(spec_parser_success_whitespaceBuffet, "whitespaceBuffet");
parser_failure!(spec_parser_failure_annotation, "annotation");
-// parser_failure!(spec_parser_failure_builtins, "builtins");
+parser_failure!(spec_parser_failure_builtins, "builtins");
parser_failure!(spec_parser_failure_doubleBoundsNeg, "doubleBoundsNeg");
parser_failure!(spec_parser_failure_doubleBoundsPos, "doubleBoundsPos");
parser_failure!(spec_parser_failure_importAccess, "importAccess");