diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-27 20:34:57 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-27 23:04:38 +0200 |
| commit | 0cbbe31c5f16df73dcc3a73b37cac4a72948f3a6 (patch) | |
| tree | f607a68d575ac670b9a637a967eabbe56f9257aa /src/Parser/Expr.hs | |
| parent | d8420a37ffe9e752816b071fced4a972ca1fad23 (diff) | |
Accept various builtin types in type expressions
Diffstat (limited to 'src/Parser/Expr.hs')
| -rw-r--r-- | src/Parser/Expr.hs | 8 |
1 files changed, 1 insertions, 7 deletions
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 |