summary refs log tree commit diff
path: root/src/comp/middle/ty.rs
AgeCommit message (Expand)AuthorLines
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
2012-01-16Minor cleanups to custom discriminator code.Kevin Atkinson-2/+2
2012-01-16Store type names in crate metadataMarijn Haverbeke-1/+5
2012-01-16Don't evaluate discriminator value constants when parsing.Kevin Atkinson-1/+14
2012-01-13distinguish "any closure" and "stack closure" (block)Niko Matsakis-1/+3
2012-01-13make blocks fn& and fn stand for "any closure"Niko Matsakis-0/+2
2012-01-13deprecate fn exprs and the fn() type, preferring fn@ and native fnNiko Matsakis-15/+19
2012-01-13Obj system? What obj system?Marijn Haverbeke-103/+6
2012-01-12Make driver::session::session no longer an objectMarijn Haverbeke-1/+2
2012-01-12Cleanups to previous commits for issue #1393.Kevin Atkinson-2/+2
2012-01-10Add support for casting enum-like tags to scalar values.Kevin Atkinson-0/+22
2012-01-10Support explicit discriminant numbers on tag variants.Kevin Atkinson-2/+5
2012-01-10rename sendfn to fn~, lambda to fn@Niko Matsakis-15/+15
2012-01-09Change all uses of 'when' in alt-patterns to 'if'Austin Seipp-4/+4
2012-01-09Remove proto_sugar and 'lambda' as keyword, commit to fn@.Graydon Hoare-4/+3
2012-01-09Iface types are not structuralMarijn Haverbeke-2/+1
2012-01-08First barely-working version of casting to ifaceMarijn Haverbeke-1/+1
2012-01-06rejigger impl to have an opaque closure ptr rather thanNiko Matsakis-28/+23
2012-01-06collapse sizeof, alignof into metrics, pass along an instance if availNiko Matsakis-0/+10
2012-01-06make size_of and align_of take an optional valueNiko Matsakis-1/+4
2012-01-05require a non-semi expr acting as a stmt to have unit return typeNiko Matsakis-2/+3
2012-01-05Merge branch 'master' into kmathStefan Plantikow-1/+1
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-1/+1
2012-01-05Get external interfaces / impls workingMarijn Haverbeke-1/+1
2012-01-05Write the iface type of an impl in the crate dataMarijn Haverbeke-1/+9
2012-01-05Remove ty::bind_params_in_typeMarijn Haverbeke-18/+0
2012-01-04Properly typecheck and compile invocations of generic methods.Marijn Haverbeke-32/+14
2012-01-03Add missing ty_constr cases to trans::type_of_inner and ty::fold_ty.Tim Chevalier-0/+6
2012-01-03Wire in resolution of param bounds for method callsMarijn Haverbeke-2/+0
2012-01-02Key tcx.ty_param_bounds on node_ids, not def_idsMarijn Haverbeke-3/+5
2012-01-02Box arrays of parameter boundsMarijn Haverbeke-2/+2
2012-01-02Pass bounds to trans::type_of_fnMarijn Haverbeke-5/+7
2012-01-02More resolving and typechecking of bounded type parameters.Marijn Haverbeke-9/+25
2012-01-02Check that type parameter bounds are interface typesMarijn Haverbeke-23/+22
2011-12-29Box ty_param_bounds_and_tyMarijn Haverbeke-1/+1
2011-12-28Move the kind datatype to middle::tyMarijn Haverbeke-19/+49
2011-12-28Change representation of type params to handle interface boundsMarijn Haverbeke-13/+38
2011-12-28Made matching machine types equal to float, int, uint (fixes #1376)Stefan Plantikow-1/+22
2011-12-23Check impls methods against the type of their iface.Marijn Haverbeke-20/+35
2011-12-23Parse `iface` items and interface references in `impl` items.Marijn Haverbeke-35/+56
2011-12-23Use the same type of record in ty::ty_fn and ty::methodMarijn Haverbeke-173/+120