diff options
Diffstat (limited to 'src/Parser/Expr.hs')
| -rw-r--r-- | src/Parser/Expr.hs | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/Parser/Expr.hs b/src/Parser/Expr.hs index 5e27457..c57aa97 100644 --- a/src/Parser/Expr.hs +++ b/src/Parser/Expr.hs @@ -189,11 +189,10 @@ list = label "list" $ do [do symbol "]" tvar <- newTypeVar return $ SomeExpr $ - TypeQuant tvar $ - TypeLambda (ExprTypeApp (ExprTypeConstr1 (Proxy :: Proxy [])) [ ExprTypeVar tvar ]) tvar $ - \case - (ExprTypePrim (Proxy :: Proxy a)) -> HideType $ Pure ([] :: [ a ]) - _ -> Undefined "incomplete type" + TypeLambda tvar (ExprTypeApp (ExprTypeConstr1 (Proxy :: Proxy [])) [ ExprTypeVar tvar ]) $ + \case + (ExprTypePrim (Proxy :: Proxy a)) -> HideType $ Pure ([] :: [ a ]) + _ -> Undefined "incomplete type" ,do SomeExpr x <- someExpr let enumErr off = parseError $ FancyError off $ S.singleton $ ErrorFail $ T.unpack $ |