about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Expand)AuthorLines
2011-08-03Clean up how we deal with dynamic size function arguments/returns.Michael Sullivan-57/+24
2011-08-03Have trans_bind_thunk handle polymorphic but statically sized return values.Michael Sullivan-1/+3
2011-08-03Revert "Revert "Handle conditionals on _|_ - typed values correctly""Tim Chevalier-0/+12
2011-08-03Add #concat_idents[] and #ident_to_str[]Paul Stansifer-9/+57
2011-08-03Reject programs that do a put outside of iterators.Michael Sullivan-4/+7
2011-08-03Do a bunch more typechecking for iters and for each loops.Michael Sullivan-31/+62
2011-08-03Code cleanup in check_expr.Michael Sullivan-163/+149
2011-08-03Fix typechecking when spawning something type inferred.Michael Sullivan-8/+10
2011-08-03parse_crate_from_source_str takes a parse_sess, not codemapBrian Anderson-3/+2
2011-08-03Fix pretty-printer to read from files againBrian Anderson-1/+5
2011-08-03Pretty-print kinds of type paramsBrian Anderson-0/+9
2011-08-03Disambiguate unop statements in pretty-printer. Closes #674Brian Anderson-1/+44
2011-08-03Revert "Handle conditionals on _|_ - typed values correctly"Brian Anderson-12/+0
2011-08-03Make ast::pat_bindings an iteratorMarijn Haverbeke-74/+48
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-02Pretty-print fn constraints more correctishBrian Anderson-5/+27
2011-08-02Don't pp extra lines after block open when preserving whitespace. Closes #759Brian Anderson-1/+15
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-02Allow patterns of the form `[a, b, c ...] to be matched and transcribed.Paul Stansifer-62/+80
2011-08-02Use or-patterns in trans::trans_compare, eliminating a FIXMETim Chevalier-14/+7
2011-08-02Use ioivec::read_whole_file_str in a few placesBrian Anderson-4/+2
2011-08-02Add a --no-trans command line optionBrian Anderson-5/+16
2011-08-02Compiler accepts input from stdin when source file is called "-"Brian Anderson-17/+66
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-02Move ppaux::ty_to_str to new record syntaxMarijn Haverbeke-2/+2
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-249/+307
2011-07-31Get rid of walk.rsMarijn Haverbeke-463/+0
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-15/+38
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-14 08:31:51 +0000