| Age | Commit message (Collapse) | Author | Lines |
|
|
|
|
|
upcall, except that rustc segfaults.
|
|
|
|
in the case that it is not provided.
|
|
|
|
|
|
|
|
|
|
data structures
|
|
|
|
|
|
This depends on llvm's 131294.
|
|
manually inspect. Can't calculate property during interning.
|
|
start sketching the contains_pointer property on types.
|
|
|
|
doing it all at the end. This will give us better error messages.
|
|
|
|
And fix a the single screw-up in the source code it caught.
|
|
|
|
distinction from resolve.rs
|
|
|
|
and kill dead code.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and various other tidying in typestate
|
|
Added visit_fn_pre and visit_fn_post fields that get applied to
both regular functions and methods.
|
|
This required quite a bit of tiresome plumbing about of spans.
On the bright side, now other errors can be converted to span_err too.
Includes test cases.
|
|
|
|
|
|
Started by rewriting collect_locals to use walk instead of fold
|
|
arguments in a pattern
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(And remove a boatload of duplicate imports from the typestate files.)
Name collision checking in local scopes will follow soon.
|
|
|
|
during unification
|
|
|
|
generating variable IDs. 40% typechecking speedup.
|
|
|