aboutsummaryrefslogtreecommitdiff
path: root/src/comp
Commit message (Collapse)AuthorAgeFilesLines
...
* | | Populate default compilation environment as in rustboot.Graydon Hoare2011-03-013-7/+44
| | |
* | | Fix typo in comment.Graydon Hoare2011-03-011-1/+1
| | |
* | | Implement structured compare for rec, tup, tag. Un-XFAIL structured-compare.rs.Graydon Hoare2011-03-011-21/+55
| | |
* | | rustc: Switch from storing nullary tags as constants to storing their ↵Patrick Walton2011-03-011-22/+31
| | | | | | | | | | | | discriminants
* | | rustc: Mark tags that have subtypes with dynamic size as dynamicPatrick Walton2011-02-281-0/+7
| | |
* | | rustc: Trivial cleanup: Remove unused "arity" tagPatrick Walton2011-02-281-1/+0
| | |
* | | More complete sketch of structural compare. Still not quite working.Graydon Hoare2011-02-281-38/+115
| | |
* | | Groundwork for structural comparison. Still lacking the actual loop that ↵Graydon Hoare2011-02-282-26/+118
| | | | | | | | | | | | does it.
* | | rustc: Write tag variant discriminants into the crate as integer constantsPatrick Walton2011-02-281-1/+15
| | |
* | | Declare wrappers to the native functions and use those to createRafael Ávila de Espíndola2011-02-281-4/+28
| | | | | | | | | | | | | | | | | | | | | the fn/closure pairs. Disable native2.rs for now as we are not yet defining the wrappers and it fails to link.
* | | Update the function declarations with rust abi. A cdeclRafael Ávila de Espíndola2011-02-281-1/+12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fn write(int fd, rustrt.vbuf buf, uint count) -> int; compiles to declare i32 @write(i32, i8*, i32) and a rust fn vec_buf[T](vec[T] v, uint offset) -> vbuf; compiles to declare i8* @vec_buf(%task*, %tydesc*, %"vec[<P0:2>]", i32) which I think is the correct declaration for both :-)
* | | rustc: Make the tag info table keyed by both tag ID and type parameter. Also ↵Patrick Walton2011-02-252-14/+24
| | | | | | | | | | | | fix a bug that was causing all tags to compare equal.
* | | rustc: Eliminate the "ty_params" field from the tag infoPatrick Walton2011-02-251-6/+14
| | |
* | | rustc: Eliminate the "variants" field from the tag infoPatrick Walton2011-02-251-37/+22
| | |
* | | rustc: Make iter_structural_ty() not use the "variants" field in the tag infoPatrick Walton2011-02-251-62/+42
| | |
* | | Add a tag_variant_count() function to trans that doesn't go through the ↵Patrick Walton2011-02-251-1/+14
| | | | | | | | | | | | soon-to-be-deprecated tag info table
* | | rustc: Move all of the logic in type_of() to type_of_inner()Patrick Walton2011-02-251-38/+40
| | |
* | | Revert "rustc: Push type parameters down through alt tag patterns; add a ↵Patrick Walton2011-02-251-49/+11
| | | | | | | | | | | | | | | | | | test" due to valgrind failures This reverts commit 7a1d01effcfa5763bc62aefba40f67ad2130d28d.
* | | Fix typo in crate directive evaluator.Graydon Hoare2011-02-251-1/+1
| | |
* | | rustc: Remove FIXME obsoleted by the previous commitPatrick Walton2011-02-251-5/+0
| | |
* | | rustc: Push type parameters down through alt tag patterns; add a testPatrick Walton2011-02-251-6/+49
| | |
* | | Pass the abi of native functions all the way to codegen.Rafael Ávila de Espíndola2011-02-254-32/+51
| | |
* | | There are no native iterators (or at least they are not going to be supportedRafael Ávila de Espíndola2011-02-255-33/+38
| | | | | | | | | | | | soon.).
* | | rustc: Perform type parameter substitutions when emitting glue for generic ↵Patrick Walton2011-02-243-31/+56
| | | | | | | | | | | | tags. Un-XFAIL generic-tag.rs.
* | | Support the awful alt-else form in rustboot's cexp grammar, at least ↵Graydon Hoare2011-02-241-0/+17
| | | | | | | | | | | | transiently. Remove in the future.
* | | Connect the crate and source parsers together.Graydon Hoare2011-02-241-2/+58
| | |
* | | Handle the mutant 'let'-block directive in rustboot, temporarily.Graydon Hoare2011-02-241-0/+15
| | |
* | | Factor crate expr evaluator out of parser, expand to simple scalars and ops, ↵Graydon Hoare2011-02-244-82/+453
| | | | | | | | | | | | if, alt.
* | | Cast more aggressively to the callee type when calling generic functions. ↵Patrick Walton2011-02-241-3/+9
| | | | | | | | | | | | Add a test-case for this, and XFAIL it in rustboot.
* | | Revert "Cast more aggressively to the callee type when calling generic ↵Patrick Walton2011-02-241-3/+3
| | | | | | | | | | | | | | | | | | functions. Add a test-case for this, and XFAIL it in rustboot." due to test failures This reverts commit 0a65283c5eeae0b98fff7d213dbaad59889e677e.
* | | Cast more aggressively to the callee type when calling generic functions. ↵Patrick Walton2011-02-241-3/+3
| | | | | | | | | | | | Add a test-case for this, and XFAIL it in rustboot.
* | | Parse crate directive tree in one pass, then evaluate it in a second.Graydon Hoare2011-02-242-33/+96
| | |
* | | Implement type descriptor binding. Un-XFAIL test/run-pass/generic-bind.rs.Patrick Walton2011-02-232-19/+99
| | |
* | | Add a type for crate directives, to support intermixing with exprs in crate ↵Graydon Hoare2011-02-232-1/+17
| | | | | | | | | | | | files.
* | | Parse auth clauses, drop them on the floor. Nothing exists to use them yet ↵Graydon Hoare2011-02-231-0/+9
| | | | | | | | | | | | anyways.
* | | Use the computed abi :-(Rafael Ávila de Espíndola2011-02-231-1/+1
| | |
* | | Parse the abi in native modules.Rafael Ávila de Espíndola2011-02-233-11/+40
| | |
* | | Handle the new ty_native_fn in type check.Rafael Ávila de Espíndola2011-02-232-25/+96
| | |
* | | Teach rustc about reserved keywordsBrian Anderson2011-02-221-1/+16
| | |
* | | Rename std._io to std.io since 'io' is no longer a keywordBrian Anderson2011-02-222-3/+3
| | |
* | | rustc: Perform explicit type substitution as requested by the programmerPatrick Walton2011-02-221-0/+66
| | |
* | | Drop for-loop temporary at end of scope, fixes memory leak.Graydon Hoare2011-02-221-0/+1
| | |
* | | Add ABI tagging to crates, adjust rustc output and runtime stack-frame setup ↵Graydon Hoare2011-02-223-6/+14
| | | | | | | | | | | | so access to argv works.
* | | Rework typechecking of bind expressionsPatrick Walton2011-02-221-36/+29
| | |
* | | Finish the type of native functions. We now getRafael Ávila de Espíndola2011-02-221-2/+2
| | | | | | | | | | | | declare i32 @write(i32, i8*, i32)
* | | Find main functions buried within modules. Un-XFAIL import.rs.Graydon Hoare2011-02-211-2/+25
| | |
* | | Implement expr_put. Un-XFAIL foreach-simple.rs; iters w/o env access work.Graydon Hoare2011-02-181-2/+29
| | |
* | | Factor out the call typechecking logic so that bind can use itPatrick Walton2011-02-181-42/+101
| | |
* | | Pass correct lliterbody; can compile and run no-put iters.Graydon Hoare2011-02-181-3/+11
| | |
* | | Make a tag for iterness / fnness, teach many places about it.Graydon Hoare2011-02-186-228/+303
| | |