From 9bfe1f36502c701d33174293f71647e614e5797e Mon Sep 17 00:00:00 2001
From: NanoTech
Date: Wed, 7 Dec 2016 00:14:15 -0600
Subject: Parse Const, lists, and records

Also fix keyword parsing to always consume
whole identifiers.---
 src/parser.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/parser.rs')

diff --git a/src/parser.rs b/src/parser.rs
index 1ecf040..e3f3420 100644
--- a/src/parser.rs
+++ b/src/parser.rs
@@ -31,4 +31,5 @@ fn test_parse() {
     assert!(parse_expr("\\(b : Bool) -> b == False").is_ok());
     println!("{:?}", parse_expr("foo.bar"));
     assert!(parse_expr("foo.bar").is_ok());
+    assert!(parse_expr("[] : List Bool").is_ok());
 }
-- 
cgit v1.2.3