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
/
core
/
Constraint.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Create TypeAlias subclass of TypeBouunds
Martin Odersky
2014-12-10
1
-2
/
+4
*
Adding dependency tracking to constraint satisfaction
Martin Odersky
2014-05-08
1
-8
/
+142
*
Tightened satisfiablity checks.
Martin Odersky
2014-05-08
1
-0
/
+12
*
Fix of TyperState#instType
Martin Odersky
2014-05-08
1
-1
/
+4
*
Improve test infrastructure
Martin Odersky
2014-03-10
1
-1
/
+2
*
Performance improvement: Cache uninstatiated typevars in constraints
Martin Odersky
2014-02-21
1
-12
/
+17
*
Move maxConstraint computation to RunInfo to avoid references to stale symbols.
Martin Odersky
2014-02-09
1
-9
/
+10
*
Fixes to constraint handling.
Martin Odersky
2014-01-26
1
-10
/
+48
*
When instantiating a type var, need to map back from polyparams to typevars.
Martin Odersky
2014-01-13
1
-0
/
+9
*
New subtype constraint maintenance algorithm.
Martin Odersky
2014-01-07
1
-29
/
+26
*
Check that constraints are not cyclic, and avoid cycles when replacing parame...
Martin Odersky
2013-12-31
1
-4
/
+44
*
SimpleMap.foreachKey -> foreachBinding
Martin Odersky
2013-11-29
1
-9
/
+9
*
Tightening (constraint contains param) condition
Martin Odersky
2013-11-28
1
-1
/
+1
*
Dropping cinsistency checking logic from typerstates.
Martin Odersky
2013-11-22
1
-2
/
+10
*
Consolidation of TyperState and Constraint
Martin Odersky
2013-11-21
1
-28
/
+90
*
Better encapsulation for constraints.
Martin Odersky
2013-11-20
1
-29
/
+40
*
Splitting constraint.appky into at, bounds, contains.
Martin Odersky
2013-11-20
1
-2
/
+7
*
More tweaks
Martin Odersky
2013-11-20
1
-0
/
+6
*
Reporting max constraint
Martin Odersky
2013-11-10
1
-19
/
+23
*
Bug fixes and improvements in error diagnostics.
Martin Odersky
2013-09-16
1
-5
/
+10
*
Improvements in implicits error reporting
Martin Odersky
2013-09-06
1
-2
/
+2
*
File rename
Martin Odersky
2013-09-05
1
-0
/
+117