git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofsamples/interp.idr
all commits
fe569c4Finished making standard library naming consistentAhmad Salim Al-Sibahi 3c32b65Whitespace cleanup.George Leontiev d6f785eFix Vect arguments in samples/Edwin Brady faf04f3rename fO into fZraichoo 43056d6Backend support for JavaJan Bessai 4a15c64Fix samples to use Type instead of SetFrederic Koehler a94fd81Remove Eq constraint from NumEdwin Brady f355c72Update dependencies and correct examplesEdwin Brady 02003d7Added malloc and trace_malloc *** This will need the latest EpiVM ***Edwin Brady 3f13043Make compile time evaluator take advantage of laziness again (And update test001 to catch it if it goes wrong again)Edwin Brady 605aea3tinkerEdwin Brady 7e2765bIdiom brackets and dsl notation in tutorialEdwin Brady fb3160eTidy up interpreter sampleEdwin Brady dc3f0f9added dsl blocksEdwin Brady baaba44Run-time forcing optimisationEdwin Brady 7f74f91Fix error handling again in replEdwin Brady b0f47e1Made braces optional (at the expense of 'with' now needing the expression to be tested in brackets) do notation doesn't quite behave right - the first token after the do block must be at a lower level of indentation, which means putting it in brackets is awkward.Edwin Brady bd61594Removed need for terminating ; A declaration is now considered terminated on encountering a token in the same column as the declaration began - or on encountering a semicolon. Libraries and some tests updated.Edwin Brady 0f7b6d5Correct test004Edwin Brady b645699Don't write .ibc on error; add new testEdwin Brady 7384683Fiddle with elaborator; update interp sample and testEdwin Brady 3b5e50cAdded universe constraint checker and --typeintype command line optionEdwin Brady 40c303bSince we can overload things, might as well use less ugly names ;)Edwin Brady 57c8ed3Added 'module' keyword to declare default namespace. 'main' must be in namespace 'main'Edwin Brady 6bef4f9Overloading lists and syntactic sugarEdwin Brady 598aca4Update interp example and test001 to use namespaces and overloading namesEdwin Brady 2e02cf6Logging optionsEdwin Brady 33710abParsing class and instance (but no elaboration yet)Edwin Brady df4ee4fMade samples directoryEdwin Brady