diff options
Diffstat (limited to 'src/parser.rs')
-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()); } |