aboutsummaryrefslogtreecommitdiff
path: root/core
Commit message (Collapse)AuthorAgeFilesLines
* Add option flag to parametersJakob Odersky2018-06-302-0/+6
|
* Merge branch 'master' of github.com:propensive/magnoliaJon Pretty2018-06-151-7/+6
|\
| * Use encodedName to avoid invalid identifier namesVladimir Pavkin2018-06-071-5/+5
| |
| * Scala 2.13.0-M4xuwei-k2018-06-061-2/+1
| |
* | Permit derivations of products when `dispatch` not definedJon Pretty2018-06-061-2/+1
|/
* Calculate all leaf nodes for knownDirectSubclassesJon Pretty2018-06-051-1/+8
| | | | Should fix #88
* Revert "Change lazy val to strict val."Jon Pretty2018-06-051-1/+1
| | | | This reverts commit e6c3db8a762f82f4f319f97abbbe79b5d92e2e2e.
* Merge pull request #91 from joroKr21/deferred-visibilityJon Pretty2018-06-051-48/+32
|\ | | | | Make Deferred public (but compileTimeOnly)
| * Factor out error helper methodGeorgi Krastev2018-04-151-22/+12
| | | | | | | | `c.abort` is always called with `c.enclosingPosition`.
| * Make Deferred public (but compileTimeOnly)Georgi Krastev2018-04-151-9/+7
| | | | | | | | It is required for the type checking of recursive typeclasses.
| * Simplify Stack.trace implementationGeorgi Krastev2018-04-141-11/+5
| |
| * Add Singleton bound on Stack contextGeorgi Krastev2018-04-141-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-valJon Pretty2018-06-051-1/+1
|\ \ | | | | | | Change lazy val to strict val
| * | Change lazy val to strict val.Matt Dziuban2018-05-211-1/+1
| |/
* | Merge pull request #97 from jto/julient/serializableJon Pretty2018-06-051-4/+4
|\ \ | | | | | | Make instances Serializable
| * | Make instances SerializableJulien Tournay2018-06-011-4/+4
| |/
* / use toList instead of to[List]xuwei-k2018-05-111-1/+1
|/ | | | prepare Scala 2.13.0-M4
* Fully qualify `Any` in macrov0.7.1Jon Pretty2018-02-251-1/+1
|
* Updated version numbers to 0.7.1Jon Pretty2018-02-253-3/+3
|
* Added copyright notice on every fileJon Pretty2018-02-183-0/+42
|
* post-review changesKevin Wright2018-02-082-2/+6
|
* Added top-level annotation captureKevin Wright2018-02-012-14/+49
|
* Added annotation capture to paramsKevin Wright2018-02-012-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 9Kevin Wright2018-01-261-0/+4
|
* Run Scala-fmtJon Pretty2018-01-073-45/+69
|
* Rework compile time stackGeorgi Krastev2018-01-061-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-annotationJon Pretty2018-01-052-11/+10
|\
| * Merge pull request #71 from sirthias/md/typenameJon Pretty2018-01-052-8/+8
| |\ | | | | | | Switch `Subtype#label` member to new `TypeName`
| | * Switch `Subtype#label` member to new `TypeName`Mathias2018-01-052-8/+8
| | |
| * | Fix regression introduced by move to `patchedCompanionRef`Mathias2018-01-051-2/+1
| |/
* / Add support for `magnolia.debug` annotationMathias2018-01-052-1/+19
|/
* Change `typeName: String` to `typeName: magnolia.TypeName` [BREAKING!]Mathias2018-01-042-8/+24
|
* Merge branch 'companion-ref' of https://github.com/joroKr21/magnolia into ↵Jon Pretty2017-12-292-64/+64
|\ | | | | | | joroKr21-companion-ref
| * Move pathedCompanionRef to a GlobalUtil objectGeorgi Krastev2017-12-132-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 Pretty2017-12-282-13/+31
|\ \ | | | | | | | | | sirthias-md/rawconstruct
| * | Add `CaseClass.rawConstruct` and new `Patcher` exampleMathias2017-12-142-13/+31
| |/
* | Sprinkle markers and explicit type annotations here and there, other small ↵Mathias2017-12-142-16/+17
| | | | | | | | stuff
* | Make `SealedTrait.dispatch` allocation-freeMathias2017-12-142-15/+16
|/
* Merge branch 'patch-1' of https://github.com/shadaj/magnoliaJon Pretty2017-11-301-1/+51
|\
| * Use patchedCompanionSymbolOf from Shapeless to get companion objectShadaj Laddad2017-11-301-29/+68
| | | | | | | | As suggested by @joroKr21
| * Merge branch 'master' into patch-1Jon Pretty2017-11-302-24/+58
| |\
| * | Add unit tests and fix behavior with default parametersShadaj Laddad2017-11-211-10/+20
| | |
| * | Simplify logic to directly calculate indexedConstructorParamsShadaj Laddad2017-11-211-4/+3
| | |
| * | Restore ability to derive typeclasses for case classes inside other classesShadaj Laddad2017-11-211-4/+4
| | |
* | | Fixed my bad mergeJon Pretty2017-11-301-1/+1
| | | | | | | | | | | | I should not attempt merges using the online GitHub editor...
* | | Merge branch 'master' into existentialsJon Pretty2017-11-302-11/+37
|\ \ \
| * | | typeName is now the full name of the type, in original caseJon Pretty2017-11-301-5/+5
| | |/ | |/|
| * | Add support for repeated (vararg) parametersGeorgi Krastev2017-11-292-7/+33
| | | | | | | | | | | | Added a `Param.repeated` flag to `interface`.
* | | Existentially abstract unbound subtype parametersGeorgi Krastev2017-11-291-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 simplificationsGeorgi Krastev2017-11-291-12/+10
| |