index
:
dotty
DarkDimius-patch-1
gh-pages
master
Research platform for new language concepts and compiler technologies for Scala.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
dotty
/
tools
/
dotc
/
typer
/
Checking.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge pull request #668 from lampepfl/fix/#650-self-types
odersky
2015-06-22
1
-2
/
+5
|
\
|
*
Fix checking whether types are instantiable.
Martin Odersky
2015-06-19
1
-2
/
+5
*
|
Implement checking for illegal parent trait constructor calls.
Martin Odersky
2015-06-19
1
-3
/
+11
*
|
Tighten isStable predicate
Martin Odersky
2015-06-06
1
-7
/
+0
|
/
*
Fix #597: Improve double def error message
Guillaume Martres
2015-05-23
1
-1
/
+1
*
Correct a large number of typos.
Jason Zaugg
2015-05-14
1
-1
/
+1
*
rename isSourceMethod to isRealMethod, the previous name was inaccurate
Guillaume Martres
2015-05-09
1
-1
/
+1
*
Roll some of FirstTransform functionaility into PostTyper
Martin Odersky
2015-04-22
1
-0
/
+17
*
Tweaks relative to error reporting
Martin Odersky
2015-04-13
1
-1
/
+1
*
Make all Dotty source files end in newline.
Dmitry Petrashko
2015-04-09
1
-1
/
+1
*
#435 Fix conflict between package object and case class with same name
Dmitry Petrashko
2015-03-26
1
-1
/
+2
*
Avoid capturing context in lazy trees
Martin Odersky
2015-03-18
1
-1
/
+1
*
Merge pull request #270 from dotty-staging/change/type-aliases
odersky
2014-12-17
1
-20
/
+18
|
\
|
*
Moved derivedTypeAlias method to TypeAlias
Martin Odersky
2014-12-10
1
-20
/
+18
*
|
Avoid spurious warnings about forward references in refinements
Guillaume Martres
2014-12-16
1
-2
/
+2
*
|
Fix #248: Class cannot inherit from refinement types
Martin Odersky
2014-12-13
1
-1
/
+1
|
/
*
Cyclicity checking independent of positions.
Martin Odersky
2014-11-24
1
-1
/
+5
*
Updated refinement checking.
Martin Odersky
2014-11-24
1
-0
/
+48
*
checkBounds refactoring
Martin Odersky
2014-11-24
1
-23
/
+6
*
Fix to checkBounds
Martin Odersky
2014-11-24
1
-2
/
+2
*
add comment explaining why checkValue skips Java compilation units
Ondrej Lhotak
2014-11-22
1
-0
/
+2
*
Initial implementation of Java scanner and parser
Ondrej Lhotak
2014-11-22
1
-1
/
+1
*
Detect cycles involving types bounded by singleton types
Guillaume Martres
2014-11-06
1
-0
/
+3
*
Add inSuperCall mode and flag.
Martin Odersky
2014-09-04
1
-1
/
+1
*
Enabling primitive operations in ReTyper
Martin Odersky
2014-08-28
1
-3
/
+3
*
Make ThisTypes take TypeRefs instead of ClassSymbols
Martin Odersky
2014-08-27
1
-1
/
+1
*
Split Nullarify functionality to ElimByName, Erasure
Martin Odersky
2014-08-17
1
-3
/
+4
*
LazyRefs break cycles for unpickled types
Martin Odersky
2014-08-08
1
-21
/
+54
*
Detect cycles and protected legal ones with LazyRefs
Martin Odersky
2014-08-08
1
-14
/
+130
*
Change definition of isLegalPrefix so that it allows projecting on an abstrac...
Martin Odersky
2014-06-12
1
-3
/
+3
*
Tightening of rules for explicit types for implicit defs
Martin Odersky
2014-05-08
1
-10
/
+0
*
Flag self names that conflict with parameters or members
Martin Odersky
2014-04-08
1
-2
/
+9
*
replace i"..." by d"..." if string might go into a
Samuel Gruetter
2014-04-02
1
-12
/
+12
*
move InfoString from ErrorReporting to Decorators and
Samuel Gruetter
2014-04-02
1
-1
/
+1
*
Erasure phase PoC
Martin Odersky
2014-03-29
1
-23
/
+23
*
Hygienic desugaring
Martin Odersky
2014-03-20
1
-0
/
+1
*
New scheme for TypeTrees that refer to others
Martin Odersky
2014-03-20
1
-1
/
+1
*
Merge pull request #61 from odersky/fixes-t00xx
odersky
2014-03-12
1
-2
/
+5
|
\
|
*
Fix problems related to t0039
Martin Odersky
2014-03-10
1
-2
/
+5
*
|
Fix of #50 - volatile
Martin Odersky
2014-03-09
1
-4
/
+9
|
/
*
Main Typer reorg.
Martin Odersky
2014-03-07
1
-1
/
+12
*
Scond step to typer reorg: Introduce TypeAssigners.
Martin Odersky
2014-03-07
1
-8
/
+19
*
First step towards Typer Reorganization.
Martin Odersky
2014-03-07
1
-0
/
+119