about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-12-29list: use predicate to enforce non-empty requirementLenny222-2/+6
2011-12-29Box ty_param_bounds_and_tyMarijn Haverbeke-22/+22
It contains a vector, which shouldn't be copied all the time.
2011-12-28On second thought, re-land pull request #1385 with backquotes; easier to ↵Graydon Hoare-27/+27
grep, can change in the future.
2011-12-28Merge pull request #1385 from Lenny222/quotesGraydon Hoare-29/+32
Use singlequotes in the typechecker error messages too, to distinguish code and English
2011-12-28Merge pull request #1389 from erickt/masterGraydon Hoare-1/+1
misc standard library additions
2011-12-28Move the kind datatype to middle::tyMarijn Haverbeke-52/+53
The AST no longer references it.
2011-12-28Change representation of type params to handle interface boundsMarijn Haverbeke-229/+317
Issue #1227
2011-12-28comp: minor cleanup.Erick Tryzelaar-1/+1
2011-12-28Made matching machine types equal to float, int, uint (fixes #1376)Stefan Plantikow-1/+22
2011-12-25Use singlequotes in the typechecker too, to distinguish code and EnglishLenny222-29/+32
2011-12-23Go back to a single visit_fn function in visit.rsMarijn Haverbeke-101/+75
2011-12-23Get rid of visit_fn_block in visit.rsMarijn Haverbeke-35/+3
It seems redundant and error-prone.
2011-12-23Check impls methods against the type of their iface.Marijn Haverbeke-44/+87
2011-12-23Parse `iface` items and interface references in `impl` items.Marijn Haverbeke-139/+209
The (temporary) syntax is iface seq<T> { fn len() -> uint; fn iter(f: block(T)); } // The 'blah<T>' can be left of to default the name of the // impl to seq<T>. The 'of seq<T>' can be left off when // not implementing a named interface. impl blah<T> of seq<T> for [T] { fn len() -> uint { vec::len(self) } fn iter(f: block(T)) { for x in self { f(x); } } }
2011-12-23Use the same type of record in ty::ty_fn and ty::methodMarijn Haverbeke-357/+249
Removes some more code duplication.
2011-12-23Make ast::ty_method hold a fn_decl, rather than duplicating its fieldsMarijn Haverbeke-39/+20
2011-12-22Register new snapshots, purge log_err and log_full in favour of log(...).Graydon Hoare-60/+56
2011-12-22Switch core macros to expand to log(level, ...).Graydon Hoare-4/+4
2011-12-22Merge all 3 log syntaxes, tidy up residual misuses.Graydon Hoare-68/+59
2011-12-22Merge branch 'master' of github.com:graydon/rustGraydon Hoare-398/+328
2011-12-22Register snapshots and switch logging over to use of log_full or #error / ↵Graydon Hoare-219/+248
#debug.
2011-12-22Work around unwinding bugMarijn Haverbeke-1/+2
See issue #1374
2011-12-22Unify some data structures in syntax::ast that were doing the same thingMarijn Haverbeke-397/+327
As a preparation to removing some duplication in typeck.
2011-12-22Revert all of yesterday's snapshots and try again. Cursed!Graydon Hoare-4/+4
2011-12-22Merge branch 'master' of github.com:graydon/rustGraydon Hoare-226/+110
2011-12-22Fix tag_var_cache to cache crate-external tagsMarijn Haverbeke-41/+26
And to not return a bogus mutable box.
2011-12-22Do not use == and != to compare ty::t valuesMarijn Haverbeke-27/+45
Issue #828
2011-12-22Add ty::new_ty_hash, clean up comparing of ty::t'sMarijn Haverbeke-49/+30
2011-12-22Remove trivial cast checkerMarijn Haverbeke-109/+9
I consider the added complexity not justified at this point, and it interacts badly with the patches for issue #828. Feel free to discuss.
2011-12-21More flailing on log syntax due to call-expr ambiguity in previous attempt.Graydon Hoare-2/+9
2011-12-21Out-of-order-code typo. Snapshot again.Graydon Hoare-1/+1
2011-12-21Switch log_expr to carrying a full expr:u32 for level. Add log_full variant ↵Graydon Hoare-29/+59
that parses that expr, prepare for snapshot.
2011-12-21valid cap clause for kind-ness tooNiko Matsakis-12/+24
2011-12-21upgrade kind checkNiko Matsakis-12/+53
2011-12-21update pprinter to understand ret type of block, add warningsNiko Matsakis-4/+19
2011-12-21Make { || ... } sugar for any type of closure, inferredNiko Matsakis-242/+392
2011-12-21rustc: Exclude stdin from codemap files when lookup_posHaitao Li-3/+5
Fixes issue #1362
2011-12-20Inject "core macros" into default syntax-expansion environment. Bit of a ↵Graydon Hoare-21/+48
kludge but enough to work on logging-via-macros.
2011-12-20Merge pull request #1349 from lht/driverGraydon Hoare-601/+623
Separate driver rustc and librustc
2011-12-20Merge pull request #1350 from boggle/kmathGraydon Hoare-5/+3
removed math leftovers from std
2011-12-20Fix misleading comment about type_is_podMarijn Haverbeke-1/+2
2011-12-20removed math leftovers from stdStefan Plantikow-5/+3
2011-12-20Separate driver rustc and librustcHaitao Li-601/+623
rustc is now a minimal wrapper of librustc.
2011-12-20rustc: Cleanup unused ext_mapHaitao Li-10/+7
2011-12-20rustc: Re-export the same name in different namespacesHaitao Li-13/+34
Issue #1115.
2011-12-20rustc: Implement re-export of renamed modulesHaitao Li-5/+30
Issue #1115
2011-12-19implement capture clauses (move, in particular) and integrateNiko Matsakis-53/+253
them into type state and so forth
2011-12-19integrate cap clause into type state, but not transNiko Matsakis-15/+38
2011-12-19resolve capture clausesNiko Matsakis-30/+37
2011-12-19when collecting free vars, track the span where it is used tooNiko Matsakis-14/+19