git.iko.soy/Idris-dev
on master help sign in
tinker
commit605aea3fcc348294bd5eeb592ae978f12b576bb7 authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateSat 25 Feb 2012, 18:58 (15 years ago) parent3ce7d92
2 files changed+2−2
compare with master
unifiedsplit
lib/builtins.idr+1−1 samples/interp.idr+1−1
lib/builtins.idr+1−1
@@ -203,7 +203,7 @@ instance Num Int where
203203 (-) = prim__subInt
204204 (*) = prim__mulInt
205205
206− fromInteger = id
206+ fromInteger = id -- prim__bigIntToInt
207207
208208
209209instance Num Integer where
samples/interp.idr+1−1
@@ -62,7 +62,7 @@ using (G : Vect Ty n)
6262
6363 abs x = If (Op (<) x (Val 0)) (Op (-) 0 x) x
6464
65− fromInteger = Val
65+ fromInteger = Val . fromInteger
6666
6767 interp : Env G -> {static} Expr G t -> interpTy t
6868 interp env (Var i) = lookup i env