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
/
typer
/
Checking.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge pull request #1587 from dotty-staging/change-tasty-pos
Guillaume Martres
2016-11-04
1
-50
/
+37
|
\
|
*
Roll normalizedTree into main PostTyper transform
Martin Odersky
2016-10-31
1
-51
/
+36
|
*
Don't convert to TypeTrees before pickling
Martin Odersky
2016-10-31
1
-5
/
+7
*
|
Fix #1570: Allow inline parameters as inline args
Martin Odersky
2016-10-14
1
-4
/
+7
|
/
*
Merge GenericType, TypeLambda and PolyType
Martin Odersky
2016-10-12
1
-2
/
+2
*
Disallow singleton types in unions
Martin Odersky
2016-10-11
1
-0
/
+8
*
Improve positions for MemberDefs using `namePos`
Felix Mulder
2016-10-10
1
-4
/
+4
*
Change owner as necessary when typing a TypedSplice
Martin Odersky
2016-10-02
1
-1
/
+2
*
Add inline for vals
Martin Odersky
2016-10-02
1
-0
/
+9
*
Get rid of SelectFromType tree node.
Martin Odersky
2016-09-25
1
-2
/
+0
*
Merge pull request #1534 from OlivierBlanvillain/clean-up-printers
Felix Mulder
2016-09-23
1
-1
/
+1
|
\
|
*
Clean up config.Printers imports
Olivier Blanvillain
2016-09-23
1
-1
/
+1
*
|
Fix corner case w types ALL passed by name & out of order
Olivier Blanvillain
2016-09-16
1
-1
/
+1
|
/
*
New string infterpolators
Martin Odersky
2016-08-16
1
-19
/
+19
*
Fix bounds checking of hk applied typed
Martin Odersky
2016-07-14
1
-9
/
+10
*
Allow hk parameters in lower bounds
Martin Odersky
2016-07-13
1
-12
/
+0
*
Make rewritings of hk applications configurable
Martin Odersky
2016-07-13
1
-0
/
+2
*
Disallow higher-kinded types that simulate general existential types
Martin Odersky
2016-07-11
1
-0
/
+22
*
Drop Config.checkKinds
Martin Odersky
2016-07-11
1
-5
/
+3
*
Refactor handling of unpickled type params
Martin Odersky
2016-07-11
1
-1
/
+4
*
Refactoring of PolyType and TypeLambda
Martin Odersky
2016-07-11
1
-1
/
+1
*
Eta-expand unapplied types that have type parameters
Martin Odersky
2016-07-11
1
-1
/
+6
*
Introduce recursive types
Martin Odersky
2016-07-11
1
-2
/
+6
*
Allow general recursion in refined types.
Martin Odersky
2016-07-11
1
-2
/
+2
*
Fixes to checkNonCyclic
Martin Odersky
2016-03-30
1
-20
/
+18
*
Have checkNotPrivate skip over private aliases.
Martin Odersky
2016-03-12
1
-21
/
+34
*
Check that classOf gets applied to class types
Martin Odersky
2016-02-20
1
-6
/
+7
*
Merge pull request #1066 from dotty-staging/fix-#997
odersky
2016-02-19
1
-0
/
+40
|
\
|
*
Merge parentsWithArgs and instantiatedParents
Martin Odersky
2016-02-19
1
-1
/
+1
|
*
Move leak detection to Checking
Martin Odersky
2016-02-19
1
-0
/
+40
*
|
Remove unused method, fix comments.
Martin Odersky
2016-02-19
1
-1
/
+4
*
|
Simplify logic in matchNamed
Martin Odersky
2016-02-19
1
-4
/
+3
*
|
Address reviewer comments
Martin Odersky
2016-02-19
1
-2
/
+2
*
|
Fix PostTyper normalization for named args
Martin Odersky
2016-02-19
1
-6
/
+4
*
|
Make some operations surivive partial named parameter lists
Martin Odersky
2016-02-19
1
-2
/
+12
|
/
*
Big realizability refactoring
Martin Odersky
2016-02-09
1
-13
/
+19
*
Check that non-abstract classes have realizable bounds.
Martin Odersky
2016-02-09
1
-0
/
+7
*
Fix path error disgnastics
Martin Odersky
2016-02-09
1
-1
/
+1
*
Reorganize tests to account for new typing of projection
Martin Odersky
2016-02-09
1
-5
/
+4
*
Move realizability logic from Types to TypeOps.
Martin Odersky
2016-02-09
1
-2
/
+2
*
Realizability refactoring
Martin Odersky
2016-02-09
1
-5
/
+15
*
Check AppliedTypeTrees bounds inside AppliedTypeTree
Guillaume Martres
2016-01-18
1
-7
/
+10
*
Check bounds everywhere
Martin Odersky
2016-01-18
1
-0
/
+12
*
Fix checkNonCyclic.
Martin Odersky
2016-01-16
1
-6
/
+6
*
Disallow hk type parameters in lower bounds.
Martin Odersky
2015-12-11
1
-0
/
+12
*
Shorten ..Class.typeRef to ..Type
Martin Odersky
2015-11-09
1
-2
/
+2
*
Check bounds of inferred typevars in PostTyper.
Martin Odersky
2015-11-05
1
-8
/
+7
*
Remove redundant tests
Martin Odersky
2015-10-24
1
-3
/
+1
*
Avoid mutation in checkWellFormed
Martin Odersky
2015-10-22
1
-4
/
+5
*
Add well-formedness checking for created symbols
Martin Odersky
2015-10-22
1
-0
/
+43
[next]