about summary refs log tree commit diff
path: root/src/comp/middle/ty.rs
AgeCommit message (Expand)AuthorLines
2012-03-02Move src/comp to src/rustcGraydon Hoare-2400/+0
2012-02-24Encode/decode AST into metadata, re-instantiate inlined itemsNiko Matsakis-0/+5
2012-02-23Make sure fold_ty preserves associated def_idsMarijn Haverbeke-0/+4
2012-02-21Clean up unification codeMarijn Haverbeke-328/+116
2012-02-21Clean up some FIXMEs in middle:: modulesMarijn Haverbeke-25/+13
2012-02-20More work on typechecking classesTim Chevalier-1/+0
2012-02-20Further work on resolving and typechecking classesTim Chevalier-3/+16
2012-02-15make mut a keyword synonymous with mutableNiko Matsakis-27/+30
2012-02-13Track purity/unsafety of iface and impl methodsMarijn Haverbeke-1/+4
2012-02-11core: Change the argument order for vec::contains, vec::countBrian Anderson-1/+1
2012-02-11core: Rename vec::member to vec::contains to match str modBrian Anderson-1/+1
2012-02-10create serialization lib and update serializer to use itNiko Matsakis-1/+1
2012-02-10use absolute names when pretty-printing typesNiko Matsakis-14/+15
2012-02-10put serializer into the build and encode full item pathsNiko Matsakis-0/+39
2012-02-10create serializer project which autogenerates serialization codeNiko Matsakis-1/+15
2012-02-10Represent boxed ifaces in a way similar to functionsMarijn Haverbeke-2/+2
2012-02-09Further WIP on classesTim Chevalier-2/+17
2012-02-09Fix various bugs in monomorphizationMarijn Haverbeke-7/+7
2012-02-09Remove some pointless importsMarijn Haverbeke-9/+1
2012-02-08Monomorphize resource and variant constructorsMarijn Haverbeke-5/+0
2012-02-07Reuse monomorphized functions for different box typesMarijn Haverbeke-83/+42
2012-02-06Make ty::t type self-sufficientMarijn Haverbeke-519/+336
2012-02-06Self types for ifacesMarijn Haverbeke-44/+19
2012-02-05don't fail if inference is not completeNiko Matsakis-0/+1
2012-02-05infer modes rather than overwriting with expected tyNiko Matsakis-17/+99
2012-02-03core: rename str::lteq to str::leTom Lee-1/+1
2012-02-03Start on in-crate monomorphizingMarijn Haverbeke-6/+3
2012-02-03Store item paths in ast_map, get rid of trans::local_ctxtMarijn Haverbeke-1/+1
2012-02-01Remove support for native typesMarijn Haverbeke-39/+9
2012-01-31Change option::t to optionTim Chevalier-14/+14
2012-01-31Require alts to be exhaustiveTim Chevalier-16/+39
2012-01-31Move walk_ty to stack closureMarijn Haverbeke-40/+25
2012-01-30Substitute type parameters more eagerlyMarijn Haverbeke-56/+11
2012-01-30Revert self typesMarijn Haverbeke-13/+18
2012-01-27Make occurs check in ty::fixup_vars more reliableMarijn Haverbeke-11/+19
2012-01-27Properly check enum types for recursionMarijn Haverbeke-0/+1
2012-01-26Allow operator overloading of the indexing operatorMarijn Haverbeke-3/+4
2012-01-26Remove ty_native_fnMarijn Haverbeke-58/+4
2012-01-25Implement implicit self type parameters for ifacesMarijn Haverbeke-20/+15
2012-01-25Rename tag to enum throughout the compilerMarijn Haverbeke-45/+45
2012-01-23s/block()/fn()/gNiko Matsakis-5/+4
2012-01-19rustc: ";" to "," in enumsPatrick Walton-60/+60
2012-01-19rustc: "tag" -> "enum"Patrick Walton-14/+14
2012-01-19Remove support for the '.' after a nullary tag in a patternTim Chevalier-1/+1
2012-01-18Remove '.' after nullary tags in patternsTim Chevalier-159/+159
2012-01-18remove align_mode and rewrite GEP_tup_like to align correctlyNiko Matsakis-2/+3
2012-01-18correct use of GEP_tup_like in closure constrNiko Matsakis-6/+2
2012-01-17Merge pull request #1544 from kevina/issue-1393Graydon Hoare-2/+2
2012-01-17encode variant names and have log print them out.Niko Matsakis-2/+3
2012-01-17Allow omission of the '.' after nullary tag patternsTim Chevalier-14/+23