From c558b300a3353edf7c88a2c363cb6bc7b7c1dcb7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sun, 21 Sep 2025 22:49:21 +0200 Subject: Require result of TestBlock to be ExprType instance --- src/Script/Expr/Class.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/Script/Expr') diff --git a/src/Script/Expr/Class.hs b/src/Script/Expr/Class.hs index 20a92b4..005b6a8 100644 --- a/src/Script/Expr/Class.hs +++ b/src/Script/Expr/Class.hs @@ -39,6 +39,10 @@ data ExprListUnpacker a = forall e. ExprType e => ExprListUnpacker (a -> [e]) (P data ExprEnumerator a = ExprEnumerator (a -> a -> [a]) (a -> a -> a -> [a]) +instance ExprType () where + textExprType _ = "Unit" + textExprValue () = "()" + instance ExprType Integer where textExprType _ = T.pack "integer" textExprValue x = T.pack (show x) -- cgit v1.2.3