diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-09-02 12:05:11 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-09-02 12:05:11 +0200 |
| commit | b4906aed78519919f556053c4ecc0b646df3cece (patch) | |
| tree | c1a26161c4408d76bebeecf1d42957d10fdfb13a /test/Arith | |
| parent | ecb5f11260e39be824b1b45c5bcb93bb9e137132 (diff) | |
More WIP TH
Diffstat (limited to 'test/Arith')
| -rw-r--r-- | test/Arith/NonBase.hs | 4 |
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" |]) |