Code

Pattern matcher#174

Code

Merged

DarkDimius merged 213 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:rebdotty-staging/dotty:rebCopy head branch name to clipboard

Oct 11, 2014

Commits

Commits on Aug 3, 2014

• Code to handle overloaded unapply/unapplySeq methods

  Show description for 2020938
  odersky

  committed
  2020938

  Copy full SHA for 2020938

• Added version settings -migration, -source

  odersky

  committed
  168e4f1

  Copy full SHA for 168e4f1

• Annotation decorators for symbols

  Show description for e25232d
  odersky

  committed
  e25232d

  Copy full SHA for e25232d

• Type#foreachPart

  Show description for 85044e4
  odersky

  committed
  85044e4

  Copy full SHA for 85044e4

• Changed first phase normalization and improvements to TreeTransform

  Show description for 9748c9b
  odersky

  committed
  9748c9b

  Copy full SHA for 9748c9b

Commits on Aug 8, 2014

• Detect cycles and protected legal ones with LazyRefs

  Show description for f87153b
  odersky

  committed
  f87153b

  Copy full SHA for f87153b

• LazyRefs break cycles for unpickled types

  Show description for 058729c
  odersky

  committed
  058729c

  Copy full SHA for 058729c

• Re-enabled checkbounds tests

  Show description for 19b6a04
  odersky

  committed
  19b6a04

  Copy full SHA for 19b6a04

Commits on Aug 9, 2014

• prepareStats should span all statement transforms

  Show description for 9ec3a4f
  odersky

  committed
  9ec3a4f

  Copy full SHA for 9ec3a4f

• Initial version of RefChecks

  Show description for 978a714
  odersky

  committed
  978a714

  Copy full SHA for 978a714

• Made Phase a trait

  Show description for 80ee8b1
  odersky

  committed
  80ee8b1

  Copy full SHA for 80ee8b1

• Fixed fully qualified name of migration annotation

  odersky

  committed
  bb1972b

  Copy full SHA for bb1972b

• ParamAccessors are assumed to have definition

  Show description for 9024f25
  odersky

  committed
  9024f25

  Copy full SHA for 9024f25

• Disentangle phases from treetransforms

  Show description for 57c6c85
  odersky

  committed
  57c6c85

  Copy full SHA for 57c6c85

Commits on Aug 10, 2014

• Module vals are lazy

  Show description for 96cd350
  odersky

  committed
  96cd350

  Copy full SHA for 96cd350

• In refined printer, show only source modifier flags.

  Show description for 80b866f
  odersky

  committed
  80b866f

  Copy full SHA for 80b866f

• Narrow assertion for Scope#enter

  Show description for bbf777a
  odersky

  committed
  bbf777a

  Copy full SHA for bbf777a

• More targeted eta-lifting

  Show description for c2cdd3a
  odersky

  committed
  c2cdd3a

  Copy full SHA for c2cdd3a

• Add Product{1,2} supertrait to case classes

  Show description for f606a47
  odersky

  committed
  f606a47

  Copy full SHA for f606a47

Commits on Aug 11, 2014

• Fix Object's scope after ersure

  Show description for d388e94
  odersky

  committed
  d388e94

  Copy full SHA for d388e94

• Add CaseAccessor flag for case accessors

  Show description for b89c4af
  odersky

  committed
  b89c4af

  Copy full SHA for b89c4af

• Added some more methods as infix tree operations:

  Show description for c7f817f
  odersky

  committed
  c7f817f

  Copy full SHA for c7f817f

• New methods in Definitions

  Show description for 98d2583
  odersky

  committed
  98d2583

  Copy full SHA for 98d2583

• Sperate matchingDecl and mathingMember.

  Show description for ab63413
  odersky

  committed
  ab63413

  Copy full SHA for ab63413

• Add SyntheticMethods miniphase

  Show description for ce53589
  odersky

  committed
  ce53589

  Copy full SHA for ce53589

• Avoid printing expanded names

  Show description for 974f706
  odersky

  committed
  974f706

  Copy full SHA for 974f706

