../ reg001/Warn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)14 years ago test001/Add collapsing optimisation and more aggressive erasure14 years ago test002/More on errors; propagate line numbers15 years ago test003/Build a call graph and only compile things which are used15 years ago test004/Removed semicolons from tests15 years ago test005/Removed semicolons from tests15 years ago test006/Fix library compilation errors and improve name resolution in patterns15 years ago test007/Some prelude shuffling15 years ago test008/Change 'data' and where syntax so that they don't need '|' This breaks old code - instead of15 years ago test009/New RTS almost ready, but for garbage collection problem14 years ago test010/More on errors; propagate line numbers15 years ago test011/Added record test15 years ago test012/Check patterns are inaccessible15 years ago test013/Added binding form to syntax rules (and updated tutorial accordingly)14 years ago test014/Unification fix Specifically to stop it filling in things which are given by the programmer (caused by a bug replacing nullary constructors with terms!)14 years ago test015/Add collapsing optimisation and more aggressive erasure14 years ago MakefileAdded test directory and a single test...15 years ago READMEWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)14 years ago mktest.plWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)14 years ago runtest.plWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)14 years ago