about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-06-03More comments.Lindsey Kuper-0/+17
2011-06-03Comments and cleanup.Lindsey Kuper-31/+64
2011-06-03Add spans to fields, args, methods. Improve pp of same.Graydon Hoare-38/+40
2011-06-03Tidy up printing of ty_fn.Graydon Hoare-1/+5
2011-06-03Parse pointers in metadata.Rafael Ávila de Espíndola-0/+1
2011-06-03Boilerplate for pointers. Sorry for missing this on the first patch.Rafael Ávila de Espíndola-0/+20
2011-06-03Accept *foo as a pointer to foo.Rafael Ávila de Espíndola-0/+6
This is accepted everywhere, since just passing a pointer is safe.
2011-06-02Removing redundant "fail"s.Lindsey Kuper-19/+8
2011-06-02rustc: Typecheck patterns from the top down; remove pushdown_patPatrick Walton-156/+72
2011-06-02Handle _|_ values properly in transTim Chevalier-4/+9
Generate an LLVMUndef value of the proper type for an argument of type _|_. Otherwise we get an LLVM assertion failure.
2011-06-02Fix unification bugTim Chevalier-1/+2
Hello from SFO Terminal 3! unify_fn_common had the expected and actual types reversed in one place. This was causing the type of an occurence of a function f with type fn(int) -> T to be set to fn(_|_) -> T at a call site like f(fail); I think this was also making some of the type error messages come out backwards, but I haven't checked. Also: ty_bot does not contain pointers
2011-06-02Merge pull request #450 from paulstansifer/quick_error_message_fix_2Patrick Walton-0/+14
Flatten functions and objects in trans::simplify_type.
2011-06-02Flatten functions and objects in trans::simplify_type.Paul Stansifer-0/+14
2011-06-02Pretty-print literals exactly as we saw them in the source.Graydon Hoare-35/+91
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-13/+8
2011-06-02Error message, instead of segfault, when recursive types are used.Paul Stansifer-3/+31
2011-06-02rustc: Print node IDs for more types of nodesPatrick Walton-0/+27
2011-06-02rustc: Tiny style fix in pprust::rust_printerPatrick Walton-1/+1
2011-06-01rustc: Add a new mode to the pretty printer that prints out node IDs, for ↵Patrick Walton-5/+27
debugging
2011-06-01rustc: Remove else-after-return in mainPatrick Walton-21/+21
2011-06-01rustc: Fold --pretty and --typed-pretty into a single option with an ↵Patrick Walton-17/+39
optional argument
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 ↵Tim Chevalier-147/+473
actual support yet, just infrastructure.
2011-06-01Add a few more to_str functionsTim Chevalier-4/+6
2011-06-01Allow constraint args to be literalsTim Chevalier-0/+1
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-01Permit breaking before fn args block.Graydon Hoare-0/+1
2011-06-01Comments.Lindsey Kuper-0/+8
2011-06-01More tweaks to comment preservation rules.Graydon Hoare-70/+98
2011-06-01Print iters as iters not fns.Graydon Hoare-6/+11
2011-06-01Add a space after @mutable.Graydon Hoare-1/+1
2011-06-01Print ty_bot properly.Graydon Hoare-1/+1
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 ↵Rafael Ávila de Espíndola-3/+6
implemented, avoid using it for now. Instead, mark pairs that are not needed elsewhere as internal.
2011-06-01Move brace/if/for/while/do/alt/spawn exprs into bottom_expr rule.Graydon Hoare-23/+19
2011-06-01Bug fixes to pprust.Graydon Hoare-2/+3
2011-06-01Buffer pending whitespace in printer so as not to introduce trailing ↵Graydon Hoare-8/+17
whitespace lines.
2011-06-01Support printing globs.Graydon Hoare-0/+10
2011-06-01Slightly more aggressive about inserting whitespace. Getting frustrated with ↵Graydon Hoare-9/+25
comments.
2011-06-01Comments and cleanup.Lindsey Kuper-22/+49
2011-05-31Now imports are not re-exported unless 'export' is explicitly used.Paul Stansifer-227/+67
2011-05-31Give up on use of huge_word for comments. Still not formatting quite right, ↵Graydon Hoare-16/+9
but closer.
2011-05-31Fix pretty printer for move.Michael Sullivan-1/+1
2011-05-31Support move as an initializer.Michael Sullivan-1/+18
2011-05-31Implement move semantics.Michael Sullivan-4/+42
2011-05-31Insert plumbing for move that behaves just like assign.Michael Sullivan-0/+81
2011-05-31Teach the compiler to understand yield and join, as well as using task as a ↵Eric Holk-2/+6
type name.