ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 22:17:19 +03:00
Code Issues Projects Releases Wiki Activity

tinker

Browse Source
This commit is contained in:
Edwin Brady 2012-02-25 18:58:31 +00:00
parent 3ce7d92173
commit 605aea3fcc
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/builtins.idr
View File

@ -203,7 +203,7 @@ instance Num Int where
(-) = prim__subInt
(*) = prim__mulInt
fromInteger = id
fromInteger = id -- prim__bigIntToInt
instance Num Integer where

2
samples/interp.idr
View File

@ -62,7 +62,7 @@ using (G : Vect Ty n)
abs x = If (Op (<) x (Val 0)) (Op (-) 0 x) x
fromInteger = Val
fromInteger = Val . fromInteger
interp : Env G -> {static} Expr G t -> interpTy t
interp env (Var i) = lookup i env