From b4906aed78519919f556053c4ecc0b646df3cece Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 2 Sep 2024 12:05:11 +0200
Subject: More WIP TH

---
 test/Arith/NonBase.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'test/Arith/NonBase.hs')

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" |])
-- 
cgit v1.2.3-70-g09d2