diff options
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" |]) |