about summary refs log tree commit diff
path: root/src/comp/middle/ast_map.rs
AgeCommit message (Collapse)AuthorLines
2012-03-02Move src/comp to src/rustcGraydon Hoare-152/+0
2012-03-02restructure to better support method inliningNiko Matsakis-13/+6
2012-03-02retool inline encoding to handle methods, fix testsNiko Matsakis-0/+9
2012-02-24Encode/decode AST into metadata, re-instantiate inlined itemsNiko Matsakis-6/+26
2012-02-22Stop normalizing patternsMarijn Haverbeke-8/+14
The check for whether a pat_ident is a variant or a binding is simple and fast. Normalizing patterns again and again is slow and error-prone (several places were forgetting to do it).
2012-02-13remove leading ::, new testsNiko Matsakis-1/+1
2012-02-11correct fully qualified type names to include the crate; add tests (take 2)Niko Matsakis-1/+1
This reverts commit fc023d91c77f468211ba9f7681b4d2a6469aac74.
2012-02-11Revert prior commit until I have time to track down the valgrind errorNiko Matsakis-1/+1
This reverts commit 2ec3a0b60833736a3c0d805768885b4392c36100.
2012-02-10correct fully qualified type names to include the crate; add testsNiko Matsakis-1/+1
fixes #1745
2012-02-10put serializer into the build and encode full item pathsNiko Matsakis-0/+14
2012-02-09Remove some pointless importsMarijn Haverbeke-1/+0
2012-02-09Monomorphize methods and bounded parametersMarijn Haverbeke-2/+2
Issue #1736
2012-02-08Monomorphize resource and variant constructorsMarijn Haverbeke-0/+8
Issue #1736
2012-02-03Store item paths in ast_map, get rid of trans::local_ctxtMarijn Haverbeke-27/+42
The direct motivation for this was that the monomorphizer needs to be able to generate sane symbols for random items. The typechecker can probably also use this in the future to provide more useful error messages.
2012-01-31Require alts to be exhaustiveTim Chevalier-48/+4
middle::check_alt does the work. Lots of changes to add default cases into alts that were previously inexhaustive.
2012-01-19rustc: ";" to "," in enumsPatrick Walton-7/+7
2012-01-19rustc: "tag" -> "enum"Patrick Walton-1/+1
2012-01-17Allow omission of the '.' after nullary tag patternsTim Chevalier-2/+2
This commit allows patterns like: alt x { some(_) { ... } none { } } without the '.' after none. The parser suspends judgment about whether a bare ident is a tag or a new bound variable; instead, the resolver disambiguates. This means that any code after resolution that pattern-matches on patterns needs to call pat_util::normalize_pat, which consults an environment to do this disambiguation. In addition, local variables are no longer allowed to shadow tag names, so this required changing some code (e.g. renaming variables named "mut", and renaming ast::sub to subtract). The parser currently accepts patterns with and without the '.'. Once the compiler and libraries are changed, it will no longer accept the '.'.
2012-01-13Obj system? What obj system?Marijn Haverbeke-29/+0
Removes the obj system from the compiler. Closes #1484
2012-01-11Implement std::map as an iface/impl instead of an objMarijn Haverbeke-77/+3
2012-01-05Switch to new param kind bound syntaxMarijn Haverbeke-3/+3
And remove support for the old syntax
2012-01-05Add more item types to the ast_map so the test suite can build with debug info.Josh Matthews-0/+8
2011-12-29split proto from fn_decl, as not all fn_decls know the proto.Niko Matsakis-3/+3
this will address the (crashing) new test added.
2011-12-23Go back to a single visit_fn function in visit.rsMarijn Haverbeke-3/+3
2011-12-23Parse `iface` items and interface references in `impl` items.Marijn Haverbeke-1/+1
The (temporary) syntax is iface seq<T> { fn len() -> uint; fn iter(f: block(T)); } // The 'blah<T>' can be left of to default the name of the // impl to seq<T>. The 'of seq<T>' can be left off when // not implementing a named interface. impl blah<T> of seq<T> for [T] { fn len() -> uint { vec::len(self) } fn iter(f: block(T)) { for x in self { f(x); } } }
2011-12-22Unify some data structures in syntax::ast that were doing the same thingMarijn Haverbeke-3/+3
As a preparation to removing some duplication in typeck.
2011-12-21Make { || ... } sugar for any type of closure, inferredNiko Matsakis-4/+4
2011-12-19Fix merge error and rebasing changes for debug information.Josh Matthews-0/+1
2011-12-18Remove source line generation craziness. Ensure incorrect subprogram caches ↵Josh Matthews-1/+11
are not conflated. Generate ast_map entries for object members and resource constructors and destructors.
2011-12-16Finish resolving and calling of crate-external implsMarijn Haverbeke-0/+4
Issue #1227
2011-12-13Copy first batch of material from libstd to libcore.Graydon Hoare-1/+2
2011-11-18Update stdlib, compiler, and tests to new kind systemMarijn Haverbeke-4/+4
This involved adding 'copy' to more generics than I hoped, but an experiment with making it implicit showed that that way lies madness -- unless enforced, you will not remember to mark functions that don't copy as not requiring copyable kind. Issue #1177
2011-11-17remove compile-command from local variable blocksNiko Matsakis-1/+0
2011-11-16fix bug in shape where s_int/s_uint were not customized to platformNiko Matsakis-4/+4
2011-11-16temporarily disable these tests b/c they crash rustcNiko Matsakis-4/+4
2011-11-10Cleanup unused importsHaitao Li-1/+0
2011-10-28Make shared kind the default only for generic functionsMarijn Haverbeke-3/+3
You almost never want a function with pinned type params. For types, objects, resources, and tags, pinned types are actually often more sane. For most of these, shared rarely makes sense. Only tricky case is objs -- you'll have to think about the kinds you want there. Issue #1076
2011-10-25Update our code to new type parameter kind syntaxMarijn Haverbeke-5/+5
Closes #1067
2011-10-21Move ast_util::pat_bindings over to new iter system.Marijn Haverbeke-4/+4
Issue #1056
2011-10-21Move hash table iteration over to block-taking functionsMarijn Haverbeke-14/+20
Issue #1056
2011-10-07Parse and typecheck by-value and by-ref arg specsMarijn Haverbeke-1/+1
Add sprinkle && throughout the compiler to make it typecheck again. Issue #1008
2011-09-15Move local numbering into ast_map.rsMarijn Haverbeke-17/+42
This further simplifies the alias pass, which is sorely needed.
2011-09-14Make ast_map.rs index function args, switch it over to simple_visitorMarijn Haverbeke-12/+16
2011-09-12Factor imports mindlessly.Graydon Hoare-4/+2
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-17/+16
Long lines were fixed in a very crude way, as I'll be following up with another reformat in a bit.
2011-09-02Reformat. Issue #855Brian Anderson-3/+3
2011-08-27Convert ast::ident to istr. Issue #855Brian Anderson-3/+3
2011-08-22Move functions from syntax::ast to syntax::ast_utilBrian Anderson-4/+6
This leaves syntax::ast just defining the AST, which strikes me as somewhat nicer
2011-08-20ReformatBrian Anderson-28/+27
This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-08-18Remove or _-prefix all unused function argumentsMarijn Haverbeke-1/+1
This should make the compilation process a bit less noisy.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-31 04:03:49 +0000