about summary refs log tree commit diff
path: root/src/rustc/util
AgeCommit message (Collapse)AuthorLines
2012-04-16rewrite region resolution so it takes place in typeckNiko Matsakis-2/+1
2012-04-13add initial code re: slices to borrowing, improve ty_to_strNiko Matsakis-8/+33
2012-04-13first stab at type checking for borrow: not integrated into transNiko Matsakis-9/+27
2012-04-08Remove a FIXME note about closed issue #1001Haitao Li-1/+0
2012-04-06Convert old-style for loops to new-styleMarijn Haverbeke-9/+12
Most could use the each method, but because of the hack used to disambiguate old- and new-style loops, some had to use vec::each. (This hack will go away soon.) Issue #1619
2012-04-05add static region and also fix regions to be contravariantNiko Matsakis-0/+1
2012-04-05utilities for indented logsNiko Matsakis-0/+18
2012-04-04wip: refactor repr of regionsNiko Matsakis-8/+19
- we now distinguish bound/free parameters (see region-param test case for why this is necessary) - we also track bounds on region variables - also, restructure fold_ty() to have multiple variants without duplication instead of one overloaded folder. This also allows for using block functions.
2012-04-01Fixing issue 1919. list_dir is the more general version that returns a ↵Jonathan Sternberg-1/+1
vector with the contents of the directory. list_dir_path contains the old behavior (as a convenience function).
2012-03-26Bulk-edit mutable -> mut.Graydon Hoare-4/+4
2012-03-26Disallow ret inside of block functionsMarijn Haverbeke-12/+11
Also adds proper checking for cont/break being inside a loop. Closes #1854 Issue #1619
2012-03-23Implement new inference algorithm.Niko Matsakis-8/+9
2012-03-23rustc: Redo region inference to be a bit less brokenPatrick Walton-15/+3
2012-03-21add mut decls to rustc and make them mandatoryNiko Matsakis-12/+12
2012-03-16core: Store reexporting result and either. Closes #1997Brian Anderson-0/+1
2012-03-16rustc: Give a better error message when references involving the caller ↵Patrick Walton-1/+13
region fail to unify
2012-03-15rustc: Describe why regions failed to unify as part of the type error messagePatrick Walton-7/+7
2012-03-15rustc: Fix the AST map to actually map blocks. Also improve region error ↵Patrick Walton-9/+20
messages involving blocks.
2012-03-15rustc: Create self region bindings, and forbid the self region from being ↵Patrick Walton-0/+1
used in places it shouldn't be
2012-03-14std: Rename the hashmap constructors to conform to new standardsBrian Anderson-1/+1
Instead of using the new_ prefix just name them after their type
2012-03-13rustc: Get reference typedefs workingPatrick Walton-0/+1
2012-03-13Name types after their modules instead of 't'Brian Anderson-5/+5
2012-03-13Overhaul constructor naming in libsBrian Anderson-1/+1
2012-03-12Libc/os/run/rand/io reorganization. Close #1373. Close #1638.Graydon Hoare-46/+46
- Move io, run and rand to core. - Remove incorrect ctypes module (use libc). - Remove os-specific modules for os and fs. - Split fs between core::path and core::os.
2012-03-10In typestate, consider infinite loops w/ conts to be infiniteTim Chevalier-0/+16
If a loop { } contains a cont, that doesn't affect whether the entire loop diverges. Only breaks affect that. Fix that in typestate.
2012-03-10core: Remove the nearly empty math moduleBrian Anderson-1/+0
This mod only had two functions, all of whose users have been changed to use the uint module.
2012-03-08rustc: Stub a to-string implementation for region typesPatrick Walton-0/+8
Not too useful without region resolution yet, but there it is.
2012-03-08Rename last to last_opt, last_unsafe to lastTim Chevalier-1/+3
As per discussion on IRC. I am about to file an RFC for further discussion about the more general issue of whether to enforce invariants through types, typestate, or dynamic checks, but for now, removing the misleading name "last_unsafe".
2012-03-06Don't attach def ids to types when the type already contains the def idMarijn Haverbeke-3/+0
2012-03-05print type arguments when pretty-printing all nominal typesNiko Matsakis-2/+7
2012-03-02Move src/comp to src/rustcGraydon Hoare-0/+442