aboutsummaryrefslogtreecommitdiff
path: root/test/Arith
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-09-02 12:05:11 +0200
committerTom Smeding <tom@tomsmeding.com>2024-09-02 12:05:11 +0200
commitb4906aed78519919f556053c4ecc0b646df3cece (patch)
treec1a26161c4408d76bebeecf1d42957d10fdfb13a /test/Arith
parentecb5f11260e39be824b1b45c5bcb93bb9e137132 (diff)
More WIP THHEADmaster
Diffstat (limited to 'test/Arith')
-rw-r--r--test/Arith/NonBase.hs4
1 files changed, 3 insertions, 1 deletions
diff --git a/test/Arith/NonBase.hs b/test/Arith/NonBase.hs
index ea27863..f5d458e 100644
--- a/test/Arith/NonBase.hs
+++ b/test/Arith/NonBase.hs
@@ -45,4 +45,6 @@ data Arith t where
A_If :: Arith Bool -> Arith a -> Arith a -> Arith a
A_Mono :: Arith Bool -> Arith Bool
-defineBaseAST "ArithF" ''Arith ['A_Var, 'A_Let] (("AF_"++) . drop 2)
+defineBaseAST
+ "ArithF" ''Arith ['A_Var, 'A_Let] (("AF_"++) . drop 2)
+ "arithConv" ''Typ (\_ _ _ -> [| error "Lambda impossible" |])