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
Commit message (
Expand
)
Author
Age
Files
Lines
*
Deug info in classfile parser
Martin Odersky
2017-04-11
1
-1
/
+8
*
Unmangle class names in ClassfileParser
Martin Odersky
2017-04-11
1
-1
/
+1
*
Self-checked structured qualified names
Martin Odersky
2017-04-11
1
-4
/
+27
*
Start to use structured ModuleNames
Martin Odersky
2017-04-11
4
-8
/
+31
*
Fix handling of qualified names
Martin Odersky
2017-04-11
2
-19
/
+42
*
Fix @sharable problem
Martin Odersky
2017-04-11
1
-1
/
+1
*
Add derived name machinery
Martin Odersky
2017-04-11
3
-11
/
+114
*
Cleanup of simple names
Martin Odersky
2017-04-11
1
-45
/
+39
*
Merge pull request #2215 from dotty-staging/#2142
odersky
2017-04-11
7
-15
/
+71
|
\
|
*
Align safe parameter substitution with other subst methods
Martin Odersky
2017-04-10
2
-6
/
+6
|
*
Generalize definition of Type#isStable
Martin Odersky
2017-04-10
1
-2
/
+3
|
*
Skolemize arguments to dependent methods as necessary.
Martin Odersky
2017-04-10
3
-4
/
+49
|
*
Explain skolem types
Martin Odersky
2017-04-10
1
-3
/
+11
|
*
Handle printing of term paramrefs
Martin Odersky
2017-04-10
2
-6
/
+8
*
|
Merge pull request #2217 from dotty-staging/upgrade/sbt0.13.15
Felix Mulder
2017-04-10
1
-1
/
+1
|
\
\
|
*
|
Upgrade to sbt 0.13.15
Guillaume Martres
2017-04-10
1
-1
/
+1
|
/
/
*
|
Merge pull request #2197 from dotty-staging/add-enum-exhaustiveness
odersky
2017-04-10
14
-105
/
+175
|
\
\
|
*
|
simplify exhaustivity check using ConstantType
liu fengyun
2017-04-06
1
-49
/
+11
|
*
|
add more enum exhaustivity tests
liu fengyun
2017-04-06
3
-0
/
+77
|
*
|
remove obsolete code
liu fengyun
2017-04-06
1
-9
/
+0
|
*
|
exhaustivity support for enums
liu fengyun
2017-04-06
9
-56
/
+86
|
*
|
Add child annotations for enum values
Martin Odersky
2017-04-06
3
-4
/
+14
*
|
|
Merge pull request #2206 from dotty-staging/fix-#2198
odersky
2017-04-10
2
-2
/
+10
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Fix #2198: Don't widen module singletons
Martin Odersky
2017-04-09
2
-2
/
+10
*
|
|
Merge pull request #2207 from dotty-staging/fix-#2188
Nicolas Stucki
2017-04-09
2
-0
/
+8
|
\
\
\
|
*
|
|
Fix #2188: Do cbn transform also on Selects
Martin Odersky
2017-04-09
2
-0
/
+8
|
|
/
/
*
|
|
Merge pull request #2208 from dotty-staging/fix-#2192
Guillaume Martres
2017-04-09
2
-2
/
+19
|
\
\
\
|
*
|
|
Fix #2192: Fullow supertypes when determining whether an expect type is a fun...
Martin Odersky
2017-04-09
2
-2
/
+19
|
|
/
/
*
|
|
Merge pull request #2205 from dotty-staging/fix-#2220
odersky
2017-04-09
5
-32
/
+80
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fix documentation
Martin Odersky
2017-04-09
1
-4
/
+3
|
*
|
Tweak logic for hk type comparisons
Martin Odersky
2017-04-09
2
-0
/
+10
|
*
|
Tweak logic for hk type comparisons
Martin Odersky
2017-04-09
1
-4
/
+3
|
*
|
Three fixes wrt handlings of package objects
Martin Odersky
2017-04-09
2
-28
/
+68
*
|
|
Merge pull request #2204 from dotty-staging/fix/i2201
odersky
2017-04-09
4
-3
/
+39
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fix #2201: Less aggressive type application reduction for better inference
Guillaume Martres
2017-04-08
4
-3
/
+39
|
/
/
*
|
Merge pull request #2193 from dotty-staging/deterministic-tests
Felix Mulder
2017-04-06
3
-4
/
+15
|
\
\
|
*
|
Use alphabetic sort by default
Olivier Blanvillain
2017-04-06
1
-4
/
+11
|
*
|
Deterministically randomises test compilation order
Olivier Blanvillain
2017-04-05
3
-4
/
+8
*
|
|
Merge pull request #2187 from dotty-staging/fix-2166
odersky
2017-04-06
2
-1
/
+12
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
fix #2166: unpickling of shared CaseDef
liu fengyun
2017-04-04
2
-1
/
+12
*
|
|
Merge pull request #2121 from dotty-staging/change-merge-method-poly
odersky
2017-04-06
70
-988
/
+1032
|
\
\
\
|
*
|
|
Adapt TastyPrinter to new format
Martin Odersky
2017-04-06
1
-1
/
+1
|
*
|
|
Update doc comment on HkTypeLambda/PolyType
Martin Odersky
2017-04-06
1
-12
/
+13
|
*
|
|
Polishings
Martin Odersky
2017-04-06
7
-19
/
+13
|
*
|
|
Generalize PolyType to TypeLambda in dotty-doc
Martin Odersky
2017-04-06
1
-3
/
+3
|
*
|
|
Fix dotty-doc to take account of refactorings
Martin Odersky
2017-04-06
1
-4
/
+4
|
*
|
|
Refactorings for efficiency
Martin Odersky
2017-04-06
2
-43
/
+56
|
*
|
|
Narrow matches from TypeLambda to HKTypeLambda where appropriate
Martin Odersky
2017-04-06
4
-8
/
+10
|
*
|
|
Merge MethodType and PolyType functionality where possible
Martin Odersky
2017-04-06
12
-130
/
+78
|
*
|
|
Make PolyType a ground type
Martin Odersky
2017-04-06
2
-1
/
+5
[next]