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
*
Merge pull request #820 from dotty-staging/add-collection-strawman
odersky
2015-10-06
3
-0
/
+643
|
\
|
*
Rename collectAs -> to
Martin Odersky
2015-10-06
2
-16
/
+16
|
*
Tweaks to conform with API set out in #818.
Martin Odersky
2015-10-06
2
-21
/
+18
|
*
Bugfixes and move CollectionStrawMan1 into the correct directory.
Martin Odersky
2015-10-06
2
-71
/
+96
|
*
Add ArrayBuffer as another Seq class. Make iterators inspectable.
Martin Odersky
2015-10-06
3
-101
/
+173
|
*
Add collection strawman and its tests
Martin Odersky
2015-10-06
3
-0
/
+549
*
|
Merge pull request #805 from dotty-staging/change-freeze-bounds
odersky
2015-10-06
15
-54
/
+360
|
\
\
|
*
|
Revert "Make prefix covariant in type maps."
Martin Odersky
2015-10-06
1
-1
/
+7
|
|
/
|
*
Make prefix covariant in type maps.
Martin Odersky
2015-10-06
1
-7
/
+1
|
*
Add explanations for rewritings
Martin Odersky
2015-10-06
1
-0
/
+6
|
*
Move failing test to pending
Martin Odersky
2015-10-01
1
-0
/
+0
|
*
Add test case
Martin Odersky
2015-10-01
1
-0
/
+245
|
*
Reshuffle nested and/or calls.
Martin Odersky
2015-10-01
1
-0
/
+24
|
*
Freeze constraints when checking parameter matching and subsumption.
Martin Odersky
2015-10-01
2
-3
/
+11
|
*
Fix typo in previous commit.
Martin Odersky
2015-10-01
1
-1
/
+1
|
*
Opportunistically merge A & A -> A and B | B -> B in <:<
Martin Odersky
2015-10-01
1
-0
/
+6
|
*
Implement toString for OrderingConstraint
Martin Odersky
2015-10-01
1
-1
/
+18
|
*
Slight code refactoring
Martin Odersky
2015-10-01
1
-11
/
+12
|
*
Restore state when detecting a baseTypeRef cycle.
Martin Odersky
2015-10-01
1
-0
/
+1
|
*
underlyingChain -> underlyingIterator
Martin Odersky
2015-10-01
1
-4
/
+10
|
*
Don't log when in Printing mode.
Martin Odersky
2015-10-01
1
-1
/
+2
|
*
Fix compilation error.
Martin Odersky
2015-10-01
1
-1
/
+1
|
*
Replace withMode by addMode
Martin Odersky
2015-10-01
5
-9
/
+9
|
*
Change some occurrences of <:< to frozen_<:<
Martin Odersky
2015-10-01
3
-10
/
+15
|
*
Generalize rules for isSubType between NamedTypes.
Martin Odersky
2015-10-01
1
-16
/
+2
*
|
Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTime
odersky
2015-10-02
2
-1
/
+10
|
\
\
|
|
/
|
/
|
|
*
add a test for a pattern match with ignored type param
Sarunas Valaskevicius
2015-09-25
1
-0
/
+9
|
*
fix compiling ScalaRunTime.scala
Sarunas Valaskevicius
2015-09-25
1
-1
/
+1
*
|
Merge pull request #812 from dotty-staging/fix/#806-signature-matching
Dmitry Petrashko
2015-09-30
11
-75
/
+59
|
\
\
|
*
|
Replace `containsSig` with `matches`.
Martin Odersky
2015-09-30
1
-12
/
+9
|
*
|
Refinements to signature matching
Martin Odersky
2015-09-30
3
-57
/
+62
|
*
|
Fix a long sleeper bug
Martin Odersky
2015-09-30
1
-0
/
+1
|
*
|
Move test to pos
Martin Odersky
2015-09-29
1
-0
/
+0
|
*
|
Refine atSignature
Martin Odersky
2015-09-29
2
-6
/
+20
|
*
|
Fix problem with avoid.
Martin Odersky
2015-09-29
1
-3
/
+4
|
*
|
Eliminate Config.newMatch option
Martin Odersky
2015-09-29
3
-43
/
+4
|
*
|
Matching denotations should take infos into account
Martin Odersky
2015-09-29
5
-42
/
+47
|
/
/
*
|
Merge pull request #807 from svalaskevicius/cleanup-code
Dmitry Petrashko
2015-09-29
2
-7
/
+1
|
\
\
|
|
/
|
/
|
|
*
add pos_companions to the suite
Sarunas Valaskevicius
2015-09-25
1
-0
/
+1
|
*
remove unused code
Sarunas Valaskevicius
2015-09-25
1
-7
/
+0
|
/
*
Merge pull request #802 from dotty-staging/change-hk-1
odersky
2015-09-25
24
-239
/
+1102
|
\
|
*
Fixes to comments suggested by reviewer
Martin Odersky
2015-09-21
2
-10
/
+10
|
*
Eta expand $apply projected types if needed
Martin Odersky
2015-09-21
7
-16
/
+677
|
*
Move failing test to pending.
Martin Odersky
2015-09-18
1
-3
/
+3
|
*
Avoid orphan RefinedThis types in glb/lub.
Martin Odersky
2015-09-18
2
-3
/
+3
|
*
Keep track of parameter bounds in LambdaAbstract and EtaReduce
Martin Odersky
2015-09-18
1
-11
/
+66
|
*
Disallow wildcard arguments to higher-kinded types...
Martin Odersky
2015-09-18
4
-2
/
+74
|
*
Generalize eta reduction to partially applied types.
Martin Odersky
2015-09-18
2
-2
/
+13
|
*
Fix problem in typeParams
Martin Odersky
2015-09-18
2
-13
/
+8
|
*
Rewrite compareHK to be kind-correct
Martin Odersky
2015-09-18
2
-9
/
+13
[next]