git.iko.soy/Idris-dev
on master help sign in
Improve representation of BigInt reflections
d006e27David Raymond Christiansen
libs/base/Language/Reflection.idr+2−2
compare with master
unifiedsplit
@@ -23,7 +23,7 @@ data TTUExp = UVar Int
23%name TTUExp uexp
23%name TTUExp uexp
24
24
25-- | Primitive constants
25-- | 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
27 | IType | BIType | FlType | ChType | StrType
27 | IType | BIType | FlType | ChType | StrType
28 | B8 Bits8 | B16 Bits16 | B32 Bits32 | B64 Bits64
28 | B8 Bits8 | B16 Bits16 | B32 Bits32 | B64 Bits64
29 | B8Type | B16Type | B32Type | B64Type
29 | B8Type | B16Type | B32Type | B64Type
@@ -37,7 +37,7 @@ abstract class ReflConst (a : Type) where
37instance ReflConst Int where
37instance ReflConst Int where
38 toConst x = I x
38 toConst x = I x
39
39
40−instance ReflConst Nat where
40+instance ReflConst Integer where
41 toConst = BI
41 toConst = BI
42
42
43instance ReflConst Float where
43instance ReflConst Float where