diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-05-16 13:47:36 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-05-16 14:56:30 +0200 |
| commit | c71d109610ea6f299df09d2b794b326fb70f9ed0 (patch) | |
| tree | 1ceda7e41a186e58edbcea2563e9c313796b2d7a /src/Parser/Expr.hs | |
| parent | 26fe6ead0205ea49bae55203197412816335cccc (diff) | |
Separate hide/expose expressions for primitive and function types
Diffstat (limited to 'src/Parser/Expr.hs')
| -rw-r--r-- | src/Parser/Expr.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Parser/Expr.hs b/src/Parser/Expr.hs index 16c2b45..c8a9e85 100644 --- a/src/Parser/Expr.hs +++ b/src/Parser/Expr.hs @@ -195,7 +195,7 @@ list = label "list" $ do return $ SomeExpr $ TypeLambda tvar (ExprTypeApp (ExprTypeConstr1 (Proxy :: Proxy [])) [ ExprTypeVar tvar ]) $ \case - (ExprTypePrim (Proxy :: Proxy a)) -> HideType (ExprTypePrim (Proxy @[ a ])) $ Pure ([] :: [ a ]) + (ExprTypePrim (Proxy :: Proxy a)) -> HidePrimType $ Pure ([] :: [ a ]) _ -> Undefined "incomplete type" ,do SomeExpr x <- someExpr FunctionTerm |