diff options
| author | NanoTech | 2016-12-07 00:14:15 -0600 |
|---|---|---|
| committer | NanoTech | 2017-03-10 23:48:28 -0600 |
| commit | 9bfe1f36502c701d33174293f71647e614e5797e (patch) | |
| tree | f111f0b0b6d9c4489bed293790d7e44e85381c16 /src/parser.rs | |
| parent | e8da1dd3007a392e9594eca72177265f356cabeb (diff) | |
Parse Const, lists, and records
Also fix keyword parsing to always consume
whole identifiers.
Diffstat (limited to '')
| -rw-r--r-- | src/parser.rs | 1 |
1 files changed, 1 insertions, 0 deletions
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()); } |