From 0cbbe31c5f16df73dcc3a73b37cac4a72948f3a6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Thu, 27 Aug 2026 20:34:57 +0200 Subject: Accept various builtin types in type expressions --- src/Script/Expr.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/Script/Expr.hs') diff --git a/src/Script/Expr.hs b/src/Script/Expr.hs index 09b7c80..e6f945d 100644 --- a/src/Script/Expr.hs +++ b/src/Script/Expr.hs @@ -8,6 +8,7 @@ module Script.Expr ( FunctionType, DynamicType, ExprType(..), SomeExpr(..), + SomePrimType(..), TypeVar(..), SomeExprType(..), someExprType, textSomeExprType, renameTypeVar, renameVarInType, @@ -293,6 +294,8 @@ instance ExprType DynamicType where data SomeExpr = forall a. ExprType a => SomeExpr (Expr a) +data SomePrimType = forall a. ExprType a => SomePrimType (Proxy a) + newtype TypeVar = TypeVar Text deriving (Eq, Ord) @@ -569,7 +572,7 @@ data Regex = RegexCompiled Text RE.Regex | RegexString Text instance ExprType Regex where - textExprType _ = T.pack "regex" + textExprType _ = T.pack "Regex" textExprValue _ = T.pack "" exprExpansionConvFrom = listToMaybe $ catMaybes -- cgit v1.2.3