about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2011-06-02Fix unification bugTim Chevalier-1/+2
2011-06-02Merge pull request #450 from paulstansifer/quick_error_message_fix_2Patrick Walton-0/+14
2011-06-02Flatten functions and objects in trans::simplify_type.Paul Stansifer-0/+14
2011-06-02Refactor make_fp_cmp_glue and make_integral_cmp_glue into one.Lindsey Kuper-73/+95
2011-06-02Implement pcwalton's code review suggestions.Paul Stansifer-12/+7
2011-06-02Error message, instead of segfault, when recursive types are used.Paul Stansifer-3/+23
2011-06-01Improve type error message for non-constructor in patternTim Chevalier-2/+2
2011-06-01Redo typestate-related data structures to support predicate constraints. No a...Tim Chevalier-147/+410
2011-06-01Use span_err instead of err. Fixes issue #444.Lindsey Kuper-3/+2
2011-06-01rustc: Remove rustboot workaround from walk::default_visitor()Patrick Walton-48/+30
2011-06-01rustc: Allow walking over patternsPatrick Walton-0/+8
2011-06-01Comments.Lindsey Kuper-0/+8
2011-06-01Don't create an empty section.Rafael Ávila de Espíndola-3/+3
2011-06-01Visibility is an ELF concept and protected visibility is not very well implem...Rafael Ávila de Espíndola-3/+6
2011-06-01Comments and cleanup.Lindsey Kuper-22/+49
2011-05-31Now imports are not re-exported unless 'export' is explicitly used.Paul Stansifer-213/+32
2011-05-31Support move as an initializer.Michael Sullivan-0/+8
2011-05-31Implement move semantics.Michael Sullivan-4/+42
2011-05-31Insert plumbing for move that behaves just like assign.Michael Sullivan-0/+68
2011-05-31Teach the compiler to understand yield and join, as well as using task as a t...Eric Holk-1/+3
2011-05-31rustc: Teach rustc to use block results as fn return values. Closes #372Brian Anderson-3/+54
2011-05-31Move rust_vec_append_glue to rt.Rafael Ávila de Espíndola-142/+0
2011-05-31Consolidate formatting functions a bit more.Graydon Hoare-11/+13
2011-05-31Add span to field to catch per-field comments in rec exprs.Graydon Hoare-11/+12
2011-05-31Start finishing up the rust_start signature transition.Rafael Ávila de Espíndola-1/+1
2011-05-31Have blocks return their result by writing to a reserved spaceMarijn Haverbeke-71/+103
2011-05-31rustc: Remove unneeded type params from alt patternsBrian Anderson-236/+236
2011-05-31rustc: Pushdown type params for tag patterns. Closes #363Brian Anderson-4/+14
2011-05-27In pre/postcondition computation, failing calls should set the postconditionTim Chevalier-3/+12
2011-05-27change commentTim Chevalier-3/+3
2011-05-27Fix two typestate bugsTim Chevalier-8/+11
2011-05-27Lots of comments, and some more descriptive names.Lindsey Kuper-55/+202
2011-05-27Check the declaration type in a for loop against the sequence typeTim Chevalier-15/+39
2011-05-27add a function that returns the type of a local declTim Chevalier-0/+11
2011-05-27Generating names for wrappers, removed extra loggingEric Holk-35/+5
2011-05-27Switched calling conventions so that spawn with multiple arguments works.Eric Holk-6/+5
2011-05-27Switching over to wrappers for spawning functions of multiple arguments. Does...Eric Holk-42/+114
2011-05-27Removing excessively verbous logging.Eric Holk-37/+0
2011-05-27Programs using spawn terminateEric Holk-0/+17
2011-05-27Working on 2 argument spawn. The arguments seem to be copied correctly once, ...Eric Holk-3/+1
2011-05-27Arguments seem to be correctly passed to child processes now.Eric Holk-10/+13
2011-05-27New tasks run, but their arguments get lost and something ends up in an infin...Eric Holk-2/+6
2011-05-27Use annotations on blocksTim Chevalier-10/+9
2011-05-26Make _|_ unify with anythingTim Chevalier-12/+9
2011-05-27Handle circularity in glob imports in a more elegant fashion.Paul Stansifer-75/+87
2011-05-27Add a map from def_id s to items in resolve::env.Paul Stansifer-1/+24
2011-05-27Fix bugs: make sure glob imports show up in the right module,Paul Stansifer-65/+92
2011-05-27"import module::*;" now works.Paul Stansifer-54/+69
2011-05-27Part one of adding globbing to resolve.rs: build up glob links. (Part two wil...Paul Stansifer-21/+119
2011-05-26More delicious dead code removal from runtime, upcalls.Graydon Hoare-65/+8