aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Move to macro-based logging checks in the C++ codeMarijn Haverbeke2011-04-0718-237/+254
| | | | | No functions should be called for log statements that turn out to be inactive.
* rustc: Pointer cast when autodereferencing boxed tag typesPatrick Walton2011-04-071-1/+13
|
* rustc: Use the name "opaque_tag", not "tag", for opaque tagsPatrick Walton2011-04-071-1/+1
|
* Support for self-calls that take arguments.Lindsey Kuper2011-04-079-41/+120
| | | | | | | Nicer parsing of self-calls (expr_self_method nodes inside expr_call nodes, rather than a separate expr_call_self) makes typechecking tractable. We can now write self-calls that take arguments and return values (see: test/run-pass/obj-self-*.rs).
* Add a very basic crate-dump utilityMarijn Haverbeke2011-04-072-2/+73
| | | | | 'rustc -ls [cratelib]' will now dump out a list of symbols defined by the crate, as well as a short description of what they are.
* Fix problem in metadata writerMarijn Haverbeke2011-04-071-0/+4
| | | | | | It was creating non-multiple-of-four section sizes, which, for some reason, presumably by LLVM, were clipped, rather than padded, to be a multiple of four.
* Revise EBML reader APIMarijn Haverbeke2011-04-073-280/+201
| | | | New one is less stateful, easier to work with.
* rustc: Remove useless call to type_of() in trans_rec()Patrick Walton2011-04-071-1/+0
|
* "xfail-stage0", not "XFAIL-stage0"Patrick Walton2011-04-071-1/+1
|
* XFAIL lib-option.rs in stage0 due to crash on Darwin on tinderboxPatrick Walton2011-04-071-0/+1
|
* Fix effect on deref-lvalPatrick Walton2011-04-071-1/+1
|
* rustc: Allow dereference expressions to be used as lvalues. Add a test case.Patrick Walton2011-04-072-20/+32
|
* Add a -O option and change the Makefile to use it.Rafael Ávila de Espíndola2011-04-072-10/+16
|
* rustc: Reindent line. Puts out burning tinderbox.Patrick Walton2011-04-071-2/+2
|
* rustc: Link to external tag discriminants. Un-XFAIL test/run-pass/lib-option.rs.Patrick Walton2011-04-072-46/+53
|
* Merge branch 'master' of github.com:graydon/rustPatrick Walton2011-04-0716-137/+442
|\
| * Run optimizations.Rafael Ávila de Espíndola2011-04-072-5/+100
| | | | | | | | | | It is always on for now just to make sure the bots are happy. If they are, I will add a -O option and update the makefile.
| * Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-0615-132/+342
| | | | | | | | | | | | | | | | | | It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway.
* | Merge branch 'master' of github.com:graydon/rustPatrick Walton2011-04-0613-218/+705
|\|
| * Minimal testcase for next bootstrap blocker.Graydon Hoare2011-04-061-0/+6
| |
| * Remove reference to nonexistent ast.module from typestate_check.rs, stage1 ↵Graydon Hoare2011-04-061-1/+0
| | | | | | | | doesn't like it.
| * Brute force and ignorance workaround for tag-and-generic-obj; un-XFAIL it.Graydon Hoare2011-04-052-2/+3
| |
| * Add new minimal test for current blocker on bootstrapping.Graydon Hoare2011-04-051-0/+12
| |
| * More work on typestate. Sketched out code for computing and checking ↵Tim Chevalier2011-04-064-80/+508
| | | | | | | | prestates and poststates. Still a long ways away.
| * Last pieces of self-call support.Lindsey Kuper2011-04-053-6/+37
| | | | | | | | | | | | | | | | The last few pieces of the hack that lets us use trans.trans_call() to translate self-calls, plus a fix for the parser buy that was preventing self-call expressions from getting past parsing. test/run-pass/obj-self.rs works now (as in it actually prints "hi!" twice!).
| * Further on the path toward self-awareness.Lindsey Kuper2011-04-057-118/+99
| | | | | | | | | | | | | | | | | | | | | | | | | | Mostly: * Merciless refactoring of trans.rs so that trans_call can work for self-calls as well as other kinds of calls Also: * Various changes to go with having idents, rather than exprs, in expr_call_self AST nodes * Added missing case for SELF token to token.to_str()
| * FIx native wrapper generation to handle more arg types.Graydon Hoare2011-04-051-3/+23
| |
| * Oops -- if we're going to use the pretty-printer, we need it to work.Lindsey Kuper2011-04-051-0/+5
| |
| * Knocking out a quick fixme: pretty-printing exprs in error messages.Lindsey Kuper2011-04-051-2/+3
| |
| * Make box prefix operator and box type carry mutability flag.Graydon Hoare2011-04-045-14/+17
| |
* | rustc: Make type_of() return the type of the wrapper for native functions. ↵Patrick Walton2011-04-031-4/+4
|/ | | | lib-map now compiles, but fails to work properly.
* Begin comparing vectors from the correct addressBrian Anderson2011-04-031-1/+1
| | | | Start at the first element instead of the address of the vector.
* Change rust_vec to have a 16-byte header, to 16-byte-align vec-body data. ↵Graydon Hoare2011-04-026-7/+14
| | | | Major perf win.
* Add more tests for alt expressionsBrian Anderson2011-04-023-2/+111
|
* Add FIXMEs around type handling in trans_if, trans_altBrian Anderson2011-04-021-0/+2
|
* Join the results of alt arms so alt can be used as an expression.Brian Anderson2011-04-022-13/+18
| | | | Un-XFAIL expr-alt.rs.
* Make join_results branch into the join block even when only one edge is live.Brian Anderson2011-04-021-6/+0
| | | | | | I don't don't totally understand the implications of this but it makes the behavior consistent for all live edges, which is going to make joining the arms of an alt expression work correctly.
* Fail on non-exhaustive alt matchesBrian Anderson2011-04-021-3/+3
|
* Terminate fail blocks by making their ends unreachable.Brian Anderson2011-04-021-3/+3
| | | | This will make implementing default alt arms simpler.
* Write typarams for variants. Typecheck gets as far as ty.rs now.Graydon Hoare2011-04-011-2/+4
|
* Encode ty_native ebml node for native types so typechecker has something to ↵Graydon Hoare2011-04-011-0/+1
| | | | work with.
* Remove typestate_check reference to nonexistent ast.init node; rustc ↵Graydon Hoare2011-04-011-1/+0
| | | | compiling itself notices what rustboot did not :)
* Re-enable typestate_check in build, was lost during merge. Sorry.Graydon Hoare2011-04-013-2/+3
|
* Support for passing native types through metadata/creader.Graydon Hoare2011-04-012-1/+5
|
* Comment out import for not-yet-compiling typestate_check.Graydon Hoare2011-04-011-1/+1
|
* Guh. Actually commit the staged undo-of-indentation. Forgotten git staging ↵Graydon Hoare2011-04-011-56/+56
| | | | wins again.
* Switch private linkage to local, re-indent trans.rs.Graydon Hoare2011-04-011-70/+70
|
* rustc: Write symbols for native items into the crate metadataPatrick Walton2011-04-011-0/+1
|
* rustc: Don't try to write symbols into the metadata for nullary tags. Puts ↵Patrick Walton2011-04-011-1/+3
| | | | out burning tinderbox.
* rustc: Get tag variants from the crate metadataPatrick Walton2011-04-014-16/+78
|