[initial version mail@stefanwehr.de**20050518101415] [implemented unification mail@stefanwehr.de**20050519101737] [started implementing type inference mail@stefanwehr.de**20050520082619] [alternative type inference implementation based on THIH mail@stefanwehr.de**20050520112805] [checkpoint before removing the MethodId type mail@stefanwehr.de**20050521031244] [more work done on type inference (nearly complete, but nasty bug somewhere in unification) mail@stefanwehr.de**20050521115629] [improved type inference, tests mail@stefanwehr.de**20050522091009] [complete tyinfer for expressions, added support for methods mail@stefanwehr.de**20050523092913] [fixed bugs in unification mail@stefanwehr.de**20050524011625] [added support for methods and for several AT per instance mail@stefanwehr.de**20050524084828] [renamed .mhs files to .phc mail@stefanwehr.de**20050525051022] [added license information, README and the-like mail@stefanwehr.de**20050525051135] [bugfixes mail@stefanwehr.de**20050525051433] [adapted tests to new name `phrac' mail@stefanwehr.de**20050525051515] [added more tests mail@stefanwehr.de**20050525051713] [fixed README, removed some unnecessary files stefanh@cse.unsw.edu.au**20050525055239] [added note about chmod'ing pp/logpp stefanh@cse.unsw.edu.au**20050525060205] [unification now uses global equality definitions implicitly mail@stefanwehr.de**20050526040532] [fixed bug in type-inference mail@stefanwehr.de**20050526081201 constraints resulting from infering the type for `e' in `case e of ...' where not propagated properly. ] [disabled HList example properly mail@stefanwehr.de**20050526081544] [added missing files in tests/examples mail@stefanwehr.de**20050526082443] [implemented fixed associated type synonyms mail@stefanwehr.de**20050526082537] [added option to bypass termination check for associated type synonyms (flag `--allow-diverging-tysyns') mail@stefanwehr.de**20050526085730] [changed syntax of fixed assoc tysyns from `=' to `:=' mail@stefanwehr.de**20050527015609] [implemented multi-parameter type classes mail@stefanwehr.de**20050527103337] [added prelude mail@stefanwehr.de**20050528074457] [added support for characters and strings mail@stefanwehr.de**20050528081442] [added printf example mail@stefanwehr.de**20050528085605] [added overloading resolution mail@stefanwehr.de**20050530224659] [boringfile now under the control of darcs mail@stefanwehr.de**20050530224842] [bugfix for fixed assoc tysyns with multi-param typeclasses mail@stefanwehr.de**20050531045617] [fixed well-formedness check for superclass instances mail@stefanwehr.de**20050531080736 The check was not working properly for multi-param typeclasses. ] [added interpreter; general debugging mail@stefanwehr.de**20050531120439] [added more boring files mail@stefanwehr.de**20050606011517] [completed tests for interpreter with overloading mail@stefanwehr.de**20050606011616] [programs in tests/examples are now evaluated mail@stefanwehr.de**20050606020117] [better pattern matching mail@stefanwehr.de**20050609081546] [current working directory is now set via configure mail@stefanwehr.de**20050609082228] [added missing Constants.hs.in mail@stefanwehr.de**20050612114636] [minor fixes to the boring file mail@stefanwehr.de**20050612114810] [added tests for pattern matching mail@stefanwehr.de**20050612114850] [minor fix for better debug messages mail@stefanwehr.de**20050613033918] [again, minor fix for debug messages mail@stefanwehr.de**20050613040311] [more boring files mail@stefanwehr.de**20050613042154] [fixed entailment mail@stefanwehr.de**20050613042209 entailment could not deal with something like Elem T = Int ||- Num (Elem T) The problem was solved by normalizing (Elem T) before running entail ] [corrected fixv for parameterized ATs mail@stefanwehr.de**20050713050456] [fixed super entailment for multi param type classes mail@stefanwehr.de**20050801000721] [corrected version number mail@stefanwehr.de**20050803064841] [added some missing files mail@stefanwehr.de**20050826082943] [modules now live in a extra namespace (Phrac). phrac can now be controlled by an external program mail@stefanwehr.de**20050826104819] [finally move Pretty.hs as well mail@stefanwehr.de**20050826105539] [added abstract associated type synonyms mail@stefanwehr.de**20050929010821] [made pretty printer a bit more flexible mail@stefanwehr.de**20050929093444] [added (&&) to phrac prelude mail@stefanwehr.de**20050929093514] [fixed documentation mail@stefanwehr.de**20050930095934] [fixed pretty printer mail@stefanwehr.de**20050930095959] [added new funtion srcToAST to driver mail@stefanwehr.de**20051001130653] [added support for an error function which terminates the program with a user-supplied error message mail@stefanwehr.de**20051001130733] [small fix for the pretty printer mail@stefanwehr.de**20051001130836] [syntax transformation is now more robust mail@stefanwehr.de**20051001130902] [ATS can now be constrained in the class context stefanh@cse.unsw.edu.au**20060217173250] [MonadError example based on the MTL Samuel Bronson **20061024233706]