• Use _1 intstead of get for accessing unary case class parameters

  Show description for a3cc938
  odersky

  committed
  a3cc938

  Copy full SHA for a3cc938

Commits on Aug 12, 2014

• Fix a problem due to different type inference

  odersky

  committed
  81745e2

  Copy full SHA for 81745e2

• Two fixes in desugar

  Show description for 843f976
  odersky

  committed
  843f976

  Copy full SHA for 843f976

• Add matchesLoosely

  Show description for 472d711
  odersky

  committed
  472d711

  Copy full SHA for 472d711

• mergeDenot should prefer concerete over deferred.

  Show description for ab8ee53
  odersky

  committed
  ab8ee53

  Copy full SHA for ab8ee53

Commits on Aug 13, 2014

• Package denotations are never transformed

  Show description for deaa0d8
  odersky

  committed
  deaa0d8

  Copy full SHA for deaa0d8

• Erasure should copy denotations only if they are changed.

  odersky

  committed
  ece7656

  Copy full SHA for ece7656

• Change access boundary of protected[this]

  Show description for 3558e07
  odersky

  committed
  3558e07

  Copy full SHA for 3558e07

• Fix and enable RefChecks

  Show description for 34f73de
  odersky

  committed
  34f73de

  Copy full SHA for 34f73de

• Changes to tree copying

  Show description for a878d19
  odersky

  committed
  a878d19

  Copy full SHA for a878d19

• Switched to new cpy scheme.

  Show description for 891aeba
  odersky

  committed
  891aeba

  Copy full SHA for 891aeba

• Restrict treee copiers with default arguments to trees with more than 2 elements.

  Show description for 0b41954
  odersky

  committed
  0b41954

  Copy full SHA for 0b41954

• Drop commented out code.

  odersky

  committed
  3ce9d15

  Copy full SHA for 3ce9d15

Commits on Aug 15, 2014

• Make typed tree copiers selectively retype nodes.

  Show description for 01f2475
  odersky

  committed
  01f2475

  Copy full SHA for 01f2475

• Delete propagateType and RetypingTreeMap

  Show description for 9326a00
  odersky

  committed
  9326a00

  Copy full SHA for 9326a00

• Add hook for phase when a TreeTransform is run.

  Show description for 53ab5f0
  odersky

  committed
  53ab5f0

  Copy full SHA for 53ab5f0

• Extend retyping to more copy methods.

  Show description for c54cd3e
  odersky

  committed
  c54cd3e

  Copy full SHA for c54cd3e

Commits on Aug 16, 2014

• Roll Uncurry into Erasure

  Show description for 7d414eb
  odersky

  committed
  7d414eb

  Copy full SHA for 7d414eb

• Moved -Ycheck after Splitter

  Show description for 90aef30
  odersky

  committed
  90aef30

  Copy full SHA for 90aef30

Commits on Aug 17, 2014

• Disabling adapt in TreeChecker

  Show description for f91f030
  odersky

  committed
  f91f030

  Copy full SHA for f91f030

• Split Nullarify functionality to ElimByName, Erasure

  Show description for 58d4706
  odersky

  committed
  58d4706

  Copy full SHA for 58d4706

• Moved -Ycheck to last phase before erasure

  Show description for 1e29d8a
  odersky

  committed
  1e29d8a

  Copy full SHA for 1e29d8a

Commits on Aug 18, 2014

• Add #ids for This trees and ClassDefs

  Show description for f2d27cf
  odersky

  committed
  f2d27cf

  Copy full SHA for f2d27cf

• Three fixes to substSym

  Show description for c71643b
  odersky

  committed
  c71643b

  Copy full SHA for c71643b

• Fix to isAnonymousClass

  odersky

  committed
  49cc900

  Copy full SHA for 49cc900

• Add pathTo method for Positioned.

  Show description for 71044c8
  odersky

  committed
  71044c8

  Copy full SHA for 71044c8

