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
/
config
/
Config.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Make positions fit for meta
Martin Odersky
2016-09-24
1
-0
/
+3
*
HK reduction: Remove special-case for typerefs
Guillaume Martres
2016-07-18
1
-3
/
+2
*
Fix bounds checking of hk applied typed
Martin Odersky
2016-07-14
1
-3
/
+2
*
Make rewritings of hk applications configurable
Martin Odersky
2016-07-13
1
-0
/
+7
*
Drop Config.checkKinds
Martin Odersky
2016-07-11
1
-7
/
+0
*
Cleanup of Signature matching
Martin Odersky
2016-07-11
1
-3
/
+3
*
Remove refinement encoding of hk types
Martin Odersky
2016-07-11
1
-2
/
+0
*
Drop assertion in TypeMap
Martin Odersky
2016-07-11
1
-3
/
+5
*
Start new, direct HK scheme
Martin Odersky
2016-07-11
1
-0
/
+2
*
Remove old hk scheme
Martin Odersky
2016-07-11
1
-2
/
+0
*
Optionally, check kinds match for & and |
Martin Odersky
2016-07-11
1
-0
/
+5
*
Turn on new hk scheme
Martin Odersky
2016-07-11
1
-1
/
+1
*
New type lambda scheme for hk types
Martin Odersky
2016-07-11
1
-0
/
+2
*
Fix documentation of Config.checkConstraintsSeparated
Guillaume Martres
2016-02-08
1
-4
/
+4
*
Fix docs and naming
Martin Odersky
2016-02-05
1
-4
/
+5
*
Don't force symbol denotation when taking fingerprint.
Martin Odersky
2016-01-19
1
-1
/
+1
*
Optionally rewrite projections.
Martin Odersky
2015-12-15
1
-0
/
+9
*
Eliminate Config.newMatch option
Martin Odersky
2015-09-29
1
-6
/
+0
*
Eta expand $apply projected types if needed
Martin Odersky
2015-09-21
1
-0
/
+5
*
Disable checkConstraintClosed by default
Martin Odersky
2015-06-26
1
-2
/
+10
*
Avoid junk produced by Constraint#replace.
Martin Odersky
2015-06-22
1
-0
/
+3
*
Deskolemize types inferred for vals and defs
Martin Odersky
2015-06-06
1
-0
/
+5
*
Calibrate findMember logging thresholds and test case
Martin Odersky
2015-05-21
1
-3
/
+11
*
Move threshold values to Config
Martin Odersky
2015-05-21
1
-0
/
+19
*
Correct a large number of typos.
Jason Zaugg
2015-05-14
1
-2
/
+2
*
Remove trailing spaces in Dotty source.
Dmitry Petrashko
2015-04-09
1
-6
/
+6
*
Make all Dotty source files end in newline.
Dmitry Petrashko
2015-04-09
1
-1
/
+1
*
Cleanups prompted by reviews.
Martin Odersky
2015-01-28
1
-1
/
+1
*
New constraint implementation: OrderingConstraint
Martin Odersky
2015-01-24
1
-1
/
+1
*
Make checkPropagated configurable
Martin Odersky
2015-01-19
1
-0
/
+6
*
New constraint handling
Martin Odersky
2015-01-18
1
-6
/
+0
*
Made refinement subtype fastpath insensitive to RefineedThis#binder.
Martin Odersky
2015-01-09
1
-1
/
+1
*
More aggressive reduction in lookupRefinedThis.
Martin Odersky
2015-01-09
1
-1
/
+1
*
Made fast path for refined subtype checking configurable.
Martin Odersky
2015-01-09
1
-0
/
+4
*
Fix problem in constraint handling
Martin Odersky
2015-01-09
1
-0
/
+5
*
Remove choice between new and old scheme for subtyping refined types.
Martin Odersky
2015-01-08
1
-1
/
+1
*
Add transitive check for cycles in constraints.
Martin Odersky
2015-01-08
1
-1
/
+15
*
Make rejection of deep subtype call stack optional
Martin Odersky
2014-10-11
1
-3
/
+0
*
@odersky have a look.
Dmitry Petrashko
2014-09-23
1
-1
/
+1
*
Make type creators work for erased types.
Martin Odersky
2014-08-24
1
-0
/
+3
*
Optionally check variance of Lambda classes.
Martin Odersky
2014-06-12
1
-1
/
+6
*
Adding dependency tracking to constraint satisfaction
Martin Odersky
2014-05-08
1
-0
/
+6
*
Shadowed references
Martin Odersky
2014-04-08
1
-2
/
+2
*
Reworked TermRef handling
Martin Odersky
2014-04-08
1
-0
/
+7
*
Summary printing
Martin Odersky
2014-03-29
1
-0
/
+3
*
Fix bug for reading type arguments in ClassfileParser
Martin Odersky
2014-02-06
1
-0
/
+2
*
Fixes to constraint handling.
Martin Odersky
2014-01-26
1
-1
/
+5
*
New subtype constraint maintenance algorithm.
Martin Odersky
2014-01-07
1
-0
/
+2
*
Make implicit scope work in the presence to TypeVars
Martin Odersky
2014-01-06
1
-0
/
+1
*
Output cleanups
Martin Odersky
2014-01-04
1
-0
/
+2
[next]