about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2011-06-09rustc: Write interior vecs and strings into the metadata and add logic for th...Patrick Walton-0/+2
2011-06-09Encode meta tags in the crate and start sketching enhanced logic for resolvin...Graydon Hoare-0/+36
2011-06-09rustc: Report type errors in terms of the actual types involved, not type var...Patrick Walton-2/+13
2011-06-09rustc: Annotate vector and string literals in the AST with their uniqueness o...Patrick Walton-13/+51
2011-06-09rustc: Add ty_istr and ty_ivec typesPatrick Walton-22/+39
2011-06-09Improve error message for wrong number of type argumentsTim Chevalier-4/+12
2011-06-09rustc: Remove comment dating back to the rustboot days from typeckPatrick Walton-1/+1
2011-06-09rustc: Remove all calls to resolve_all_vars and the function itselfPatrick Walton-27/+1
2011-06-09rustc: Remove the call to resolve_all_vars when typechecking field exprsPatrick Walton-2/+0
2011-06-09rustc: Unify with the root typesPatrick Walton-2/+3
2011-06-09Fix double import that now somehow gets caught by resolveMarijn Haverbeke-2/+0
2011-06-09Switch resolve pass to use visit.rs rather than walk.rsMarijn Haverbeke-145/+94
2011-06-09Pass ty params to visit::visit_fnMarijn Haverbeke-19/+50
2011-06-09Improve an error message in resolveTim Chevalier-3/+10
2011-06-09Start to check expr_check and expr_call constraints in typestateTim Chevalier-3/+61
2011-06-09Further support for predicate constraintsTim Chevalier-351/+384
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/+395
2011-06-09Add new visitor frameworkMarijn Haverbeke-0/+381
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-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-0/+6
2011-06-08Update rust to build with newer llvm versions.Rafael Ávila de Espíndola-0/+6
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-8/+17
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-1178/+1074
2011-06-07More work on proper linkage name-mangling. Almost right, aside from version n...Graydon Hoare-119/+72
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-157/+92
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-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/+255
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-03More comments.Lindsey Kuper-0/+17
2011-06-03Comments and cleanup.Lindsey Kuper-31/+64
2011-06-03Add spans to fields, args, methods. Improve pp of same.Graydon Hoare-15/+15
2011-06-03Boilerplate for pointers. Sorry for missing this on the first patch.Rafael Ávila de Espíndola-0/+20
2011-06-02Removing redundant "fail"s.Lindsey Kuper-19/+8
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 21:38:43 +0000