git.iko.soy/Idris-dev
on 02501ef help sign in
history ofsamples/interp.idr
all commits
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