Code

Implement method type specialisation#630

Code

Closed

AlexSikia wants to merge 37 commits intoscala:masterscala/scala3:masterfrom

AlexSikia:add/Type-specialisationAlexSikia/dotty:add/Type-specialisationCopy head branch name to clipboard

Commits

Commits on Aug 21, 2015

• Add a TypeSpecializer Phase

  Show description for c1f5842
  AlexSikia

  committed
  c1f5842

  Copy full SHA for c1f5842

• Move TypeSpecializer before ElimByName and implement check for @specialized

  AlexSikia

  committed
  cd8eae0

  Copy full SHA for cd8eae0

• Add method specialization on specified Types.

  AlexSikia

  committed
  af2ff52

  Copy full SHA for af2ff52

• Implement type specialization with specified Types.

  AlexSikia

  committed
  5a1e491

  Copy full SHA for 5a1e491

• Add InfoTransformer Trait to TypeSpecializer

  Show description for d76f8bb
  AlexSikia

  committed
  d76f8bb

  Copy full SHA for d76f8bb

• Add specialized methods dispatch

  AlexSikia

  committed
  7817fde

  Copy full SHA for 7817fde

• Add specialised method dispatching

  Show description for 3366e45
  AlexSikia

  committed
  3366e45

  Copy full SHA for 3366e45

• Add `PreSpecializer` phase

  Show description for 30566fc
  AlexSikia

  committed
  30566fc

  Copy full SHA for 30566fc

• Specialize methods defined inside of other methods

  Show description for 0280142
  AlexSikia

  committed
  0280142

  Copy full SHA for 0280142

• Adapt instance of `TreeTypeMap` to map trees recursively

  Show description for f56c7ae
  

  AlexSikia

  authored and

  AlexSikia

  committed
  f56c7ae

  Copy full SHA for f56c7ae

• Workaround https://github.com/lampepfl/dotty/issues/592 Insert casts all over the place in specialised methods.

  Show description for b6fcb63
  

  DarkDimius

  authored and

  AlexSikia

  committed
  b6fcb63

  Copy full SHA for b6fcb63

• Add casts, and debug implementation

  Show description for a80c443
  AlexSikia

  committed
  a80c443

  Copy full SHA for a80c443

• Do not look into scala- or java-defined symbols

  Show description for 843f547
  AlexSikia

  committed
  843f547

  Copy full SHA for 843f547

• Add run test for specialisation

  Show description for deeea64
  AlexSikia

  committed
  deeea64

  Copy full SHA for deeea64

• Handle `@specialized(AnyRef)`

  AlexSikia

  committed
  d40d01c

  Copy full SHA for d40d01c

• Add `out/.keep` file back

  AlexSikia

  committed
  4f8b423

  Copy full SHA for 4f8b423

• Clean up testing for Jenkins

  AlexSikia

  committed
  8df6a1a

  Copy full SHA for 8df6a1a

• Clean up scalastyle on several files

  AlexSikia

  committed
  aad8578

  Copy full SHA for aad8578

• Check for `@specialized(AnyRef)`based on symbols

  Show description for 15f1219
  AlexSikia

  committed
  15f1219

  Copy full SHA for 15f1219

• Fix specialised method dispatch to recursive calls

  Show description for b5c5ced
  AlexSikia

  committed
  b5c5ced

  Copy full SHA for b5c5ced

• Fix catching of specialized annotations

  Show description for 013b7c3
  AlexSikia

  committed
  013b7c3

  Copy full SHA for 013b7c3

• Adapt specialization tests and clean up

  AlexSikia

  committed
  03c0c3c

  Copy full SHA for 03c0c3c

• Correct name mangling

  Show description for ab3d717
  AlexSikia

  committed
  ab3d717

  Copy full SHA for ab3d717

• SpecializeNames: Duplicate scalac behaviour, sort tparams

  

  DarkDimius

  authored and

  AlexSikia

  committed
  07e9ae1

  Copy full SHA for 07e9ae1

• Allow to instantiate only some type params of a PolyType

  

  DarkDimius

  authored and

  AlexSikia

  committed
  68e4f6e

  Copy full SHA for 68e4f6e

• Correct typos

  Show description for ff9c583
  AlexSikia

  committed
  ff9c583

  Copy full SHA for ff9c583

• Fix partial instantiation of PolyTypes

  Show description for 266194f
  AlexSikia

  committed
  266194f

  Copy full SHA for 266194f

• Implement Partial Specialisation

  Show description for 6599f59
  AlexSikia

  committed
  6599f59

  Copy full SHA for 6599f59

• Simplify code and clean up

  AlexSikia

  committed
  ce2b561

  Copy full SHA for ce2b561

• Change Yspecialize behaviour

  Show description for 4f7f3a7
  AlexSikia

  committed
  4f7f3a7

  Copy full SHA for 4f7f3a7

• Reduce restrictions on methods allowed for specialization

  AlexSikia

  committed
  87d59fa

  Copy full SHA for 87d59fa

• Use a typemap when transforming DefDef's

  Show description for cc653e4
  AlexSikia

  committed
  cc653e4

  Copy full SHA for cc653e4

• Add test cases for specialisation

  AlexSikia

  committed
  0964663

  Copy full SHA for 0964663

• Fix transformation of TypeApply in the specialised case

  Show description for d48c520
  AlexSikia

  committed
  d48c520

  Copy full SHA for d48c520

• Remove sorting of method args names when mangling for specialisation

  AlexSikia

  committed
  6579d82

  Copy full SHA for 6579d82

• Clean up code

  Show description for 1cc3c83
  AlexSikia

  committed
  1cc3c83

  Copy full SHA for 1cc3c83

• Cast return value of `specializedFor` to `TermName`

  AlexSikia

  committed
  417fc96

  Copy full SHA for 417fc96