aboutsummaryrefslogtreecommitdiff
path: root/core
Commit message (Expand)AuthorAgeFilesLines
* Support for GADTs (including recursive ones)Jon Pretty2017-11-011-12/+18
* Support nontrivial type constructorsJon Pretty2017-10-311-19/+3
* Support for case objectsJon Pretty2017-10-301-4/+22
* All variants now derivingJon Pretty2017-10-301-2/+15
* Derivation working for Show and EqJon Pretty2017-10-301-257/+199
* Include the prefix 'magnolia: ' before all compiler messagesJon Pretty2017-06-301-4/+4
* Made a nicer API for inclusionJon Pretty2017-06-301-33/+32
* Renamed derivations to Derivation and CoderivationJon Pretty2017-06-291-37/+37
* Include class name in `join` methodJon Pretty2017-06-231-12/+27
* Tidied up and made it compile and runJon Pretty2017-06-231-12/+7
* Use case clauses and switch statement instead of is/asInstanceOfJon Pretty2017-06-221-12/+10
* refactorPiotr Krzemiński2017-06-221-14/+19
* bring back support for 1-arg type classes; now both Show and Eq are supportedPiotr Krzemiński2017-06-211-60/+60
* defined DerivationImplicitPiotr Krzemiński2017-06-211-11/+18
* initial support for 2-arg contravariant derivations; works for simple Eq type...Piotr Krzemiński2017-06-211-31/+60
* 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