about summary refs log tree commit diff
path: root/src/comp/middle/resolve.rs
AgeCommit message (Expand)AuthorLines
2011-05-01Remove the search direction from resolve's fold environmentBrian Anderson-36/+31
2011-05-01Hide unexported tag variantsBrian Anderson-3/+5
2011-05-01Implement simple module exportBrian Anderson-12/+60
2011-04-19replace error logging with log_err in stdlib and rustcMarijn Haverbeke-2/+2
2011-04-12rustc: Switch to indices for type parametersPatrick Walton-21/+31
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-06Continued sketching out code for checking states against preconditions.Tim Chevalier-1/+2
2011-03-31rustc: Add a type annotation to tag itemsPatrick Walton-4/+4
2011-03-31Improve line comment positioningMarijn Haverbeke-2/+2
2011-03-30rustc: Thread an item-to-type mapping throughout the typechecking and transla...Patrick Walton-39/+60
2011-03-29rustc: Partially resolve external module importsPatrick Walton-4/+88
2011-03-25Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare-1/+1
2011-03-25Revert "Bulk-edit compile commands in emacs chatter to point to assumed build...Graydon Hoare-1/+1
2011-03-25Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare-1/+1
2011-03-25rustc: Store cached crate metadata in the sessionPatrick Walton-9/+5
2011-03-24Start hooking resolve into creater.Graydon Hoare-5/+23
2011-03-20Modify native_item_fn to handle trailing linkage names that differ from the i...Graydon Hoare-2/+2
2011-03-15rustc: Add an annotation for the crate definition to view_item_usePatrick Walton-2/+2
2011-03-11Add support for indexing tags in blocks.Rafael Ávila de Espíndola-8/+36
2011-03-10Handle resolving to native modules.Rafael Ávila de Espíndola-0/+7
2011-03-07Permit view items in native modules.Graydon Hoare-3/+11
2011-02-16More typechecking for native types and the needed plumbing in codegen.Rafael Avila de Espindola-2/+2
2011-02-14Add basic front-end support for 'for each' loops.Graydon Hoare-0/+3
2011-02-14Teach resolve about ty params on tags.Graydon Hoare-0/+8
2011-02-10Add missing fold of native functions.Rafael Avila de Espindola-12/+35
2011-02-07Add native modules to resolve. With this hello world gets to typecheck.Rafael Avila de Espindola-19/+58
2011-02-07Fix expressions with paths with more than one element.Rafael Avila de Espindola-2/+1
2011-02-04Parse function declarations.Rafael Ávila de Espíndola-1/+1
2011-01-28Correctly handle "import foo = bar.zed;".Rafael Ávila de Espíndola-6/+6
2011-01-27Simplify and fix the resolution of expr_path. With this we now get to codegenRafael Ávila de Espíndola-19/+10
2011-01-27Resolve type paths.Rafael Ávila de Espíndola-18/+3
2011-01-27Handle paths correctly. This lets us handle one more test :-)Rafael Ávila de Espíndola-13/+7
2011-01-27First step for supporting "case (foo.bar(?zed))": Change the ast ofRafael Ávila de Espíndola-5/+7
2011-01-27Correctly split a.b.c into its path and field access components.Rafael Ávila de Espíndola-12/+14
2011-01-25Print an error if we try to refer to a module in an expr_path.Rafael Ávila de Espíndola-1/+11
2011-01-25Small first step in expr_path. Call find_final_def just to detectRafael Ávila de Espíndola-24/+38
2011-01-24Remove unimplemented erorr and enable test.Rafael Ávila de Espíndola-5/+0
2011-01-24Implement a bit of type parameter matching to get a simple case working.Rafael Ávila de Espíndola-4/+0
2011-01-20Teach resolve about linear for loops.Graydon Hoare-2/+26
2011-01-19Look at the type params of an item_ty when resolving.Rafael Ávila de Espíndola-1/+8
2011-01-18Twiddle comment.Graydon Hoare-1/+1
2011-01-18One last refactoring of the import handling:Rafael Ávila de Espíndola-79/+109
2011-01-17Enable more tests.Rafael Ávila de Espíndola-1/+1
2011-01-17Fix the last known (to me) bug in import resolution. We were not properlyRafael Ávila de Espíndola-12/+27
2011-01-17Some misc cleanups:Rafael Ávila de Espíndola-25/+26
2011-01-14Fix the import handling in "complex" cases. When looking a.b.c and 'a' is aRafael Ávila de Espíndola-5/+22
2011-01-14Make lookup non recursive and instead move the recursion just toRafael Ávila de Espíndola-60/+88
2011-01-13Change single-ident expr_ident to greedy/fat multi-ident expr_path, to handle...Graydon Hoare-15/+51
2011-01-12Produce better errors for invalid imports.Rafael Ávila de Espíndola-0/+6