aboutsummaryrefslogtreecommitdiff
path: root/src/comp/front
Commit message (Collapse)AuthorAgeFilesLines
* Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-062-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.
* Last pieces of self-call support.Lindsey Kuper2011-04-051-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!).
* Further on the path toward self-awareness.Lindsey Kuper2011-04-053-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()
* Make box prefix operator and box type carry mutability flag.Graydon Hoare2011-04-042-3/+7
|
* Support for passing native types through metadata/creader.Graydon Hoare2011-04-011-0/+2
|
* rustc: Get tag variants from the crate metadataPatrick Walton2011-04-011-6/+49
|
* Started adding support for typestate checking.Tim Chevalier2011-04-013-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.
* rustc: Add a type annotation to tag itemsPatrick Walton2011-03-312-4/+5
|
* rustc: Use the path index. Speeds up compilation a lot.Patrick Walton2011-03-311-91/+48
|
* rustc: Write out a path index as wellPatrick Walton2011-03-311-8/+7
|
* Couple minor bug fixes in creader, lib-bitv, int, rand, sort, sha1, uint and ↵Graydon Hoare2011-03-311-0/+8
| | | | vec all work.
* rustc: Use the crate index to look up defsPatrick Walton2011-03-311-29/+26
|
* rustc: Write out an index of definition info in crate metadataPatrick Walton2011-03-311-10/+9
|
* Remove redundant parser logic.Brian Anderson2011-03-311-33/+0
| | | | These cases are all dealt with in parse_expr_inner.
* handle unterminated block comments and line comment at eofMarijn Haverbeke2011-03-311-4/+9
|
* Improve line comment positioningMarijn Haverbeke2011-03-312-6/+11
| | | | This involved making ast.variant spanned.
* Support break and cont in pretty-printerMarijn Haverbeke2011-03-311-0/+2
|
* Add effect field to ast.ty_fn.Marijn Haverbeke2011-03-312-15/+13
| | | | Still not used, except by the pretty-printer.
* Preserve comments when pretty-printing.Marijn Haverbeke2011-03-312-1/+83
| | | | | The patch also includes a number of smaller fixes to the pretty-printer that were encountered on the way.
* rustc: Read 'y' tags from external cratesPatrick Walton2011-03-301-6/+10
|
* rustc: Thread an item-to-type mapping throughout the typechecking and ↵Patrick Walton2011-03-303-7/+35
| | | | translation phases
* rustc: Parse parameter IDs in external crate metadata. Un-XFAIL lib-bitv.rs.Patrick Walton2011-03-291-6/+12
|
* rustc: Partially resolve external module importsPatrick Walton2011-03-291-16/+16
|
* rustc: Tolerate def id tags inside module tags. Fixes metadata reading.Patrick Walton2011-03-291-32/+33
|
* Beginnings of support for magical self prefix; nothing profound happening yet.Lindsey Kuper2011-03-294-1/+19
|
* Ignore 'mutable foo' in plain field contexts.Graydon Hoare2011-03-291-0/+6
|
* rustc: Resolve external modules and native modules to definition IDs as wellPatrick Walton2011-03-291-5/+8
|
* Teach trans to emit undefined references to 'use'd symbols. Can compile and ↵Graydon Hoare2011-03-292-0/+39
| | | | run a simple 'use std;' example now.
* Add expr_spawn, spawn parsing, folding, typechecking, ty_taskBrian Anderson2011-03-282-0/+30
|
* rustc: Parse types in external metadataPatrick Walton2011-03-281-25/+72
|
* rustc: Populate the item types table with types of items from external ↵Patrick Walton2011-03-281-2/+1
| | | | crates; remove the redundant typeck.ty_and_params type on the way
* rustc: Resolve def ids in external cratesPatrick Walton2011-03-281-4/+61
|
* rustc: Add support for calling LLVM intrinsics as native functionsPatrick Walton2011-03-283-0/+4
|
* Add support for break and cont to rustcMarijn Haverbeke2011-03-274-0/+20
| | | | | Testing proper cleanup is hampered by https://github.com/graydon/rust/issues/293
* Teach creader and metadata writer how to do ty.ty_type.Graydon Hoare2011-03-261-0/+1
|
* rustc: Add a function to look up external item info in the item info tablePatrick Walton2011-03-251-4/+52
|
* Janitorial: move llvmext back to llvm module, as they're the same thing now.Graydon Hoare2011-03-251-7/+6
|
* rustc: Parse definition IDs from crates; add a function to parse unsigned ↵Patrick Walton2011-03-251-5/+21
| | | | ints to the standard library
* rustc: Look up names in "use"d cratesPatrick Walton2011-03-251-5/+119
|
* Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare2011-03-257-7/+7
|
* Sketch of wiring typeck up to creader.Graydon Hoare2011-03-251-0/+6
|
* Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵Graydon Hoare2011-03-257-7/+7
| | | | | | build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c.
* Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵Graydon Hoare2011-03-257-7/+7
| | | | off src root.
* Parse FP literals without coercing to int. This allows parsing 64-bitTim Chevalier2011-03-251-36/+59
| | | | | | floats. However, if someone writes a literal that can't be represented precisely in 64 bits, the front-end will accept it while the back-end will (presumably) complain.
* rustc: Store cached crate metadata in the sessionPatrick Walton2011-03-253-21/+22
|
* Update pretty printer for ports, channels, send and receiveBrian Anderson2011-03-251-0/+2
|
* Implement local declarations with receive. Un-XFAIL decl-with-recv.rs.Brian Anderson2011-03-251-6/+14
|
* Refactor ast.local to make room for initialization via recvBrian Anderson2011-03-252-4/+13
|
* make lexer unicode-aware for strings and char literalsMarijn Haverbeke2011-03-252-7/+7
|
* Start making the standard-lib utf-8 awareMarijn Haverbeke2011-03-251-3/+3
| | | | | | Finally implements _str.is_utf8, adds from_chars, from_char, to_chars, char_at, char_len, (push|pop|shift|unshift)_char. Also, proper character I/O for streams.
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-12 02:20:28 +0000