| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| ... | |
| | |
|
| |
|
|
|
|
|
| |
Enhanced repl based debugger to use manifests and try to get a usable
type out of it. It works for at least a useful subset of the types which
one might want to inspect.
|
| |
|
|
|
|
| |
Fixed a couple of position bugs; made validation output a bit more
informative and readable.
|
| |
|
|
|
|
| |
Added -Yide-debug option to exercise the interactive compiler from the
command-line; made validation errors a bit more informative.
|
| | |
|
| | |
|
| |
|
|
|
|
| |
shaves for me 2-2.5 minutes off the time to run "ant test.suite" from
locker.
|
| |
|
|
|
|
|
| |
Trying to make typechecker faster by (1) new subtyping (2) better
implicit caches. Disallowed '42 as a symbol. Added cache method to
Mutable Maps. Better complietion in interactive.
|
| | |
|
| | |
|
| |
|
|
|
|
| |
Making most of the symbols in Definitions into stable identifiers.
Removed some duplication and did some organization.
|
| | |
|
| | |
|
| |
|
|
|
|
|
| |
targets the mixing rule which generates switch statements. We should
soon be generating switches for quite a few more cases than we are at
present.
|
| |
|
|
|
|
|
| |
Implementation and test cases for canEqual method in case classes. Now
the autogenerated equality method inquires with the argument as to
whether other.canEqual(this) before returning true.
|
| |
|
|
|
|
|
| |
The presently salvageable portion of my attempt to fix bugs #425 and
#816 (which I have indeed fixed, but a bazillion other test cases broke
so the fix is commented out until I can make everyone happy at once.)
|
| |
|
|
|
|
|
| |
I can no longer endure having one of the fundamental pattern matcher
variables (which incidentally holds multiple values) being named "temp".
temp -> tvars, row -> rows.
|
| | |
|
| |
|
|
|
|
| |
More on the pattern matcher: continuing to give things names I can
understand and commenting what exactly things do.
|
| |
|
|
|
|
| |
Annotations on type parameters are added to the initial symbols, not
only skolems. This fixes specialized methods
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
one long-standing bug which actually had a test case testing its
bugginess (which is to say, when I fixed the bug, the test case failed.)
This:
- def doMatch4(xs:Seq[Char]) = xs match {
- case Seq(x, y, _*) => x::y::Nil
- case Seq(x, y, z, w) => List(z,w) // redundant!
- }
...should never have compiled - which must have been recognized
on some level given the "redundant!" comment, but it never made
it into neg/.
|
| | |
|
| | |
|
| |
|
|
|
|
| |
More naming and commenting, some moving to more sensible locations, and
removing unnecessary mutability.
|
| |
|
|
|
|
| |
Implemented proposed strategy for #1503 and moved test case out of
pending (and fixed it so it didn't throw a match error.)
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
| |
Removed a pile of gratuitous implicit parameters from the pattern
matcher. Moved many things to more believable locations. Transitioned
everything in CodeFactory and deleted it.
|
| | |
|
| |
|
|
|
|
| |
In an amazing pattern matcher breakthrough, I think I actually
understand the algorithm. More giving names to things.
|
| |
|
|
|
| |
Wrote a subclass of tree printer which outputs more to my liking.
|
| |
|
|
|
|
| |
Beginnings of a tracing facility for the pattern matcher so I can see
what's going wrong inside the optimization matrix of mystery.
|
| |
|
|
|
| |
refined range positions some more; eliminated Array.withDims
|
| |
|
|
|
|
| |
Searched the TreeBuilder bathwater for the missing baby and treated him
for lazy val exposure. The kid is going to be OK.
|
| |
|
|
|
| |
Instilling a little consistency in the pattern matcher.
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
| |
Creating case classes in preference to passing around a variety of
inscrutable tuples. And, fix and test case for #1697. There remain
serious extractor issues which I hope to have fully diagnosed in the
near future.
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
Winnowing down the pattern matcher into smaller and smaller bits.
|
| |
|
|
|
|
| |
Mostly rewriting Unapplies as I work my way through all the pattern
matcher related code.
|
| | |
|
| |
|
|
|
|
| |
Restored TreeBuilder to its only-deliver-untyped-trees state. Divorced
it from TreeDSL completely actually.
|
| |
|
|
|
|
| |
Enhanced error message when a type error is because of identically named
classes, one in scala.* and one not.
|
| | |
|
| | |
|