• Make local dummy a non-member type.

  Show description for aae71e7
  odersky

  committed
  aae71e7

  Copy full SHA for aae71e7

• Fixing handling of self in DeepTypeMap#mapClassInfo

  Show description for 0f6a277
  odersky

  committed
  0f6a277

  Copy full SHA for 0f6a277

• Extend owner checking in TreeChecker

  Show description for ea616bf
  odersky

  committed
  ea616bf

  Copy full SHA for ea616bf

• Fixed re-tpying of Return nodes.

  Show description for 2cdc79d
  odersky

  committed
  2cdc79d

  Copy full SHA for 2cdc79d

• Fixes to TreeTypeMap

  Show description for 91b9180
  odersky

  committed
  91b9180

  Copy full SHA for 91b9180

• Make ElimByName change owners of by-name parameters

  Show description for b53a03f
  odersky

  committed
  b53a03f

  Copy full SHA for b53a03f

• Refactored TreeTypeMap

  Show description for f366f86
  odersky

  committed
  f366f86

  Copy full SHA for f366f86

• Rename in Phase: name -> phaseName

  Show description for 3afdefd
  odersky

  committed
  3afdefd

  Copy full SHA for 3afdefd

• Changed phase dependencies from names to classes.

  Show description for f0519c9
  odersky

  committed
  f0519c9

  Copy full SHA for f0519c9

Commits on Aug 19, 2014

• Fixed class doc comment for ElimByName

  odersky

  committed
  5b941d2

  Copy full SHA for 5b941d2

• Make-not private

  Show description for 65aa105
  odersky

  committed
  65aa105

  Copy full SHA for 65aa105

Commits on Aug 20, 2014

• Fix signature of by-name parameters.

  odersky

  committed
  b10c590

  Copy full SHA for b10c590

Commits on Aug 24, 2014

• Comments about phase orderings and shadowed references.

  Show description for ab0105c
  odersky

  committed
  ab0105c

  Copy full SHA for ab0105c

• renaming: core.transform.Erasure -> core.TypeErasure

  Show description for 1f2619b
  odersky

  committed
  1f2619b

  Copy full SHA for 1f2619b

• Make type creators work for erased types.

  Show description for 3b7cba4
  odersky

  committed
  3b7cba4

  Copy full SHA for 3b7cba4

• Add TypedSplice case to untpd.TreeAccumulator

  Show description for 3d92b75
  odersky

  committed
  3d92b75

  Copy full SHA for 3d92b75

• Move foreachSubTreeOf of to tpd.

  Show description for 412fc2c
  odersky

  committed
  412fc2c

  Copy full SHA for 412fc2c

• Fix context for super calls

  Show description for bdefca9
  odersky

  committed
  bdefca9

  Copy full SHA for bdefca9

• Account for package objects when constructing types of idents.

  Show description for 70abd73
  odersky

  committed
  70abd73

  Copy full SHA for 70abd73

• Check that idents don't assume magic.

  Show description for aa7a039
  odersky

  committed
  aa7a039

  Copy full SHA for aa7a039

• Clean up printing of flags and params

  Show description for 85d963d
  odersky

  committed
  85d963d

  Copy full SHA for 85d963d

• Fixes to erasure

  Show description for d46066b
  odersky

  committed
  d46066b

  Copy full SHA for d46066b

• Override symbolOfType in ReTyper.

  Show description for 9883d54
  odersky

  committed
  9883d54

  Copy full SHA for 9883d54

• Fixing refined printing under -uniqid

  Show description for bd8ff17
  odersky

  committed
  bd8ff17

  Copy full SHA for bd8ff17

• Special context for self constructor args

  Show description for b56a743
  odersky

  committed
  b56a743

  Copy full SHA for b56a743

Commits on Aug 25, 2014

• ref(<type>) -> TypeTree

  Show description for 15c4fec
  odersky

  committed
  15c4fec

  Copy full SHA for 15c4fec

• New minipahse: AttachOuter

  Show description for b41732c
  odersky

  committed
  b41732c

  Copy full SHA for b41732c

