about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Expand)AuthorLines
2011-06-10rustc: Add missing cases for istr and ivec to equal_type_structures()Patrick Walton-0/+12
2011-06-10Fix a non-exhaustive match failure.Lindsey Kuper-0/+1
2011-06-10Merge pull request #447 from paulstansifer/quick_error_message_fixPatrick Walton-2/+25
2011-06-10rustc: Remove the bitwise not operatorPatrick Walton-14/+10
2011-06-10Dead code elimination.Lindsey Kuper-27/+0
2011-06-10Minimal comment for visit.rsMarijn Haverbeke-1/+7
2011-06-10Move some uses of walk to visit in trans.rsMarijn Haverbeke-75/+46
2011-06-10Handle mutable references in alias analysisMarijn Haverbeke-32/+78
2011-06-10Fix unsafe uses of mutable referencesMarijn Haverbeke-23/+25
2011-06-10Implement mutable/immutable alias distinction.Marijn Haverbeke-64/+98
2011-06-10Fix all occurrences of writing to immutable aliasesMarijn Haverbeke-16/+17
2011-06-09Sketching trans_anon_obj.Lindsey Kuper-7/+219
2011-06-09Revert "Encode meta tags in the crate and start sketching enhanced logic for ...Patrick Walton-147/+36
2011-06-09rustc: Write interior vecs and strings into the metadata and add logic for th...Patrick Walton-15/+21
2011-06-09Encode meta tags in the crate and start sketching enhanced logic for resolvin...Graydon Hoare-36/+147
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-45/+111
2011-06-09rustc: Add ty_istr and ty_ivec typesPatrick Walton-25/+42
2011-06-09rustc: Parse istr and ivecPatrick Walton-0/+8
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-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