about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2011-08-03Revert "Handle conditionals on _|_ - typed values correctly"Brian Anderson-12/+0
2011-08-03Make ast::pat_bindings an iteratorMarijn Haverbeke-59/+27
2011-08-02Handle _|_ - typed discriminants in alts correctlyTim Chevalier-1/+12
2011-08-02Handle conditionals on _|_ - typed values correctlyTim Chevalier-0/+12
2011-08-02Make _|_ type binopableTim Chevalier-18/+20
2011-08-02 In trans, don't assume both sides of a binop have the same typeTim Chevalier-18/+39
2011-08-02Refactor: a backwarding vtable can only have one kind of method.Lindsey Kuper-18/+7
2011-08-02Comment tweaks and re-flows.Lindsey Kuper-30/+24
2011-08-02Consolidate environment building/loading between closure types.Michael Sullivan-153/+102
2011-08-02Track the node_id of the function in trans_common::fn_ctxt.Michael Sullivan-31/+25
2011-08-02Use GEPi a bunch.Michael Sullivan-28/+14
2011-08-02Use or-patterns in trans::trans_compare, eliminating a FIXMETim Chevalier-14/+7
2011-08-02Assign collection element ty to loop local tvar when checking loopsMarijn Haverbeke-2/+5
2011-08-02Do not try to save block result when the block is an iter bodyMarijn Haverbeke-1/+2
2011-08-02Be a little more clever about picking columns to match on in trans_altMarijn Haverbeke-4/+34
2011-08-02Copy locals created by destructuring on the content of a boxMarijn Haverbeke-8/+19
2011-08-02Improve handling of bottom type in alt armsMarijn Haverbeke-0/+1
2011-08-01Handle bang functions correctly in typestateTim Chevalier-59/+113
2011-08-01Fix incorrect uses of str::buf()Paul Stansifer-11/+18
2011-08-01Fix closures over dynamically-sized polymorphic values.Michael Sullivan-17/+44
2011-08-01Fix closures over known-size polymorphic values.Michael Sullivan-15/+15
2011-08-01Add a GEPi function that wraps GEP with integer arguments.Michael Sullivan-12/+22
2011-08-01Add check for irrefutable patterns in destructuring localsMarijn Haverbeke-4/+35
2011-08-01Partially implement destructuring localsMarijn Haverbeke-220/+264
2011-07-31Remove unused importsTim Chevalier-2/+0
2011-07-31Change bitvectors::relax_precond_block to use visit instead of walkTim Chevalier-24/+28
2011-07-29Fix bug in typechecker counting occurrences of typarams in instantiation rath...Graydon Hoare-6/+6
2011-07-29Enable kind checking on typarams, fix kind constraints in library and comp.Graydon Hoare-12/+35
2011-07-29Switch the heap build and load environment functions to use GEP_tup_like.Michael Sullivan-25/+29
2011-07-29Initial trans of lambdas. Doesn't work with polymorphism yet.Michael Sullivan-8/+61
2011-07-29Refactor typestate code involving stmt_declsTim Chevalier-94/+129
2011-07-29Encode, decode, and thread through typechecking all the param kinds, not just...Graydon Hoare-51/+66
2011-07-29Do some cleanup in load_environment.Michael Sullivan-30/+23
2011-07-29Add in some missing cases for typestate with closures.Michael Sullivan-2/+5
2011-07-29Don't confuse backwards and forwards.Lindsey Kuper-3/+7
2011-07-29Comments and cleanup, in preparation for more work on issue #702.Lindsey Kuper-19/+56
2011-07-29Get rid of an obsolete comment now that obj dtors are gone.Lindsey Kuper-3/+0
2011-07-29Disallow overloading a method with one of different type. Closes #703.Lindsey Kuper-7/+12
2011-07-29Turn on kind propagation for typarams. Annotate a bunch of typarams in rustc ...Graydon Hoare-4/+1
2011-07-29Remove unreachable statementsMarijn Haverbeke-8/+11
2011-07-29Track failures in typeck, assign proper type to failing blocksMarijn Haverbeke-90/+126
2011-07-29Typechecking bugfix for anon objs. Removes duplicate methods in outerLindsey Kuper-0/+20
2011-07-29Formatting tweaks.Lindsey Kuper-8/+5
2011-07-29Clean up old FIXME regarding or-patternsMarijn Haverbeke-10/+2
2011-07-29Remove support for obj dtorsMarijn Haverbeke-80/+11
2011-07-29Replace obj dtors with resources in stdlib and rustcMarijn Haverbeke-7/+1
2011-07-29Make sure resources always have their drop glue calledMarijn Haverbeke-1/+9
2011-07-29Missed another instance of walk in typeckMarijn Haverbeke-5/+4
2011-07-29Fix iter_structural_ty_full for resource typesMarijn Haverbeke-21/+16
2011-07-28Change the way freevars stores its information again.Michael Sullivan-46/+37
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 22:05:10 +0000