aboutsummaryrefslogtreecommitdiff
path: root/core
Commit message (Expand)AuthorAgeFilesLines
* Better error reportingJon Pretty2017-06-131-12/+15
* Corrected ContravariantDerivation typeclassJon Pretty2017-06-131-4/+11
* Remove spurious generic.scala~ fileJon Pretty2017-06-121-173/+0
* Improvements to error reportingv0.1.0Jon Pretty2017-06-121-15/+41
* Fixes for substitution of Lazy valuesJon Pretty2017-06-121-15/+17
* Appears to be working for both covariant and contravariant typeclassesJon Pretty2017-06-111-25/+73
* Generalized for typeclass-based extensionJon Pretty2017-06-111-31/+9
* Starting to move towards typeclass-based implementationJon Pretty2017-06-111-64/+96
* 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-101-149/+96
* More cleanupJon Pretty2017-06-101-10/+4
* Avoid nasty asInstanceOf tree-rewriting hackJon Pretty2017-06-101-5/+7
* Fixed (I think) last remaining recursion bugJon Pretty2017-06-101-8/+10
* Generic macro appears to work more universallyJon Pretty2017-06-061-80/+111
* Apparent progressJon Pretty2017-06-052-31/+209
* Looks like it's finally working!Jon Pretty2017-05-291-0/+2
* Pretty close to having the generic macro workingJon Pretty2017-05-291-39/+150
* Progress with mutual recursionJon Pretty2017-05-251-62/+39
* First cleanup stepJon Pretty2017-05-241-0/+14
* Initial checkin of messy code which appears to be a PoCJon Pretty2017-05-241-0/+124