summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2012-01-10rename sendfn to fn~, lambda to fn@Niko Matsakis-62/+54
2012-01-10rustc: Remove sret attributes from functionsBrian Anderson-13/+3
2012-01-09Change all uses of 'when' in alt-patterns to 'if'Austin Seipp-6/+6
2012-01-09Remove proto_sugar and 'lambda' as keyword, commit to fn@.Graydon Hoare-30/+29
2012-01-09Iface types are not structuralMarijn Haverbeke-2/+1
2012-01-09Work around recursive type check for iface typesMarijn Haverbeke-3/+7
2012-01-09Properly recognize self as an upvar when closed overMarijn Haverbeke-34/+27
2012-01-09Fix #1474: check that block args resolved to bare fns do not make use of upvarsNiko Matsakis-8/+13
2012-01-09Don't resolve upvars in fn() { ... } exprsMarijn Haverbeke-6/+3
2012-01-08correct long lineNiko Matsakis-2/+2
2012-01-08modify last use to take into account cap clause, add new testNiko Matsakis-9/+44
2012-01-08First barely-working version of casting to ifaceMarijn Haverbeke-33/+99
2012-01-08Add fall-through case for non-iface bounds typeck::lookup_methodMarijn Haverbeke-0/+1
2012-01-06choose a new arbitrary valueNiko Matsakis-2/+2
2012-01-06revert changes to trans_uniq.rsNiko Matsakis-4/+14
2012-01-06revert metricsNiko Matsakis-82/+94
2012-01-06plug leak: free shared type descrs recursively, as we ought toNiko Matsakis-2/+6
2012-01-06hack the tydesc that is registered with a malloc to be what cc expectsNiko Matsakis-22/+47
2012-01-06fix how we walk functions to match new closure fmtNiko Matsakis-3/+8
2012-01-06rejigger impl to have an opaque closure ptr rather thanNiko Matsakis-297/+384
2012-01-06collapse sizeof, alignof into metrics, pass along an instance if availNiko Matsakis-47/+78
2012-01-06make size_of and align_of take an optional valueNiko Matsakis-101/+103
2012-01-06emit the take glue for closure tydescsNiko Matsakis-0/+1
2012-01-06simplify task implNiko Matsakis-1/+1
2012-01-06Disallow variable names that shadow tags in scopeTim Chevalier-64/+151
2012-01-06Eliminate a use of map::get in freevarsTim Chevalier-14/+21
2012-01-06Add some basic comments to trans_imp.rsMarijn Haverbeke-0/+30
2012-01-06Make binding of fns with bounded type parameters workMarijn Haverbeke-5/+15
2012-01-06Support interface casting in the typecheckerMarijn Haverbeke-6/+34
2012-01-06Statically allocate static dictsMarijn Haverbeke-24/+109
2012-01-06Fix bug in method type parameter passingMarijn Haverbeke-5/+5
2012-01-05rustc: Allow the test runner to run unexported testsBrian Anderson-7/+29
2012-01-05Use precise return type to allocate retslot in trans_argsMarijn Haverbeke-4/+11
2012-01-05require a non-semi expr acting as a stmt to have unit return typeNiko Matsakis-17/+23
2012-01-05Merge branch 'master' into kmathStefan Plantikow-12/+8
2012-01-05Moved generic float::min, max to core::math and cleaned up some importsStefan Plantikow-1/+1
2012-01-05Switch to new param kind bound syntaxMarijn Haverbeke-6/+6
2012-01-05Clean up some FIXMEs related to implsMarijn Haverbeke-6/+2
2012-01-05Get external interfaces / impls workingMarijn Haverbeke-8/+13
2012-01-05Write the iface type of an impl in the crate dataMarijn Haverbeke-101/+84
2012-01-05Remove ty::bind_params_in_typeMarijn Haverbeke-56/+20
2012-01-05Add more item types to the ast_map so the test suite can build with debug info.Josh Matthews-1/+9
2012-01-04Use the right types for methods in trans_implMarijn Haverbeke-12/+5
2012-01-04Reformat typestate error messages so as not to confuse emacs compilation modeTim Chevalier-3/+5
2012-01-04Prevent typenames in param bounds from resolving to their own paramMarijn Haverbeke-19/+38
2012-01-04Add visit_ty_params to visit.rsMarijn Haverbeke-21/+6
2012-01-04Properly typecheck and compile invocations of generic methods.Marijn Haverbeke-163/+225
2012-01-03Add missing ty_constr cases to trans::type_of_inner and ty::fold_ty.Tim Chevalier-0/+11
2012-01-03Allow tail expressions even in no_value blocks. Type checkerNiko Matsakis-13/+28
2012-01-03Merge pull request #1392 from Lenny222/listBrian Anderson-2/+6