• Fix to bringforward.

  Show description for eadfa6a
  odersky

  committed
  eadfa6a

  Copy full SHA for eadfa6a

• Fix to baseClasses.

  Show description for 254665e
  odersky

  committed
  254665e

  Copy full SHA for 254665e

• Fixes to erasure

  Show description for 97d89af
  odersky

  committed
  97d89af

  Copy full SHA for 97d89af

Commits on Aug 26, 2014

• thisType of a module class is a term ref to the source module.

  Show description for 08c6eac
  odersky

  committed
  08c6eac

  Copy full SHA for 08c6eac

Commits on Aug 27, 2014

• Rebinding ThisTypes

  Show description for 292ce68
  odersky

  committed
  292ce68

  Copy full SHA for 292ce68

• Make ThisTypes take TypeRefs instead of ClassSymbols

  Show description for bfb328f
  odersky

  committed
  bfb328f

  Copy full SHA for bfb328f

Commits on Aug 28, 2014

• Fixes in TypeTestsCast

  Show description for 7663191
  odersky

  committed
  7663191

  Copy full SHA for 7663191

• Fix in underlyingClassRef

  Show description for e195a2e
  odersky

  committed
  e195a2e

  Copy full SHA for e195a2e

• Disable enclding in retyping.

  Show description for 215f73f
  odersky

  committed
  215f73f

  Copy full SHA for 215f73f

• Enabling primitive operations in ReTyper

  Show description for cdaa3a0
  odersky

  committed
  cdaa3a0

  Copy full SHA for cdaa3a0

• Avoid writing ExprTypes in result types of DefDefs

  odersky

  committed
  11ffd9e

  Copy full SHA for 11ffd9e

• Better error diadnostics in TreeChecker.

  Show description for f7d3f3b
  odersky

  committed
  f7d3f3b

  Copy full SHA for f7d3f3b

• Fixes to erasure to make -Ycheck:all work.

  Show description for aae91ed
  odersky

  committed
  aae91ed

  Copy full SHA for aae91ed

Commits on Aug 29, 2014

• Added todo comment

  odersky

  committed
  3ea2fe9

  Copy full SHA for 3ea2fe9

• Avoid cyclic reference errors in ShowScala

  Show description for 8b9bdfe
  odersky

  committed
  8b9bdfe

  Copy full SHA for 8b9bdfe

• Shorten "if denotation is current the symbol" to "currentSymbol".

  Show description for 9a49def
  odersky

  committed
  9a49def

  Copy full SHA for 9a49def

• Disabling two tests which failed.

  Show description for c8d13a8
  odersky

  committed
  c8d13a8

  Copy full SHA for c8d13a8

Commits on Aug 30, 2014

• Function and multi-array type methods get implicit contexts.

  Show description for cc687b4
  odersky

  committed
  cc687b4

  Copy full SHA for cc687b4

• Eliminate Ident/Select types in FirstTransform

  Show description for 5362969
  odersky

  committed
  5362969

  Copy full SHA for 5362969

• Ensure that after erasure all types are erased.

  Show description for 4041c5d
  odersky

  committed
  4041c5d

  Copy full SHA for 4041c5d

• Moving an assertion from erasure to TreeChecker.

  Show description for 5e7c262
  odersky

  committed
  5e7c262

  Copy full SHA for 5e7c262

Commits on Aug 31, 2014

• Generalize equivalentThisTypes

  Show description for 6e47e2b
  odersky

  committed
  6e47e2b

  Copy full SHA for 6e47e2b

• Avoid reloading NonMemberSyms.

  Show description for e7e1cdc
  odersky

  committed
  e7e1cdc

  Copy full SHA for e7e1cdc

• Fix to elidable prefix.

  Show description for 2bfff5e
  odersky

  committed
  2bfff5e

  Copy full SHA for 2bfff5e

• Types of This trees are promoted during retyping.

  Show description for 8f321f2
  odersky

  committed
  8f321f2

  Copy full SHA for 8f321f2

