From 6c1a739687f706cf6630c55f8d53c92aacaf6e3d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 24 Mar 2019 14:05:16 +0100
Subject: Disallow builtins as bound variables

---
 dhall/tests/parser.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall/tests')

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");
-- 
cgit v1.2.3