descriptionnone
ownergit repository hosting
last changeThu, 11 Jul 2013 14:19:37 +0000 (16:19 +0200)
shortlog
2013-07-11 Joachim BreitnerShow that cheating is caught master
2013-07-11 Joachim BreitnerSeparate TODO cases
2013-07-11 Joachim BreitnerAdd test suite (using HTF)
2013-07-11 Joachim BreitnerFree error message from Uniques
2013-07-11 Joachim BreitnerHandle multiple ocurrences of the same type constructor
2013-07-11 Joachim BreitnerFailing recursive data type
2013-07-11 Joachim BreitnerSupport the simplest kind of recursive data type
2013-07-11 Joachim BreitnerFirst shot at checking coercability between datacon...
2013-07-10 Joachim BreitnerSupport tuple tycons (assume always in scope)
2013-07-10 Joachim BreitnerAlso replace stuff in the case scrutineer
2013-07-08 Joachim BreitnerCheck if data type constructors are in scope
2013-07-08 Joachim BreitnerUse isNT twice
2013-07-04 Joachim BreitnerImplement Refl in deriveNT
2013-07-04 Joachim BreitnerTest recursive newtype
2013-07-04 Joachim BreitnerAdd comments
2013-07-04 Joachim BreitnerExtract error messages
...
heads
6 years ago master