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 '')
| -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");  | 
