| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
| |
|
|
|
|
|
|
| |
reverted immutable.Vector because it gave random build errors on my
machine. Fixed various tickets, updated test and check files.
|
|
|
|
|
| |
Taking a first crack at straightening out MixTypes.
|
|
|
|
|
| |
tracing code for the long haul.
|
|
|
|
|
|
| |
Added the concepts of "necessary type" and "sufficient type" to Pattern
to assist in creating sensible matching logic.
|
|
|
|
|
| |
Further iteration related to patterns and bindings.
|
| |
|
|
|
|
|
|
|
| |
Created PatternVarGroup to hold a sequence of patternvars. Soon all
the variable binding code will be swallowed and each action related to
variables will happen at one location only.
|
| |
|
|
|
|
|
|
|
|
|
| |
In the same way that raw Trees are giving way to Patterns, raw Symbols
(and accompanying ValDef trees) are being replaced by PatternVars. Once
these are both used consistently a number of bugs will vanish with a
puff of smoke, as they are caused by inconsistencies which need not ever
be allowed to occur.
|
|
|
|
|
|
| |
Improving tracing output, and more code organization to hide the
uninteresting bits.
|
|
|
|
|
| |
reverted changes from r19034 due to jvm/sync-var.scala failing
|
|
|
|
|
| |
made scala.collection.Vector create immutable vectors by default
|
|
|
|
|
|
|
|
|
|
| |
bits into the SequencePattern class, which took me an eternity because
the current logic only worked because of bugs in the pattern matcher
which allowed a non-matching case to match anyway. Trust me, you do not
want to debug that sort of thing. I wonder how much of the compiler
would stop working if I magically fixed all the matcher bugs at once,
and long dormant logic suddenly lurched to life...
|
|
|
|
|
|
|
|
| |
Further centralized all temporary variable creation. Tracked down
multiple places where var allocation and assignment had been fragilely
divorced and arranged for reconciliation. Almost have every Rule using
the cond/success/failure interface.
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
Starting the process of properly encapsulating the temporary variables
created during pattern match translation.
|
| |
|
|
|
|
|
|
| |
Breaking down the matcher's various Mix* classes into direct expressions
of condition/success/failure.
|
|
|
|
|
| |
Don't fold List.apply() to Nil in presentation mode.
|
|
|
|
|
|
|
| |
Amazing how much code becomes unnecessary when you use immutable data
wherever you can. Continuing to break down the last few environments
inside the pattern matcher which bugs find hospitable.
|
|
|
|
|
|
| |
Fix for a race condition when starting an Actor while its
ForkJoinScheduler is shutting down.
|
| |
|
|
|
|
|
| |
removing jvm5 stuff from trunk, now in branches/jvm5
|
|
|
|
|
|
|
| |
Moved yet more stuff out of ParallelMatching, and began the painful
process of peeling away the variable bindings code far enough to see
what is going wrong down there.
|
|
|
|
|
|
|
| |
Make the positions of the children of an Import transparent so that
the interactive compiler will always find the Import rather than the
children.
|
|
|
|
|
|
| |
Reworked exhaustiveness checking yet further, and moved it and some
other pieces into their own file.
|
|
|
|
|
|
|
| |
1) Removed a bunch of unnecessary calls to the typer. 2) Reworked
exhaustiveness checking so I can tell what it's doing. 3) Cruft falls
away left, right, and center.
|
|
|
|
|
| |
Added aliases for Vector and Traversable to scala package object.
|
|
|
|
|
|
|
|
|
| |
Renamed identifier pats to pmatch to reduce ambiguity, and implemented
generic precondition machinery for testing whether a pattern should
even be attempted. This is like a complement to guards (though not user
expressable) and is a key to fixing some of the longer standing matcher
bugs.
|
|
|
|
|
|
|
| |
Looked through the .disabled tests which are still under files (as
opposed to those moved to disabled.) Brought some back to life, put a
stake through the heart of others, left two as they were.
|
| |
|
|
|
|
|
|
| |
Switched to using .narrow where possible instead of constructing
singleton types by hand.
|
| |
|
| |
|
|
|
|
|
| |
Finishing up a bit of treegen I had left in mid-refactor.
|
| |
|
|
|
|
|
| |
Disabling another test trying to unhang the test suite.
|
|
|
|
|
|
|
| |
Retains Import nodes until the typers phase so that they are available
to interactive compiler clients and other AST users. Adds position
information to imported names and renames.
|
| |
|
| |
|
|
|
|
|
|
| |
Moved a pile of passing tests from pending to files, fixed some untesty
tests, and will now close the associated tickets.
|
| |
|
|
|
|
|
| |
More revealing error message for the crasher in #2433.
|
| |
|
|
|
|
|
|
| |
Getting variable binding bits into appropriate places. Waved goodbye to
PatternNodes.
|
|
|
|
|
|
| |
Pattern matcher starting to look like code you might take home to meet
your parents.
|