git.iko.soy/Idris-dev
on master help sign in
Update dependencies and correct examples
f355c72Edwin Brady
CHANGELOG+2
compare with master
unifiedsplit
@@ -6,11 +6,13 @@ User visible changes:
6* backtick notation added: x `foo` y ==> foo x y
6* backtick notation added: x `foo` y ==> foo x y
7* case expressions allowed in type signatures
7* case expressions allowed in type signatures
8* Library extensions in prelude.vect and prelude.algebra
8* Library extensions in prelude.vect and prelude.algebra
9+* malloc/trace_malloc added to builtins.idr
9
10
10Internal changes:
11Internal changes:
11
12
12* Some type class resolution fixes
13* Some type class resolution fixes
13* Several minor bug fixes
14* Several minor bug fixes
15+* Performance improvements in resolving overloading and type classes
14
16
15New in 0.9.1:
17New in 0.9.1:
16-------------
18-------------
idris.cabal+1−1
@@ -67,7 +67,7 @@ Executable idris
67
67
68 Build-depends: base>=4 && <5, parsec, mtl, Cabal, haskeline,
68 Build-depends: base>=4 && <5, parsec, mtl, Cabal, haskeline,
69 containers, process, transformers, filepath, directory,
69 containers, process, transformers, filepath, directory,
70− binary, bytestring, epic>=0.9.2.1
70+ binary, bytestring, epic>=0.9.3
71
71
72 Extensions: MultiParamTypeClasses, FunctionalDependencies,
72 Extensions: MultiParamTypeClasses, FunctionalDependencies,
73 FlexibleInstances, TemplateHaskell
73 FlexibleInstances, TemplateHaskell
samples/interp.idr+1−1
@@ -92,5 +92,5 @@ testFac : Int
92testFac = interp [] eFac 4
92testFac = interp [] eFac 4
93
93
94main : IO ()
94main : IO ()
95−main = malloc 79856 (print testFac)
95+main = print testFac
96
96
tutorial/examples/interp.idr+1−1
@@ -58,7 +58,7 @@ using (G : Vect Ty n)
58testFac : Int
58testFac : Int
59testFac = interp [] fact 4
59testFac = interp [] fact 4
60
60
61−unitTestFac : so (interp [] fact 4 == 25)
61+unitTestFac : so (interp [] fact 4 == 24)
62unitTestFac = oh
62unitTestFac = oh
63
63
64main : IO ()
64main : IO ()