Change default Num typeclass to integer
Fixes #391
commit0b25ad198523cbe5a1346d863b230f99192492b2
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 19 Jul 2013, 20:51 (13 years ago)
parent4bd5a5b
src/Core/TT.hs+1−1
@@ -769,7 +769,7 @@ itBitsName IT64 = "Bits64"
769769
770770instance Show Const where
771771 show (I i) = show i
772− show (BI i) = show i ++ "L"
772+ show (BI i) = show i
773773 show (Fl f) = show f
774774 show (Ch c) = show c
775775 show (Str s) = show s
src/Idris/ElabTerm.hs+1−1
@@ -672,7 +672,7 @@ resolveTC depth fn ist
672672
673673 needsDefault t num@(P _ (NS (UN "Num") ["Builtins"]) _) [P Bound a _]
674674 = do focus a
675− fill (RConstant (AType (ATInt ITNative))) -- default Int
675+ fill (RConstant (AType (ATInt ITBig))) -- default Integer
676676 solve
677677 return False
678678 needsDefault t f as