about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-04-13Add more commentary about ExtFmtBrian Anderson-14/+7
2011-04-13Add support for printing uints as lower-case hex to ExtFmt.Brian Anderson-13/+78
Begin passing an ExtFmt.RT.conv parsed format description to each of the ExtFmt.RT.conv* functions.
2011-04-13Move #fmt conversion model into ExtFmt.CT namespaceBrian Anderson-29/+28
2011-04-13rm unused importTim Chevalier-1/+0
2011-04-13Make expr_while work in typestate_checkTim Chevalier-116/+93
Also did some refactoring in typestate_check. All test cases in compile-fail that involve uninitialized vars now fail correctly! (All eight of them, that is.)
2011-04-13Fix temporary-spilling logic in trans_args, uncomment most of lib-deque.rs ↵Graydon Hoare-1/+5
(which now passes on stage0).
2011-04-13Lex numeric escapes, needed for lib-str.rs (which now passes).Graydon Hoare-13/+77
2011-04-13Enable alias analysis and the function attributes pass.Rafael Ávila de Espíndola-4/+7
The C API extension is already upstream, we can drop the local copy once the bots are updated.
2011-04-12typestate_check can now handle expr_block, expr_if, and expr_binaryTim Chevalier-161/+358
(caveat for the latter: it assumes that binary operations are strict; a TODO is to detect or and and and correctly reflect that they're lazy in the second argument). I had to add an ann field to ast.block, resulting in the usual boilerplate changes. Test cases that currently work (if you uncomment the typestate pass in the driver) (all these are under test/compile-fail): fru-typestate ret-uninit use-uninit use-uninit-2 use-uninit-3
2011-04-12rustc: Switch to indices for type parametersPatrick Walton-382/+255
2011-04-12rustc: Add "float" as a type to the pretty printerPatrick Walton-0/+1
2011-04-12Further work on typestate. Handles expr_rec and expr_assign now.Tim Chevalier-249/+536
Also changed the ts_ann field on statements to be an ann instead, which explains most of the changes. As well, got rid of the "warning: no type for expression" error by filling in annotations for local decls in typeck (not sure whether this was my fault or not). Finally, in bitv, added a clone() function to copy a bit vector, and fixed is_true, is_false, and to_str to not be nonsense.
2011-04-12Make glue always pass-by-alias and rename "scalar_or_boxed" concept to ↵Graydon Hoare-48/+73
"immediate"
2011-04-12Tighten up condition on use of opaque_tag, remove blunt hammer of alias ↵Graydon Hoare-5/+20
arg-casting in trans_args.
2011-04-12Enable more optimizations.Rafael Ávila de Espíndola-9/+10
2011-04-11Factor out creation of calls into ExtFmt.RTBrian Anderson-12/+12
2011-04-11Add support for bool, char to extfmt.Brian Anderson-0/+10
XFAIL syntax-extension-fmt in rustboot.
2011-04-11Move ExtFmt compile-time functions into their own moduleBrian Anderson-1/+1
2011-04-11Make ExtFmt call its own functions instead of others defined in stdBrian Anderson-6/+4
2011-04-11Move extfmt parsing into standard libraryBrian Anderson-210/+1
2011-04-11Move the extfmt data model into the standard library.Brian Anderson-48/+30
2011-04-11rustc: Add a uint hash functionPatrick Walton-0/+8
2011-04-11rustc: Factor out expr_ty() into expr_ann() and expr_ty()Patrick Walton-38/+45
2011-04-11Implement the "attempted dynamic environment-capture" error in rustc.Rafael Ávila de Espíndola-0/+121
2011-04-08rustc: Push down types for all expressions; add logic for recv and sendPatrick Walton-2/+26
2011-04-09Remove silly legacy glue-offset encoding, predicate runtime adjustments by ↵Graydon Hoare-48/+30
ABI. LLVM should inline most glue now.
2011-04-09Fix codemap.lookup_posMarijn Haverbeke-15/+12
Previously, it would place every single location in the first file of the crate that was parsed.
2011-04-08rustc: Rename "demand" to "pushdown" in the typechecker and explain more ↵Patrick Walton-376/+409
clearly what it's for
2011-04-09Move to single-uint file-position representation.Marijn Haverbeke-351/+413
This makes passing them around cheaper. There is now a table (see front/codemap.rs) that is needed to transform such an uint into an actual filename/line/col location. Also cleans up the span building in the parser a bit.
2011-04-09Make lexer buffer the whole fileMarijn Haverbeke-59/+66
This way, it won't have to go through a bunch of calls for each byte fetched.
2011-04-08rustc: Resolve ty_localsPatrick Walton-3/+32
2011-04-08rustc: Add the ability to fold over annotationsPatrick Walton-36/+83
2011-04-08Remove unused function.Rafael Ávila de Espíndola-17/+0
2011-04-08Remove unused function.Rafael Ávila de Espíndola-12/+0
2011-04-08fix long linesTim Chevalier-36/+30
2011-04-08Implemented computing prestates and poststates for a few expression forms.Tim Chevalier-64/+253
The typestate checker (if it's uncommented) now correctly rejects a trivial example program that has an uninitialized variable.
2011-04-07Make block results work for generic typesBrian Anderson-14/+17
I think just about every type can be used as a block result now. There's quite a proliferation of tests here, but they all test slightly different things and some are split out to remain XFAILed. The tests of generic vectors are still XFAILed because generic aliased boxes still don't work in general.
2011-04-07rustc: Pointer cast when crossing a box boundary for statically-sized ↵Patrick Walton-0/+4
elements in trans_index()
2011-04-08add a -parse-only option to rustcMarijn Haverbeke-2/+9
(undocumented, only used for profiling the parser)
2011-04-07rustc: Pointer cast when autodereferencing boxed tag typesPatrick Walton-1/+13
2011-04-07rustc: Use the name "opaque_tag", not "tag", for opaque tagsPatrick Walton-1/+1
2011-04-07Support for self-calls that take arguments.Lindsey Kuper-41/+70
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).
2011-04-07Add a very basic crate-dump utilityMarijn Haverbeke-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.
2011-04-07Fix problem in metadata writerMarijn Haverbeke-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.
2011-04-07Revise EBML reader APIMarijn Haverbeke-191/+124
New one is less stateful, easier to work with.
2011-04-07rustc: Remove useless call to type_of() in trans_rec()Patrick Walton-1/+0
2011-04-07rustc: Allow dereference expressions to be used as lvalues. Add a test case.Patrick Walton-20/+26
2011-04-07Add a -O option and change the Makefile to use it.Rafael Ávila de Espíndola-10/+16
2011-04-07rustc: Reindent line. Puts out burning tinderbox.Patrick Walton-2/+2
2011-04-07rustc: Link to external tag discriminants. Un-XFAIL test/run-pass/lib-option.rs.Patrick Walton-44/+52