Skip to content
Browse files

Update dependencies and correct examples

  • Loading branch information...
1 parent 02003d7 commit f355c7211184b769df39663196c56f2cb86577cd Edwin Brady committed Feb 27, 2012
Showing with 5 additions and 3 deletions.
  1. +2 −0 CHANGELOG
  2. +1 −1 idris.cabal
  3. +1 −1 samples/interp.idr
  4. +1 −1 tutorial/examples/interp.idr
View
2 CHANGELOG
@@ -6,11 +6,13 @@ User visible changes:
* backtick notation added: x `foo` y ==> foo x y
* case expressions allowed in type signatures
* Library extensions in prelude.vect and prelude.algebra
+* malloc/trace_malloc added to builtins.idr
Internal changes:
* Some type class resolution fixes
* Several minor bug fixes
+* Performance improvements in resolving overloading and type classes
New in 0.9.1:
-------------
View
2 idris.cabal
@@ -67,7 +67,7 @@ Executable idris
Build-depends: base>=4 && <5, parsec, mtl, Cabal, haskeline,
containers, process, transformers, filepath, directory,
- binary, bytestring, epic>=0.9.2.1
+ binary, bytestring, epic>=0.9.3
Extensions: MultiParamTypeClasses, FunctionalDependencies,
FlexibleInstances, TemplateHaskell
View
2 samples/interp.idr
@@ -92,5 +92,5 @@ testFac : Int
testFac = interp [] eFac 4
main : IO ()
-main = malloc 79856 (print testFac)
+main = print testFac
View
2 tutorial/examples/interp.idr
@@ -58,7 +58,7 @@ using (G : Vect Ty n)
testFac : Int
testFac = interp [] fact 4
-unitTestFac : so (interp [] fact 4 == 25)
+unitTestFac : so (interp [] fact 4 == 24)
unitTestFac = oh
main : IO ()

0 comments on commit f355c72

Please sign in to comment.
Something went wrong with that request. Please try again.