aboutsummaryrefslogtreecommitdiff
path: root/tests/shared
Commit message (Expand)AuthorAgeFilesLines
* bring back support for 1-arg type classes; now both Show and Eq are supportedPiotr Krzemiński2017-06-211-4/+4
* initial support for 2-arg contravariant derivations; works for simple Eq type...Piotr Krzemiński2017-06-211-4/+12
* Better error reportingJon Pretty2017-06-131-1/+1
* Slight tidyup of examplesJon Pretty2017-06-121-4/+3
* Improvements to error reportingv0.1.0Jon Pretty2017-06-121-0/+3
* Fixes for substitution of Lazy valuesJon Pretty2017-06-121-10/+2
* Appears to be working for both covariant and contravariant typeclassesJon Pretty2017-06-111-2/+4
* Starting to move towards typeclass-based implementationJon Pretty2017-06-111-2/+2
* More cleanupJon Pretty2017-06-101-1/+2
* Fixed (I think) last remaining recursion bugJon Pretty2017-06-101-6/+4
* Generic macro appears to work more universallyJon Pretty2017-06-061-5/+3
* Apparent progressJon Pretty2017-06-051-9/+4
* Looks like it's finally working!Jon Pretty2017-05-291-1/+5
* Pretty close to having the generic macro workingJon Pretty2017-05-291-7/+8
* Progress with mutual recursionJon Pretty2017-05-251-4/+6
* Initial checkin of messy code which appears to be a PoCJon Pretty2017-05-241-0/+18
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 10:07:05 +0000