aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/metadata.rs
Commit message (Collapse)AuthorAgeFilesLines
* Extend crate format to allow multiple definitions for a single nameMarijn Haverbeke2011-05-131-8/+8
| | | | | The type/value namespace distinction pretty much works now. Module namespace is up next.
* Downcase std modules again, move to :: for module dereferencingMarijn Haverbeke2011-05-121-257/+257
| | | | This should be a snapshot transition.
* Change module dereference syntax from . to ::Marijn Haverbeke2011-05-121-1/+1
| | | | This will need to be a snapshot.
* Rewrite comp/middle/resolve.rsMarijn Haverbeke2011-05-111-1/+1
| | | | | | | | | * Cleans up the algorithm * Move first pass to walk (second still folds) * Support part of a type/value namespace split (crate metadata and module indices still need to be taught about this) * Remove a few blatant inefficiencies (import tables being recreated for every lookup, most importantly)
* rustc: Cache intermediate results of metadata.Encode.ty_str. Shaves 30% off ↵Patrick Walton2011-05-101-1/+13
| | | | translation time.
* Alias-ify walk, typeck, metadata. Cuts another 80kb off rustc.Graydon Hoare2011-05-091-37/+38
|
* rustc: Alias fix part 1 -- Separate out AST modes from typechecker modes, ↵Patrick Walton2011-05-091-1/+1
| | | | and introduce an "either value or alias" mode
* Rename std modules to be camelcasedMarijn Haverbeke2011-05-061-137/+137
| | | | (Have fun mergining your stuff with this.)
* rustc: Add Rust intrinsic support to the crate metadata reader and writerPatrick Walton2011-05-051-0/+3
|
* Add a structure for passing option flags around the compiler, put it in ↵Graydon Hoare2011-05-041-2/+2
| | | | session, and use it.
* rustc: Refactor metadata.Encode.* to not require a type abbreviation table ↵Patrick Walton2011-05-031-35/+48
| | | | if abbreviation isn't enabled
* Un-revert "Use different syntax for checks that matter to typestate", fixing ↵Patrick Walton2011-05-021-1/+1
| | | | | | the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.
* Revert "Use different syntax for checks that matter to typestate"Graydon Hoare2011-05-021-1/+1
| | | | This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet.
* Use different syntax for checks that matter to typestateTim Chevalier2011-05-021-1/+1
| | | | | | | | | | This giant commit changes the syntax of Rust to use "assert" for "check" expressions that didn't mean anything to the typestate system, and continue using "check" for checks that are used as part of typestate checking. Most of the changes are just replacing "check" with "assert" in test cases and rustc.
* Don't emit metadata unless compiling -shared.Graydon Hoare2011-04-291-4/+7
|
* Intern metadata while writing, shrink stage1 from 12mb to 5.7mb.Graydon Hoare2011-04-291-70/+138
|
* rustc: Use the abbreviated type names to avoid LLVM bitcode size explosionPatrick Walton2011-04-251-3/+2
|
* rustc: Pass a "type context" around instead of directly passing the type ↵Patrick Walton2011-04-251-5/+5
| | | | store; prep for removing type annotations
* rustc: Thread the type store through everything that needs to access type ↵Patrick Walton2011-04-221-13/+14
| | | | structures
* rustc: Move the type serialization logic to an Encode modulePatrick Walton2011-04-221-96/+104
|
* rustc: Switch @ty.t to ty.t so that we can change it to a uintPatrick Walton2011-04-221-4/+4
|
* rustc: Eliminate the direct use of ty.t.structPatrick Walton2011-04-221-1/+1
|
* rustc: Pass a type store around, which does nothing yetPatrick Walton2011-04-211-1/+1
|
* rustc: Precompute type hashesPatrick Walton2011-04-201-0/+5
|
* rustc: Remove all uses of plain_ty() and friends from outside of ty.rsPatrick Walton2011-04-201-1/+1
|
* Remove effect system from src.Graydon Hoare2011-04-191-5/+5
|
* rustc: Switch to indices for type parametersPatrick Walton2011-04-121-16/+13
|
* 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.
* 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.
* 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-011-9/+24
|
* rustc: Add a type annotation to tag itemsPatrick Walton2011-03-311-2/+3
|
* rustc: Write out a path index as wellPatrick Walton2011-03-311-59/+117
|
* rustc: Index only the local part of definition IDsPatrick Walton2011-03-311-16/+21
|
* rustc: Write out an index of definition info in crate metadataPatrick Walton2011-03-311-30/+100
|
* Improve line comment positioningMarijn Haverbeke2011-03-311-7/+7
| | | | This involved making ast.variant spanned.
* rustc: Thread an item-to-type mapping throughout the typechecking and ↵Patrick Walton2011-03-301-6/+22
| | | | translation phases
* rustc: Parse parameter IDs in external crate metadata. Un-XFAIL lib-bitv.rs.Patrick Walton2011-03-291-1/+1
|
* rustc: Resolve external modules and native modules to definition IDs as wellPatrick Walton2011-03-291-6/+14
|
* rustc: Remove commented out "encode_tag_variant_info" call that sneaked inPatrick Walton2011-03-281-1/+1
|
* rustc: Don't include a trailing null when writing out metadata; it corrupts ↵Patrick Walton2011-03-281-4/+5
| | | | the EBML
* rustc: Add support for calling LLVM intrinsics as native functionsPatrick Walton2011-03-281-0/+1
|
* Teach creader and metadata writer how to do ty.ty_type.Graydon Hoare2011-03-261-1/+11
|
* Support for 'float' in type signatures.Lindsey Kuper2011-03-231-0/+1
|
* rustc: Write out crate metadataPatrick Walton2011-03-231-5/+282
|
* rustc: Update type serialization and deserialization for the "mutable?" changePatrick Walton2011-03-211-5/+15
|
* rustc: Merge in type serialization and deserializationMarijn Haverbeke2011-03-211-0/+106
| | | | Signed-off-by: Patrick Walton <[email protected]>
* rustc: Add some stub metadata to each cratePatrick Walton2011-03-111-0/+29