git.iko.soy/Idris-dev
on 8063cfd help sign in
Idris-dev/test
15 folders, 4 files
../ test001/added dsl blocks test002/More on errors; propagate line numbers test003/Build a call graph and only compile things which are used test004/Removed semicolons from tests test005/Removed semicolons from tests test006/Fix library compilation errors and improve name resolution in patterns test007/Some prelude shuffling test008/Change 'data' and where syntax so that they don't need '|' This breaks old code - instead of test009/New RTS almost ready, but for garbage collection problem test010/More on errors; propagate line numbers test011/Added record test test012/Check patterns are inaccessible test013/Added binding form to syntax rules (and updated tutorial accordingly) test014/Deal with shadowing better in patterns Variable names in patterns should override global names, as long as they are not applied to anything. If the global name is desired (e.g. if it is the result of a dependency elsewhere, either use a _ or give the quali… test015/Deal with shadowing better in patterns Variable names in patterns should override global names, as long as they are not applied to anything. If the global name is desired (e.g. if it is the result of a dependency elsewhere, either use a _ or give the quali… MakefileAdded test directory and a single test... READMEAdded binding form to syntax rules (and updated tutorial accordingly) mktest.plGenerate bytecode so that files don't need to be rechecked every time they're loaded runtest.plAdded test directory and a single test...