• New phase: outerAccessors

  Show description for 47b1d73
  odersky

  committed
  47b1d73

  Copy full SHA for 47b1d73

• Add outer parameters in constructor calls.

  Show description for ec1d274
  odersky

  committed
  ec1d274

  Copy full SHA for ec1d274

Commits on Sep 1, 2014

• Added OuterAccessor flag.

  Show description for d85f2dd
  odersky

  committed
  d85f2dd

  Copy full SHA for d85f2dd

• Ensure in FirstTransform that all This references are explicit.

  Show description for dc958b7
  odersky

  committed
  dc958b7

  Copy full SHA for dc958b7

• Allow more leniency in time travel.

  Show description for 2788547
  odersky

  committed
  2788547

  Copy full SHA for 2788547

• Completed outer paths.

  Show description for 2558c49
  odersky

  committed
  2558c49

  Copy full SHA for 2558c49

Commits on Sep 4, 2014

• Add inSuperCall mode and flag.

  Show description for 2251026
  odersky

  committed
  2251026

  Copy full SHA for 2251026

• Move crash diagnostics from TreeChecker to ReTyper.

  Show description for 431288d
  odersky

  committed
  431288d

  Copy full SHA for 431288d

• Enclosing class skips classes from inSuperCall definitions

  Show description for 652a7e5
  odersky

  committed
  652a7e5

  Copy full SHA for 652a7e5

Commits on Sep 5, 2014

• Partially reverting of 08c6eaca

  Show description for dc02760
  odersky

  committed
  dc02760

  Copy full SHA for dc02760

• Fix a bug in unpickler

  Show description for b33f604
  odersky

  committed
  b33f604

  Copy full SHA for b33f604

• CyclicError messages now go to printer

  Show description for 795796d
  odersky

  committed
  795796d

  Copy full SHA for 795796d

• Harden construction of i"..." strings

  Show description for c0b69bb
  odersky

  committed
  c0b69bb

  Copy full SHA for c0b69bb

Commits on Sep 6, 2014

• Bring back blockescapes test...

  Show description for a661bed
  odersky

  committed
  a661bed

  Copy full SHA for a661bed

• Rename OuterAccessors to ExplicitOuter

  Show description for 44bdec1
  odersky

  committed
  44bdec1

  Copy full SHA for 44bdec1

• Better tests and more fixes for ExplicitOuter

  Show description for e104093
  odersky

  committed
  e104093

  Copy full SHA for e104093

• Generalize phase postcondition checking.

  Show description for b58b906
  odersky

  committed
  b58b906

  Copy full SHA for b58b906

• Make foreach/exsists into tree infix methods

  Show description for c3078b1
  odersky

  committed
  c3078b1

  Copy full SHA for c3078b1

• Move explicit outer after pattern matching

  Show description for b129332
  odersky

  committed
  b129332

  Copy full SHA for b129332

Commits on Sep 10, 2014

• Fixes to TreeChecker

  Show description for 5cc99d4
  odersky

  committed
  5cc99d4

  Copy full SHA for 5cc99d4

• Keep SuperTypes around after erasure.

  Show description for 81b27b1
  odersky

  committed
  81b27b1

  Copy full SHA for 81b27b1

• Fix class decls in TypeTypeMap

  Show description for 47f0b45
  odersky

  committed
  47f0b45

  Copy full SHA for 47f0b45

• Make isVolatile a SymUtil method.

  odersky

  committed
  52db988

  Copy full SHA for 52db988

• Keep inherited names through erasure

  Show description for 094dc75
  odersky

  committed
  094dc75

  Copy full SHA for 094dc75

• tpd.TreeOps#select creates non member syms after erasure.

  Show description for b2e0e7b
  odersky

  committed
  b2e0e7b

  Copy full SHA for b2e0e7b

Commits on Sep 12, 2014

• Erasure should keep prefixes in TermRefs

  Show description for 377109a
  odersky

  committed
  377109a

  Copy full SHA for 377109a

