diff options
author | Nadrieril | 2019-03-24 14:05:16 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-24 14:05:16 +0100 |
commit | 6c1a739687f706cf6630c55f8d53c92aacaf6e3d (patch) | |
tree | 9fd95a35fe35cd532cd869f4c6f0db6585482225 /dhall/tests | |
parent | dc8497a1b659bff4e261a0d7f05f56d21c6d2448 (diff) |
Disallow builtins as bound variables
Diffstat (limited to 'dhall/tests')
-rw-r--r-- | dhall/tests/parser.rs | 2 |
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"); |