projects
/
nt-coerce.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
nt-coerce.git
2013-07-11
Joachim Breitner
Show that cheating is caught
master
commit
|
commitdiff
|
tree
|
snapshot
2013-07-11
Joachim Breitner
Separate TODO cases
commit
|
commitdiff
|
tree
|
snapshot
2013-07-11
Joachim Breitner
Add test suite (using HTF)
commit
|
commitdiff
|
tree
|
snapshot
2013-07-11
Joachim Breitner
Free error message from Uniques
commit
|
commitdiff
|
tree
|
snapshot
2013-07-11
Joachim Breitner
Handle multiple ocurrences of the same type constructor
commit
|
commitdiff
|
tree
|
snapshot
2013-07-11
Joachim Breitner
Failing recursive data type
commit
|
commitdiff
|
tree
|
snapshot
2013-07-11
Joachim Breitner
Support the simplest kind of recursive data type
commit
|
commitdiff
|
tree
|
snapshot
2013-07-11
Joachim Breitner
First shot at checking coercability between datacon...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-10
Joachim Breitner
Support tuple tycons (assume always in scope)
commit
|
commitdiff
|
tree
|
snapshot
2013-07-10
Joachim Breitner
Also replace stuff in the case scrutineer
commit
|
commitdiff
|
tree
|
snapshot
2013-07-08
Joachim Breitner
Check if data type constructors are in scope
commit
|
commitdiff
|
tree
|
snapshot
2013-07-08
Joachim Breitner
Use isNT twice
commit
|
commitdiff
|
tree
|
snapshot
2013-07-04
Joachim Breitner
Implement Refl in deriveNT
commit
|
commitdiff
|
tree
|
snapshot
2013-07-04
Joachim Breitner
Test recursive newtype
commit
|
commitdiff
|
tree
|
snapshot
2013-07-04
Joachim Breitner
Add comments
commit
|
commitdiff
|
tree
|
snapshot
2013-07-04
Joachim Breitner
Extract error messages
commit
|
commitdiff
|
tree
|
snapshot
2013-07-04
Joachim Breitner
Lookup nttc “properly”
commit
|
commitdiff
|
tree
|
snapshot
2013-07-04
Joachim Breitner
More general deriveThisNT
commit
|
commitdiff
|
tree
|
snapshot
2013-07-04
Joachim Breitner
Further ease constructing NT lambdas
commit
|
commitdiff
|
tree
|
snapshot
2013-07-03
Joachim Breitner
Simplify construction of CoreSyn
commit
|
commitdiff
|
tree
|
snapshot
2013-07-03
Joachim Breitner
Revert "Try to implement NT as a newtype (but doesnt...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-03
Joachim Breitner
Try to implement NT as a newtype (but doesnt seem to...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-03
Joachim Breitner
Use GlobalRdrEnv
commit
|
commitdiff
|
tree
|
snapshot
2013-07-01
Joachim Breitner
Implement refl and trans
commit
|
commitdiff
|
tree
|
snapshot
2013-07-01
Joachim Breitner
Refactor: Remove bind2
commit
|
commitdiff
|
tree
|
snapshot
2013-07-01
Joachim Breitner
Initial check-in
commit
|
commitdiff
|
tree
|
snapshot