• Phase name change of explicitOuter.

  odersky

  committed
  7af0b4b

  Copy full SHA for 7af0b4b

• Handle return in tailcalls.

  Show description for 97828b3
  odersky

  committed
  97828b3

  Copy full SHA for 97828b3

• Skip label methods in enclosing method

  Show description for edbe9ed
  odersky

  committed
  edbe9ed

  Copy full SHA for edbe9ed

• Better failure diagnostic in TreeTransform

  Show description for f05dafe
  odersky

  committed
  f05dafe

  Copy full SHA for f05dafe

• Fix handling of Array#clone in Erasure

  Show description for bb5b049
  odersky

  committed
  bb5b049

  Copy full SHA for bb5b049

• New phase: CapturedVars

  Show description for 2317764
  odersky

  committed
  2317764

  Copy full SHA for 2317764

Commits on Sep 13, 2014

• Better TreeTypeMaps

  Show description for 5634dcc
  odersky

  committed
  5634dcc

  Copy full SHA for 5634dcc

• Revert of b2e0e7b4 "tpd.TreeOps#select creates non member syms after erasure."

  Show description for b22dc6d
  odersky

  committed
  b22dc6d

  Copy full SHA for b22dc6d

Commits on Sep 17, 2014

• Changes from discussion in #171

  DarkDimius

  committed
  f0dfea4

  Copy full SHA for f0dfea4

• Allow converting junit test to scalameter benchmark

  Show description for 73324fa
  DarkDimius

  committed
  73324fa

  Copy full SHA for 73324fa

• Definitions used by pattern matcher

  DarkDimius

  committed
  d78c9d3

  Copy full SHA for d78c9d3

• initValue helper method

  DarkDimius

  committed
  0ceaff7

  Copy full SHA for 0ceaff7

• Making all case classes implement Product. Requires adding Product0

  DarkDimius

  committed
  fb8df8c

  Copy full SHA for fb8df8c

• Unapply doc update

  DarkDimius

  committed
  1287f2d

  Copy full SHA for 1287f2d

• More complicated patterns.

  DarkDimius

  committed
  7a74d71

  Copy full SHA for 7a74d71

• Definitions used by patmat

  DarkDimius

  committed
  56a0a90

  Copy full SHA for 56a0a90

• Common functionality to be shared between patmat and typer

  DarkDimius

  committed
  fa5212f

  Copy full SHA for fa5212f

• CommonCodegen for patMat

  DarkDimius

  committed
  4c62011

  Copy full SHA for 4c62011

• Optimized codegen for patmat

  DarkDimius

  committed
  d626611

  Copy full SHA for d626611

• TreeMakers for patmat

  DarkDimius

  committed
  28ca226

  Copy full SHA for 28ca226

• add Substitution to patmat.

  Show description for 837a1e9
  DarkDimius

  committed
  837a1e9

  Copy full SHA for 837a1e9

• Match translator for patmat

  DarkDimius

  committed
  f03bae9

  Copy full SHA for f03bae9

• Pattern expanders for patmat

  DarkDimius

  committed
  e5aafda

  Copy full SHA for e5aafda

• Helper methods for patmat

  DarkDimius

  committed
  738f5ef

  Copy full SHA for 738f5ef

• Adapting patmat for dotty

  DarkDimius

  committed
  e54dd1a

  Copy full SHA for e54dd1a

• more of adapting patmat for dotty

  DarkDimius

  committed
  07b757b

  Copy full SHA for 07b757b

• More fixes, added _id for internal tracking of failures

  DarkDimius

  committed
  ef16bfe

  Copy full SHA for ef16bfe

• Most of tests succeed now.

  DarkDimius

  committed
  00dbbe6

  Copy full SHA for 00dbbe6

• Everything except unapplySeq doesn't explode.

  Show description for 278d6cb
  DarkDimius

  committed
  278d6cb

  Copy full SHA for 278d6cb

• Fixed unapplySeq. Patmat passes all test suite but typer itself breaks on it.

  DarkDimius

  committed
  899554f

  Copy full SHA for 899554f

