about summary refs log tree commit diff
path: root/src/comp/front
AgeCommit message (Collapse)AuthorLines
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-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-09Move to single-uint file-position representation.Marijn Haverbeke-319/+374
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-07Support for self-calls that take arguments.Lindsey Kuper-4/+11
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-0/+66
'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-07Revise EBML reader APIMarijn Haverbeke-191/+122
New one is less stateful, easier to work with.
2011-04-06Continued sketching out code for checking states against preconditions.Tim Chevalier-10/+11
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.
2011-04-05Last pieces of self-call support.Lindsey Kuper-1/+1
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!).
2011-04-05Further on the path toward self-awareness.Lindsey Kuper-2/+6
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()
2011-04-04Make box prefix operator and box type carry mutability flag.Graydon Hoare-3/+7
2011-04-01Support for passing native types through metadata/creader.Graydon Hoare-0/+2
2011-04-01rustc: Get tag variants from the crate metadataPatrick Walton-6/+49
2011-04-01Started adding support for typestate checking.Tim Chevalier-28/+31
I added a new field to the ast "ann" type for typestate information. Currently, the field contains a record of a precondition bit vector and postcondition vector, but I tried to structure things so as to make it easy to change the representation of the typestate annotation type. I also had to add annotations to some syntactic forms that didn't have them before (fail, ret, be...), with all the boilerplate changes that that would imply. The main call to the typestate_check entry point is commented out and the actual pre-postcondition algorithm only has a few cases implemented, though the overall AST traversal is there. The rest of the typestate algorithm isn't implemented yet.
2011-03-31rustc: Add a type annotation to tag itemsPatrick Walton-4/+5
2011-03-31rustc: Use the path index. Speeds up compilation a lot.Patrick Walton-91/+48
2011-03-31rustc: Write out a path index as wellPatrick Walton-8/+7
2011-03-31Couple minor bug fixes in creader, lib-bitv, int, rand, sort, sha1, uint and ↵Graydon Hoare-0/+8
vec all work.
2011-03-31rustc: Use the crate index to look up defsPatrick Walton-29/+26
2011-03-31rustc: Write out an index of definition info in crate metadataPatrick Walton-10/+9
2011-03-31Remove redundant parser logic.Brian Anderson-33/+0
These cases are all dealt with in parse_expr_inner.
2011-03-31handle unterminated block comments and line comment at eofMarijn Haverbeke-4/+9
2011-03-31Improve line comment positioningMarijn Haverbeke-6/+11
This involved making ast.variant spanned.
2011-03-31Support break and cont in pretty-printerMarijn Haverbeke-0/+2
2011-03-31Add effect field to ast.ty_fn.Marijn Haverbeke-15/+13
Still not used, except by the pretty-printer.
2011-03-31Preserve comments when pretty-printing.Marijn Haverbeke-1/+83
The patch also includes a number of smaller fixes to the pretty-printer that were encountered on the way.
2011-03-30rustc: Read 'y' tags from external cratesPatrick Walton-6/+10
2011-03-30rustc: Thread an item-to-type mapping throughout the typechecking and ↵Patrick Walton-7/+35
translation phases
2011-03-29rustc: Parse parameter IDs in external crate metadata. Un-XFAIL lib-bitv.rs.Patrick Walton-6/+12
2011-03-29rustc: Partially resolve external module importsPatrick Walton-16/+16
2011-03-29rustc: Tolerate def id tags inside module tags. Fixes metadata reading.Patrick Walton-32/+33
2011-03-29Beginnings of support for magical self prefix; nothing profound happening yet.Lindsey Kuper-1/+19
2011-03-29Ignore 'mutable foo' in plain field contexts.Graydon Hoare-0/+6
2011-03-29rustc: Resolve external modules and native modules to definition IDs as wellPatrick Walton-5/+8
2011-03-29Teach trans to emit undefined references to 'use'd symbols. Can compile and ↵Graydon Hoare-0/+39
run a simple 'use std;' example now.
2011-03-28Add expr_spawn, spawn parsing, folding, typechecking, ty_taskBrian Anderson-0/+30
2011-03-28rustc: Parse types in external metadataPatrick Walton-25/+72
2011-03-28rustc: Populate the item types table with types of items from external ↵Patrick Walton-2/+1
crates; remove the redundant typeck.ty_and_params type on the way
2011-03-28rustc: Resolve def ids in external cratesPatrick Walton-4/+61
2011-03-28rustc: Add support for calling LLVM intrinsics as native functionsPatrick Walton-0/+4
2011-03-27Add support for break and cont to rustcMarijn Haverbeke-0/+20
Testing proper cleanup is hampered by https://github.com/graydon/rust/issues/293
2011-03-26Teach creader and metadata writer how to do ty.ty_type.Graydon Hoare-0/+1
2011-03-25rustc: Add a function to look up external item info in the item info tablePatrick Walton-4/+52
2011-03-25Janitorial: move llvmext back to llvm module, as they're the same thing now.Graydon Hoare-7/+6
2011-03-25rustc: Parse definition IDs from crates; add a function to parse unsigned ↵Patrick Walton-5/+21
ints to the standard library
2011-03-25rustc: Look up names in "use"d cratesPatrick Walton-5/+119
2011-03-25Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare-7/+7
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 10:30:02 +0000