nt-coerce.git
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
2013-07-04 Joachim BreitnerLookup nttc “properly”
2013-07-04 Joachim BreitnerMore general deriveThisNT
2013-07-04 Joachim BreitnerFurther ease constructing NT lambdas
2013-07-03 Joachim BreitnerSimplify construction of CoreSyn
2013-07-03 Joachim BreitnerRevert "Try to implement NT as a newtype (but doesnt...
2013-07-03 Joachim BreitnerTry to implement NT as a newtype (but doesnt seem to...
2013-07-03 Joachim BreitnerUse GlobalRdrEnv
2013-07-01 Joachim BreitnerImplement refl and trans
2013-07-01 Joachim BreitnerRefactor: Remove bind2
2013-07-01 Joachim BreitnerInitial check-in