about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Expand)AuthorLines
2011-06-09Start to check expr_check and expr_call constraints in typestateTim Chevalier-3/+61
2011-06-09Further support for predicate constraintsTim Chevalier-609/+969
2011-06-09rustc: Add fast paths for vars and param folds. 3x typechecking speedup.Patrick Walton-61/+70
2011-06-09rustc: Don't resolve all type variables eagerly for pathsPatrick Walton-18/+25
2011-06-09Properly handle lifetime of aliases in nested blocksMarijn Haverbeke-18/+41
2011-06-09A revised, improved alias-checkerMarijn Haverbeke-150/+399
2011-06-09Some more workarounds to please the alias checkerMarijn Haverbeke-1/+2
2011-06-09Add new visitor frameworkMarijn Haverbeke-0/+382
2011-06-08rustc: Don't eagerly resolve type variables after unificationPatrick Walton-40/+59
2011-06-08rustc: Make resolve_all_vars() check to see whether the type actually has var...Patrick Walton-14/+7
2011-06-08rustc: Don't generate so many variables when typechecking functions; remove m...Patrick Walton-50/+51
2011-06-08Tidy up 'export meta' situation now that snapshot understands it.Graydon Hoare-5/+8
2011-06-08rustc: Use cnames in ty_to_str again; debugging code crept inPatrick Walton-6/+4
2011-06-08rustc: Add some miscellaneous demands that pushdown had previously caught; pu...Patrick Walton-1/+13
2011-06-08rustc: Remove pushdown. 15 second improvement.Patrick Walton-443/+30
2011-06-08Merge pull request #403 from espindola/newllvmGraydon Hoare-2/+7
2011-06-08Update rust to build with newer llvm versions.Rafael Ávila de Espíndola-2/+7
2011-06-08rustc: Remove all traces of the unification cachePatrick Walton-60/+0
2011-06-08Don't force the fetch of main.o from main.a, we are not using main.a anymore.Rafael Ávila de Espíndola-11/+0
2011-06-08Add optional message to fail.Josh Matthews-13/+36
2011-06-07rustc: Print out a real error message on unresolved types. Puts out burning t...Patrick Walton-26/+36
2011-06-07rustc: Use a set-based approach to unification; remove ty_bound_param and ty_...Patrick Walton-1179/+1075
2011-06-07More work on proper linkage name-mangling. Almost right, aside from version n...Graydon Hoare-140/+362
2011-06-07For consistency, use ctxt instead of ty_ctxt outside of unify.Lindsey Kuper-17/+17
2011-06-07Removing dead code and redundant fails; changing fails to sess.bugLindsey Kuper-158/+93
2011-06-07Don't put a copy of main (the C one) in each binary we produce. This is a stepRafael Ávila de Espíndola-56/+29
2011-06-07Add multiline, whitespace-eating strings.Josh Matthews-0/+3
2011-06-06Begin tidying up name-mangling rules.Graydon Hoare-58/+66
2011-06-06Implement enough support for pointer to get an identity function working.Rafael Ávila de Espíndola-0/+6
2011-06-06First take on an alias-safety checkerMarijn Haverbeke-0/+259
2011-06-06Change unsafe aliasesMarijn Haverbeke-48/+53
2011-06-05rustc: Make resolve::unresolved return !. Remove redundant failsBrian Anderson-8/+1
2011-06-04Adding comments; removing dead code.Lindsey Kuper-12/+18
2011-06-04Remove redundant 'fail' exprs and dead code; use sess.bug orLindsey Kuper-67/+27
2011-06-04stdlib: Use spans for #fmt errors originating in stdBrian Anderson-1/+7
2011-06-04rustc: Reenable debug logging in extfmtBrian Anderson-8/+7
2011-06-04rustc: Hide the parser from syntax extensionsBrian Anderson-9/+5
2011-06-04rustc: Generate extension annotations from ext_ctxt instead of parserBrian Anderson-65/+67
2011-06-04rustc: Add a next_ann method to ext_ctxtBrian Anderson-4/+13
2011-06-04rustc: Use spans for #env errorsBrian Anderson-5/+9
2011-06-04rustc: Report unimplemented #fmt features with spansBrian Anderson-26/+22
2011-06-04rustc: Add a span_unimpl method to ext_ctxtBrian Anderson-5/+13
2011-06-04rustc: Use spans on extfmt error messagesBrian Anderson-29/+31
2011-06-04rustc: Return the correct span from parse_seqBrian Anderson-7/+4
2011-06-04rustc: Pass the correct span to syntax extensionsBrian Anderson-1/+2
2011-06-04rustc: Introduce ext module. Move some things from parser to ext.Brian Anderson-24/+68
2011-06-03"macro" -> "syntax extension" for nowPaul Stansifer-22/+22
2011-06-03Make the macro system more modular.Paul Stansifer-75/+59
2011-06-03Remove zerobreak between foo and ( on a call expr. Never looks right.Graydon Hoare-1/+0
2011-06-03Make pp more conservative about inserting trailing comments mid-list.Graydon Hoare-7/+15