git.iko.soy/Idris-dev
on master help sign in
tinker
605aea3Edwin Brady
lib/builtins.idr+1−1
compare with master
unifiedsplit
@@ -203,7 +203,7 @@ instance Num Int where
203 (-) = prim__subInt
203 (-) = prim__subInt
204 (*) = prim__mulInt
204 (*) = prim__mulInt
205
205
206− fromInteger = id
206+ fromInteger = id -- prim__bigIntToInt
207
207
208
208
209instance Num Integer where
209instance Num Integer where
samples/interp.idr+1−1
@@ -62,7 +62,7 @@ using (G : Vect Ty n)
62
62
63 abs x = If (Op (<) x (Val 0)) (Op (-) 0 x) x
63 abs x = If (Op (<) x (Val 0)) (Op (-) 0 x) x
64
64
65− fromInteger = Val
65+ fromInteger = Val . fromInteger
66
66
67 interp : Env G -> {static} Expr G t -> interpTy t
67 interp : Env G -> {static} Expr G t -> interpTy t
68 interp env (Var i) = lookup i env
68 interp env (Var i) = lookup i env