git.iko.soy/Idris-dev
on master help sign in
Update dependencies and correct examples
commitf355c7211184b769df39663196c56f2cb86577cd authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateMon 27 Feb 2012, 23:47 (15 years ago) parent02003d7
4 files changed+5−3
compare with master
unifiedsplit
CHANGELOG+2 idris.cabal+1−1 samples/interp.idr+1−1 tutorial/examples/interp.idr+1−1
CHANGELOG+2
@@ -6,11 +6,13 @@ User visible changes:
66* backtick notation added: x `foo` y ==> foo x y
77* case expressions allowed in type signatures
88* Library extensions in prelude.vect and prelude.algebra
9+* malloc/trace_malloc added to builtins.idr
910
1011Internal changes:
1112
1213* Some type class resolution fixes
1314* Several minor bug fixes
15+* Performance improvements in resolving overloading and type classes
1416
1517New in 0.9.1:
1618-------------
idris.cabal+1−1
@@ -67,7 +67,7 @@ Executable idris
6767
6868 Build-depends: base>=4 && <5, parsec, mtl, Cabal, haskeline,
6969 containers, process, transformers, filepath, directory,
70− binary, bytestring, epic>=0.9.2.1
70+ binary, bytestring, epic>=0.9.3
7171
7272 Extensions: MultiParamTypeClasses, FunctionalDependencies,
7373 FlexibleInstances, TemplateHaskell
samples/interp.idr+1−1
@@ -92,5 +92,5 @@ testFac : Int
9292testFac = interp [] eFac 4
9393
9494main : IO ()
95−main = malloc 79856 (print testFac)
95+main = print testFac
9696
tutorial/examples/interp.idr+1−1
@@ -58,7 +58,7 @@ using (G : Vect Ty n)
5858testFac : Int
5959testFac = interp [] fact 4
6060
61−unitTestFac : so (interp [] fact 4 == 25)
61+unitTestFac : so (interp [] fact 4 == 24)
6262unitTestFac = oh
6363
6464main : IO ()