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
/
ConstraintHandling.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Make Constraint#bounds work for aliases
Martin Odersky
2016-07-11
1
-3
/
+3
*
Start new, direct HK scheme
Martin Odersky
2016-07-11
1
-2
/
+2
*
Avoid accidental creation of hk types
Martin Odersky
2016-07-11
1
-0
/
+2
*
Add a second betaReduce
Martin Odersky
2016-07-11
1
-1
/
+1
*
Fixes to BetaReduce and asMemberOf; add a second betaReduce
Martin Odersky
2016-07-11
1
-0
/
+2
*
Fix documentation of ConstraintHandling#addConstraint
Guillaume Martres
2016-02-08
1
-1
/
+1
*
Avoid `related` buffer in `addConstraint`.
Martin Odersky
2016-02-05
1
-11
/
+17
*
Narrow problematic constraint instead of widening it.
Martin Odersky
2016-02-05
1
-8
/
+22
*
Fix docs and naming
Martin Odersky
2016-02-05
1
-2
/
+4
*
Prune constraints that could turn into cycles
Martin Odersky
2016-02-05
1
-1
/
+48
*
Switch to new hk scheme.
Martin Odersky
2015-12-06
1
-0
/
+10
*
Freeze constraints when checking parameter matching and subsumption.
Martin Odersky
2015-10-01
1
-0
/
+8
*
Fix compilation error.
Martin Odersky
2015-10-01
1
-1
/
+1
*
addToConstraint: Disable debug message by default
Guillaume Martres
2015-05-03
1
-1
/
+1
*
Remove trailing spaces in Dotty source.
Dmitry Petrashko
2015-04-09
1
-19
/
+19
*
Cleanups prompted by reviews.
Martin Odersky
2015-01-28
1
-39
/
+28
*
Fixups taking into account reviewer's comments.
Martin Odersky
2015-01-27
1
-1
/
+2
*
Fixes suggested by reviews from @smarter.
Martin Odersky
2015-01-24
1
-1
/
+1
*
New constraint method: narrowBound
Martin Odersky
2015-01-23
1
-36
/
+33
*
Streamline TypeComparer/ConstraintHandling interface.
Martin Odersky
2015-01-19
1
-9
/
+3
*
Make checkPropagated configurable
Martin Odersky
2015-01-19
1
-2
/
+2
*
Move PolyParam test later in isSubType and simplify addConstraint
Martin Odersky
2015-01-19
1
-15
/
+9
*
Avoid adding constraint under typeVarsMissContext is true
Martin Odersky
2015-01-18
1
-1
/
+4
*
Removed check from addConstraint
Martin Odersky
2015-01-18
1
-13
/
+1
*
New constraint handling
Martin Odersky
2015-01-18
1
-202
/
+192
*
Rename isConstrained -> canConstrain for clarity
Martin Odersky
2015-01-14
1
-1
/
+1
*
Two new hooks in ConstraintHandling
Martin Odersky
2015-01-13
1
-1
/
+7
*
Added alternative TrackingConstraint
Martin Odersky
2015-01-13
1
-1
/
+7
*
Streamline unification
Martin Odersky
2015-01-12
1
-35
/
+32
*
Made constraint data structures pluggable.
Martin Odersky
2015-01-12
1
-6
/
+12
*
Split off ConstraintHandling into separate trait.
Martin Odersky
2015-01-10
1
-0
/
+275