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());
 }