• Remaining definitions for patmat.

  DarkDimius

  committed
  8f6ce34

  Copy full SHA for 8f6ce34

• Remove dead code and add todo about outer tests not being generated

  DarkDimius

  committed
  80d8634

  Copy full SHA for 80d8634

• After merge fixes

  DarkDimius

  committed
  c2402d2

  Copy full SHA for c2402d2

• More convinient appliedToNone

  DarkDimius

  committed
  0c551f0

  Copy full SHA for 0c551f0

• Extract ExplicitOuter functionality to be used by patmat

  DarkDimius

  committed
  b12c2d8

  Copy full SHA for b12c2d8

• Several fixes to patmat.

  Show description for ab6766c
  DarkDimius

  committed
  ab6766c

  Copy full SHA for ab6766c

• Allow skipping Label's in owner chains

  DarkDimius

  committed
  f75432f

  Copy full SHA for f75432f

• More complicated tests for patmat

  DarkDimius

  committed
  d6d7c25

  Copy full SHA for d6d7c25

• Fixing periods for explicitOuter

  DarkDimius

  committed
  09a7718

  Copy full SHA for 09a7718

• All pat-mat specific tests succeed now.

  Show description for 0a515fc
  DarkDimius

  committed
  0a515fc

  Copy full SHA for 0a515fc

Commits on Sep 23, 2014

• Disabling patmat tests failing due to typer.

  DarkDimius

  committed
  857cd48

  Copy full SHA for 857cd48

• Renamed parameters in Typer&Applictaions.

  Show description for 8bd1431
  DarkDimius

  committed
  8bd1431

  Copy full SHA for 8bd1431

• Fix problem in unapply typing.

  Show description for 9b576c2
  

  odersky

  authored and

  DarkDimius

  committed
  9b576c2

  Copy full SHA for 9b576c2

• @odersky have a look.

  Show description for 2b52e9c
  DarkDimius

  committed
  2b52e9c

  Copy full SHA for 2b52e9c

• Fix errorneus equality between TermRef and WithFixedSym

  DarkDimius

  committed
  58ae0d0

  Copy full SHA for 58ae0d0

• Made TypeVars uncahable keys

  Show description for e2a130a
  

  odersky

  authored and

  DarkDimius

  committed
  e2a130a

  Copy full SHA for e2a130a

• Patmat now succeeds tests.

  Show description for 23064fc
  DarkDimius

  committed
  23064fc

  Copy full SHA for 23064fc

Commits on Sep 24, 2014

• More accurate or postcondition conchecking in TreeChecker

  Show description for 112d081
  

  odersky

  authored and

  DarkDimius

  committed
  112d081

  Copy full SHA for 112d081

• TypeTestsCasts now handles casts to constant types.

  DarkDimius

  committed
  42b8c1d

  Copy full SHA for 42b8c1d

• Incorporating TypeTestsCasts into Erasure

  DarkDimius

  committed
  f50c3f0

  Copy full SHA for f50c3f0

Commits on Oct 11, 2014

• Fix #167

  Show description for 1675814
  

  odersky

  authored and

  DarkDimius

  committed
  1675814

  Copy full SHA for 1675814

• Make changeOwner more robust regarding non-standard owner chains

  Show description for 543ff7f
  

  odersky

  authored and

  DarkDimius

  committed
  543ff7f

  Copy full SHA for 543ff7f

• Make rejection of deep subtype call stack optional

  Show description for eb2e265
  

  odersky

  authored and

  DarkDimius

  committed
  eb2e265

  Copy full SHA for eb2e265

• Make productArity a synthetic method which can be overridden

  Show description for d936dec
  

  odersky

  authored and

  DarkDimius

  committed
  d936dec

  Copy full SHA for d936dec

• Make SubstOnlyTreeMaker maintain type-safety.

  Show description for cc79257
  DarkDimius

  committed
  cc79257

  Copy full SHA for cc79257

