Skip to content
Snippets Groups Projects
Select Git revision
  • main default
  • scala-2.13
  • github/fork/mario-bucev/more-instantiation
  • github/fork/SolalPirelli/sp/minimizer
  • scala-2.12.13
  • add-blocker-graph-debug
  • add-map-equal-value-keys
  • fix-stainless-1135
  • github/fork/jad-hamza/replaceFromSymbols-positions
  • refactor-parser
  • dotty-compat
  • v1.1.5
  • v1.1.0
  • v1.0.2
  • v1.0.1
  • v1.0
16 results
Blame Permalink
  • Manos Koukoutos's avatar
    74aba11f
    Introducing UnapplyPattern, plus improvements · 74aba11f
    Manos Koukoutos authored 
    - Custom pattern matching through unapply functions.
- TypeParameter now has private constructor, can only be created
  with TypeParameter.fresh or _.freshen
- Stricter type checking for expressions. Correct various type errors.
- Remove some redundant code.
    74aba11f
    History
    Introducing UnapplyPattern, plus improvements
    Manos Koukoutos authored 
    - Custom pattern matching through unapply functions.
- TypeParameter now has private constructor, can only be created
  with TypeParameter.fresh or _.freshen
- Stricter type checking for expressions. Correct various type errors.
- Remove some redundant code.