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
/
tests
/
pos
/
typers.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Disallow refinements of types or methods that do not appear in parent.
Martin Odersky
2015-03-18
1
-0
/
+1
*
Fix and enable RefChecks
Martin Odersky
2014-08-13
1
-1
/
+1
*
Enabled variance checking
Martin Odersky
2014-08-03
1
-1
/
+1
*
TailRec phase and tests for it.
Dmitry Petrashko
2014-04-11
1
-1
/
+1
*
Flag self names that conflict with parameters or members
Martin Odersky
2014-04-08
1
-41
/
+43
*
Tweak to typing of function values.
Martin Odersky
2014-01-15
1
-7
/
+14
*
Fix typing of unapplySeq extractor arguments.
Martin Odersky
2014-01-15
1
-1
/
+12
*
Making some traces conditional on printers being enabled.
Martin Odersky
2014-01-13
1
-0
/
+6
*
New subtype constraint maintenance algorithm.
Martin Odersky
2014-01-07
1
-0
/
+5
*
Generalize overloading resolution to type arguments.
Martin Odersky
2014-01-04
1
-1
/
+4
*
Constraints need to be ignored when forming lubs and glbs of constrained oara...
Martin Odersky
2014-01-01
1
-1
/
+7
*
Adding a prototype of the right-hand side of default-getters.
Martin Odersky
2013-12-31
1
-3
/
+12
*
New version of eta-expansion.
Martin Odersky
2013-12-28
1
-0
/
+4
*
Making the name of self visible inside a class.
Martin Odersky
2013-12-25
1
-0
/
+17
*
Fixing problems in treatment of private symbols
Martin Odersky
2013-12-24
1
-0
/
+15
*
Fixes to desugaring and indexing package objects
Martin Odersky
2013-12-17
1
-0
/
+4
*
Small tweaks to typer
Martin Odersky
2013-12-16
1
-4
/
+7
*
Better handling of cyclic reference errors.
Martin Odersky
2013-12-16
1
-0
/
+8
*
Checking for double definitions among class definitions.
Martin Odersky
2013-12-16
1
-1
/
+1
*
Fix to desugaring refinement types.
Martin Odersky
2013-12-16
1
-1
/
+32
*
Fixes to avoid stale symbols and to avoid methods as pattern constructors.
Martin Odersky
2013-12-09
1
-0
/
+21