• More better handling of typeTests in patmat.

  Show description for d592368
  DarkDimius

  committed
  d592368

  Copy full SHA for d592368

• Bring back test removed between merges.

  DarkDimius

  committed
  992ea66

  Copy full SHA for 992ea66

• Porting lazy vals to a new scheme.

  DarkDimius

  committed
  19fb9ad

  Copy full SHA for 19fb9ad

• Setters are not case accessors

  

  odersky

  authored and

  DarkDimius

  committed
  02c98aa

  Copy full SHA for 02c98aa

• Fixing owner releated error in lazy vals.

  Show description for a159f71
  DarkDimius

  committed
  a159f71

  Copy full SHA for a159f71

• Enabling lazy vals.

  Show description for 730c3d3
  DarkDimius

  committed
  730c3d3

  Copy full SHA for 730c3d3

• Enable all tests

  DarkDimius

  committed
  5fe0335

  Copy full SHA for 5fe0335

• Fixed assertion to enfornce idempotency of substitutions

  

  odersky

  authored and

  DarkDimius

  committed
  2f63059

  Copy full SHA for 2f63059

• Fixed needs outer test

  

  odersky

  authored and

  DarkDimius

  committed
  0a9c61c

  Copy full SHA for 0a9c61c

• Make LazyVals an IdentityDenotTransformer

  DarkDimius

  committed
  7b407e5

  Copy full SHA for 7b407e5

• Move check for casting a primitive to a non-primitive type from erasure to refchecks

  DarkDimius

  committed
  df28f8a

  Copy full SHA for df28f8a

• Remove outdated tests.

  Show description for 5f04610
  DarkDimius

  committed
  5f04610

  Copy full SHA for 5f04610

• Enable outer tests in pattern matcher.

  Show description for d68c106
  DarkDimius

  committed
  d68c106

  Copy full SHA for d68c106

• Make Extension methods a miniphase

  DarkDimius

  committed
  e1064ac

  Copy full SHA for e1064ac

• Join megaphases. Saves 80 out of 200 seconds for dotc.tests

  DarkDimius

  committed
  5133dfc

  Copy full SHA for 5133dfc

• Allow extensions methods to play well with tailrec.

  DarkDimius

  committed
  cb18aa3

  Copy full SHA for cb18aa3

• Document why patternMatcher needs to be after tailrec.

  DarkDimius

  committed
  5f87089

  Copy full SHA for 5f87089

• Fix test suite to go deep in subdirectories.

  DarkDimius

  committed
  7121ff3

  Copy full SHA for 7121ff3

• Cleanup tests.

  DarkDimius

  committed
  cedf12b

  Copy full SHA for cedf12b

• Fix SymDenotation.isPrimaryConstructor

  Show description for 7b845a5
  DarkDimius

  committed
  7b845a5

  Copy full SHA for 7b845a5

• Seems to be a bug ping @odesrky

  DarkDimius

  committed
  b8de0ad

  Copy full SHA for b8de0ad

• Cleanup patmat.

  DarkDimius

  committed
  a77e25c

  Copy full SHA for a77e25c

• Make widening ops more systematic & complete

  Show description for 0670fc3
  

  odersky

  authored and

  DarkDimius

  committed
  0670fc3

  Copy full SHA for 0670fc3

• Use more efficient type comparisons

  Show description for be1965c
  DarkDimius

  committed
  be1965c

  Copy full SHA for be1965c

• Follow standard naming pattern in LazyVals

  DarkDimius

  committed
  e330cc3

  Copy full SHA for e330cc3

• prevPhase should indicate previous phase in explicitOuter

  Show description for 42ad90f
  DarkDimius

  committed
  42ad90f

  Copy full SHA for 42ad90f

• make appliedToNone fail for exprType, use appliedIfMethod instead

  Show description for 2e6b343
  DarkDimius

  committed
  2e6b343

  Copy full SHA for 2e6b343

• Cleanup patmat based on feedback

  Show description for 3211985
  DarkDimius

  committed
  3211985

  Copy full SHA for 3211985