aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Improvements to error reportingv0.1.0Jon Pretty2017-06-124-16/+55
* Fixes for substitution of Lazy valuesJon Pretty2017-06-123-27/+49
* Appears to be working for both covariant and contravariant typeclassesJon Pretty2017-06-113-30/+109
* Generalized for typeclass-based extensionJon Pretty2017-06-112-31/+15
* Starting to move towards typeclass-based implementationJon Pretty2017-06-113-66/+107
* More typesafety in the macroJon Pretty2017-06-111-11/+13
* Use List instead of ListMap in compiler stateJon Pretty2017-06-111-10/+8
* Further cleanup; no long linesJon Pretty2017-06-102-150/+97
* More cleanupJon Pretty2017-06-102-11/+6
* Avoid nasty asInstanceOf tree-rewriting hackJon Pretty2017-06-101-5/+7
* Fixed (I think) last remaining recursion bugJon Pretty2017-06-102-14/+14
* Generic macro appears to work more universallyJon Pretty2017-06-062-85/+114
* Apparent progressJon Pretty2017-06-053-40/+213
* Looks like it's finally working!Jon Pretty2017-05-292-1/+7
* Pretty close to having the generic macro workingJon Pretty2017-05-293-54/+177
* Progress with mutual recursionJon Pretty2017-05-253-67/+52
* First cleanup stepJon Pretty2017-05-241-0/+14
* Initial checkin of messy code which appears to be a PoCJon Pretty2017-05-246-0/+314