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
/
compiler
/
src
/
dotty
/
tools
/
dotc
/
typer
/
Applications.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge pull request #1938 from dotty-staging/named-based-patmat
Felix Mulder
2017-04-11
1
-5
/
+10
|
\
|
*
Move isProductSubType to Applications & rename to canProductMatch
Olivier Blanvillain
2017-04-11
1
-4
/
+6
|
*
Decouple Product and pattern-matching
Olivier Blanvillain
2017-04-06
1
-4
/
+7
*
|
Names are no longer Seqs
Martin Odersky
2017-04-11
1
-2
/
+3
*
|
Decentralize unmangling, add new nameKinds
Martin Odersky
2017-04-11
1
-1
/
+2
*
|
Align safe parameter substitution with other subst methods
Martin Odersky
2017-04-10
1
-1
/
+1
*
|
Skolemize arguments to dependent methods as necessary.
Martin Odersky
2017-04-10
1
-3
/
+2
|
/
*
Merge MethodType and PolyType functionality where possible
Martin Odersky
2017-04-06
1
-2
/
+1
*
Further refactorings
Martin Odersky
2017-04-06
1
-7
/
+2
*
Eliminate MethodOrPoly
Martin Odersky
2017-04-06
1
-1
/
+1
*
replace derived{Method,Poly}Type with derivedLambdaType
Martin Odersky
2017-04-06
1
-1
/
+1
*
Rename PolyParam --> TypeParamRef
Martin Odersky
2017-04-06
1
-1
/
+1
*
Harmonize paramTypes and paramBounds
Martin Odersky
2017-04-06
1
-10
/
+10
*
Break out functionality from MethodType
Martin Odersky
2017-04-06
1
-2
/
+2
*
Avoid assertion failure on neg test
Martin Odersky
2017-04-04
1
-1
/
+8
*
Take parameter dependencies into account
Martin Odersky
2017-03-14
1
-5
/
+21
*
Construct MethodTypes from parameter closure
Martin Odersky
2017-03-14
1
-1
/
+2
*
Merge pull request #2045 from dotty-staging/fix-hlist-hmap
odersky
2017-03-09
1
-14
/
+11
|
\
|
*
Fix handling of dependent method types
Martin Odersky
2017-03-01
1
-2
/
+3
|
*
Systematic treatment of result types of dependent methods
Martin Odersky
2017-02-28
1
-14
/
+10
*
|
Merge pull request #2031 from dotty-staging/fix-#2030
odersky
2017-03-03
1
-1
/
+1
|
\
\
|
|
/
|
/
|
|
*
Don't chain implicit conversions
Martin Odersky
2017-02-27
1
-1
/
+1
*
|
Fix #2033: Improve handling of unresolved overloaded arguments
Martin Odersky
2017-02-27
1
-1
/
+10
|
/
*
Merge pull request #2015 from dotty-staging/add-pf-overloading
odersky
2017-02-23
1
-27
/
+27
|
\
|
*
Drop stray println
Martin Odersky
2017-02-21
1
-1
/
+1
|
*
Extend argument pretyping to case-closures
Martin Odersky
2017-02-21
1
-32
/
+25
|
*
Add overloading support for case-closures
Martin Odersky
2017-02-21
1
-1
/
+8
*
|
typedUnApply#trySelectUnapply: small cleanup
Guillaume Martres
2017-02-18
1
-6
/
+6
*
|
typedApply: Avoid using incorrect context in tryEither
Guillaume Martres
2017-02-18
1
-1
/
+1
|
/
*
Fix #1991: Use classtag where available in unapply
Martin Odersky
2017-02-17
1
-1
/
+1
*
More lenient handling of mixed parameterless and nullary methods
Martin Odersky
2016-12-20
1
-12
/
+14
*
Merge pull request #1775 from dotty-staging/add-implicit-funtypes
odersky
2016-12-18
1
-6
/
+18
|
\
|
*
Take nesting into account when ranking implicits
Martin Odersky
2016-12-17
1
-4
/
+16
|
*
Refactor function operations in Definitions
Martin Odersky
2016-12-17
1
-2
/
+2
*
|
Make errors are not swept under the carpet
Martin Odersky
2016-12-17
1
-3
/
+3
|
/
*
Merge pull request #1801 from dotty-staging/fix-#1790
Dmitry Petrashko
2016-12-16
1
-18
/
+52
|
\
|
*
Implement new rules for name-based pattern matching
Martin Odersky
2016-12-15
1
-17
/
+27
|
*
Change by-name pattern matching.
Martin Odersky
2016-12-14
1
-19
/
+43
*
|
Drop explicit types for local implicit vals
Martin Odersky
2016-12-12
1
-1
/
+1
|
/
*
Add explanation
Martin Odersky
2016-12-02
1
-0
/
+22
*
Fix #1757: Be more careful about positions of type variable binders
Martin Odersky
2016-12-01
1
-3
/
+10
*
Move compiler and compiler tests to compiler dir
Felix Mulder
2016-11-22
1
-0
/
+1351