Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add option flag to parameters | Jakob Odersky | 2018-06-30 | 2 | -0/+6 |
| | |||||
* | Merge branch 'master' of github.com:propensive/magnolia | Jon Pretty | 2018-06-15 | 1 | -7/+6 |
|\ | |||||
| * | Use encodedName to avoid invalid identifier names | Vladimir Pavkin | 2018-06-07 | 1 | -5/+5 |
| | | |||||
| * | Scala 2.13.0-M4 | xuwei-k | 2018-06-06 | 1 | -2/+1 |
| | | |||||
* | | Permit derivations of products when `dispatch` not defined | Jon Pretty | 2018-06-06 | 1 | -2/+1 |
|/ | |||||
* | Calculate all leaf nodes for knownDirectSubclasses | Jon Pretty | 2018-06-05 | 1 | -1/+8 |
| | | | | Should fix #88 | ||||
* | Revert "Change lazy val to strict val." | Jon Pretty | 2018-06-05 | 1 | -1/+1 |
| | | | | This reverts commit e6c3db8a762f82f4f319f97abbbe79b5d92e2e2e. | ||||
* | Merge pull request #91 from joroKr21/deferred-visibility | Jon Pretty | 2018-06-05 | 1 | -48/+32 |
|\ | | | | | Make Deferred public (but compileTimeOnly) | ||||
| * | Factor out error helper method | Georgi Krastev | 2018-04-15 | 1 | -22/+12 |
| | | | | | | | | `c.abort` is always called with `c.enclosingPosition`. | ||||
| * | Make Deferred public (but compileTimeOnly) | Georgi Krastev | 2018-04-15 | 1 | -9/+7 |
| | | | | | | | | It is required for the type checking of recursive typeclasses. | ||||
| * | Simplify Stack.trace implementation | Georgi Krastev | 2018-04-14 | 1 | -11/+5 |
| | | |||||
| * | Add Singleton bound on Stack context | Georgi Krastev | 2018-04-14 | 1 | -6/+8 |
| | | | | | | | | | | This improves type inference for the (path-dependent) `Tree`, `Type`, etc. used with a concrete `c`. | ||||
* | | Merge pull request #96 from mrdziuban/strict-val | Jon Pretty | 2018-06-05 | 1 | -1/+1 |
|\ \ | | | | | | | Change lazy val to strict val | ||||
| * | | Change lazy val to strict val. | Matt Dziuban | 2018-05-21 | 1 | -1/+1 |
| |/ | |||||
* | | Merge pull request #97 from jto/julient/serializable | Jon Pretty | 2018-06-05 | 1 | -4/+4 |
|\ \ | | | | | | | Make instances Serializable | ||||
| * | | Make instances Serializable | Julien Tournay | 2018-06-01 | 1 | -4/+4 |
| |/ | |||||
* / | use toList instead of to[List] | xuwei-k | 2018-05-11 | 1 | -1/+1 |
|/ | | | | prepare Scala 2.13.0-M4 | ||||
* | Fully qualify `Any` in macrov0.7.1 | Jon Pretty | 2018-02-25 | 1 | -1/+1 |
| | |||||
* | Updated version numbers to 0.7.1 | Jon Pretty | 2018-02-25 | 3 | -3/+3 |
| | |||||
* | Added copyright notice on every file | Jon Pretty | 2018-02-18 | 3 | -0/+42 |
| | |||||
* | post-review changes | Kevin Wright | 2018-02-08 | 2 | -2/+6 |
| | |||||
* | Added top-level annotation capture | Kevin Wright | 2018-02-01 | 2 | -14/+49 |
| | |||||
* | Added annotation capture to params | Kevin Wright | 2018-02-01 | 2 | -24/+44 |
| | | | | | | | Added test for annotation capture Updated to lamdafied syntax for SAM type construction Minor changes to permit compilation under JDK 9 Added Kevin Wright as a contributor | ||||
* | Made it compile under Java 9 | Kevin Wright | 2018-01-26 | 1 | -0/+4 |
| | |||||
* | Run Scala-fmt | Jon Pretty | 2018-01-07 | 3 | -45/+69 |
| | |||||
* | Rework compile time stack | Georgi Krastev | 2018-01-06 | 1 | -193/+129 |
| | | | | | | * Use a classic mutable stack (a case class without lenses is cumbersome) * Add typeclass constructor to stack frames, cache and error messages * Clean-up usage of `Option`s | ||||
* | Merge branch 'master' into md/debug-annotation | Jon Pretty | 2018-01-05 | 2 | -11/+10 |
|\ | |||||
| * | Merge pull request #71 from sirthias/md/typename | Jon Pretty | 2018-01-05 | 2 | -8/+8 |
| |\ | | | | | | | Switch `Subtype#label` member to new `TypeName` | ||||
| | * | Switch `Subtype#label` member to new `TypeName` | Mathias | 2018-01-05 | 2 | -8/+8 |
| | | | |||||
| * | | Fix regression introduced by move to `patchedCompanionRef` | Mathias | 2018-01-05 | 1 | -2/+1 |
| |/ | |||||
* / | Add support for `magnolia.debug` annotation | Mathias | 2018-01-05 | 2 | -1/+19 |
|/ | |||||
* | Change `typeName: String` to `typeName: magnolia.TypeName` [BREAKING!] | Mathias | 2018-01-04 | 2 | -8/+24 |
| | |||||
* | Merge branch 'companion-ref' of https://github.com/joroKr21/magnolia into ↵ | Jon Pretty | 2017-12-29 | 2 | -64/+64 |
|\ | | | | | | | joroKr21-companion-ref | ||||
| * | Move pathedCompanionRef to a GlobalUtil object | Georgi Krastev | 2017-12-13 | 2 | -64/+64 |
| | | | | | | | | | | | | | | That method is a workaround for a bug. It doesn't belong in the core Magnolia macro. Also: * Use `patchedCompanionRef` consistently * Add a test for the workaround (method-local classes) | ||||
* | | Merge branch 'md/rawconstruct' of https://github.com/sirthias/magnolia into ↵ | Jon Pretty | 2017-12-28 | 2 | -13/+31 |
|\ \ | | | | | | | | | | sirthias-md/rawconstruct | ||||
| * | | Add `CaseClass.rawConstruct` and new `Patcher` example | Mathias | 2017-12-14 | 2 | -13/+31 |
| |/ | |||||
* | | Sprinkle markers and explicit type annotations here and there, other small ↵ | Mathias | 2017-12-14 | 2 | -16/+17 |
| | | | | | | | | stuff | ||||
* | | Make `SealedTrait.dispatch` allocation-free | Mathias | 2017-12-14 | 2 | -15/+16 |
|/ | |||||
* | Merge branch 'patch-1' of https://github.com/shadaj/magnolia | Jon Pretty | 2017-11-30 | 1 | -1/+51 |
|\ | |||||
| * | Use patchedCompanionSymbolOf from Shapeless to get companion object | Shadaj Laddad | 2017-11-30 | 1 | -29/+68 |
| | | | | | | | | As suggested by @joroKr21 | ||||
| * | Merge branch 'master' into patch-1 | Jon Pretty | 2017-11-30 | 2 | -24/+58 |
| |\ | |||||
| * | | Add unit tests and fix behavior with default parameters | Shadaj Laddad | 2017-11-21 | 1 | -10/+20 |
| | | | |||||
| * | | Simplify logic to directly calculate indexedConstructorParams | Shadaj Laddad | 2017-11-21 | 1 | -4/+3 |
| | | | |||||
| * | | Restore ability to derive typeclasses for case classes inside other classes | Shadaj Laddad | 2017-11-21 | 1 | -4/+4 |
| | | | |||||
* | | | Fixed my bad merge | Jon Pretty | 2017-11-30 | 1 | -1/+1 |
| | | | | | | | | | | | | I should not attempt merges using the online GitHub editor... | ||||
* | | | Merge branch 'master' into existentials | Jon Pretty | 2017-11-30 | 2 | -11/+37 |
|\ \ \ | |||||
| * | | | typeName is now the full name of the type, in original case | Jon Pretty | 2017-11-30 | 1 | -5/+5 |
| | |/ | |/| | |||||
| * | | Add support for repeated (vararg) parameters | Georgi Krastev | 2017-11-29 | 2 | -7/+33 |
| | | | | | | | | | | | | Added a `Param.repeated` flag to `interface`. | ||||
* | | | Existentially abstract unbound subtype parameters | Georgi Krastev | 2017-11-29 | 1 | -7/+9 |
|/ / | | | | | | | | | | | | | That happens when the subtype of a sealed trait has more type parameters than its parent. When those extra type parameters are covariant they are replaced by their upper bounds, otherwise they are existentially quantified. | ||||
* | | Minor code simplifications | Georgi Krastev | 2017-11-29 | 1 | -12/+10 |
| | |