From 0cbbe31c5f16df73dcc3a73b37cac4a72948f3a6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Thu, 27 Aug 2026 20:34:57 +0200
Subject: Accept various builtin types in type expressions

---
 src/Parser/Expr.hs | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'src/Parser/Expr.hs')

diff --git a/src/Parser/Expr.hs b/src/Parser/Expr.hs
index ec5e2b4..4603dda 100644
--- a/src/Parser/Expr.hs
+++ b/src/Parser/Expr.hs
@@ -561,10 +561,4 @@ typeExpr :: TestParser SomeExprType
 typeExpr = do
     off <- stateOffset <$> getParserState
     name <- constrName <?> "type constructor name"
-
-    case textVarName name of
-        "String" -> return $ ExprTypePrim @Text Proxy
-        _ -> do
-            registerParseError $ FancyError off $ S.singleton $ ErrorFail $ T.unpack $
-                "type constructor not in scope: ‘" <> textVarName name <> "’"
-            ExprTypeVar <$> newTypeVar
+    lookupType off name
-- 
cgit v1.2.3