Parse list types in type expressionHEADmaster

2 files changed, 12 insertions, 4 deletions

diff --git a/src/Parser/Expr.hs b/src/Parser/Expr.hs
index 4603dda..89fa208 100644
--- a/src/Parser/Expr.hs
+++ b/src/Parser/Expr.hs
@@ -560,5 +560,12 @@ applyFunctionArguments args sexpr@(SomeExpr (expr :: Expr a))
 typeExpr :: TestParser SomeExprType
 typeExpr = do
     off <- stateOffset <$> getParserState
-    name <- constrName <?> "type constructor name"
-    lookupType off name
+    choice
+        [ do
+            name <- constrName <?> "type constructor name"
+            lookupType off name
+        , do
+            between (symbol "[") (symbol "]") $ do
+                inner <- typeExpr
+                return $ ExprTypeApp (ExprTypeConstr1 (Proxy :: Proxy [])) [ inner ]
+        ]
diff --git a/test/asset/parser/type-annotation.et b/test/asset/parser/type-annotation.et
index 7e5d81e..9740768 100644
--- a/test/asset/parser/type-annotation.et
+++ b/test/asset/parser/type-annotation.et
@@ -1,7 +1,8 @@
 def fun (a : String) and (b : Integer) proc (p : Process):
-    let c = [ a, "x" ]
+    let c = [ a, "x" ] : [ String ]
     let d = [ a ]
-    let e = [ b : Integer, 43 : Integer ]
+    let e = [ b : Integer, 43 : Integer ]:[Integer]
+    let f = [[ c, ["y"]]] : [[[ String ] ] ]
     guard (c /= d)
     guard (e == e)