@@ -23,7 +23,7 @@ data TTUExp = UVar Int
2323%name TTUExp uexp
2424
2525-- | Primitive constants
26−data Const = I Int | BI Nat | Fl Float | Ch Char | Str String
26+data Const = I Int | BI Integer | Fl Float | Ch Char | Str String
2727 | IType | BIType | FlType | ChType | StrType
2828 | B8 Bits8 | B16 Bits16 | B32 Bits32 | B64 Bits64
2929 | B8Type | B16Type | B32Type | B64Type
@@ -37,7 +37,7 @@ abstract class ReflConst (a : Type) where
3737instance ReflConst Int where
3838 toConst x = I x
3939
40−instance ReflConst Nat where
40+instance ReflConst Integer where
4141 toConst = BI
4242
4343instance ReflConst Float where