about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-07-27Some work on backwarding for issue #702.Lindsey Kuper-20/+100
2011-07-27Have bind support non-alias parametric non-bound arguments.Michael Sullivan-42/+26
This was previously disallowed by the typechecker and not properly handled in trans. I removed the typechecker check (replacing it with a simpler check that spawned functions don't have type params) and fixed trans. Closes #756.
2011-07-27Allow already bound functions to be bound again.Michael Sullivan-4/+0
This commit just disables the check. All of the real work was in previous commits that moved the target function into the bindings part of the closure that is tracked by the tydesc. Closes #754.
2011-07-27Fix binding a bare fn argument with type parameters.Michael Sullivan-11/+10
Closes #642.
2011-07-27Remove vestiges of "layers", insert skeletal do-nothing "kind" pass plus ↵Graydon Hoare-19/+265
cached calculation of kind for each type.
2011-07-27Eliminate "target" field in closures.Michael Sullivan-18/+12
2011-07-27Put the bound function in bind in the bindings, not in a distinguished spot.Michael Sullivan-23/+22
2011-07-27Mess around with the casting in trans_bind.Michael Sullivan-14/+7
2011-07-27Some cleanup in trans.Michael Sullivan-26/+21
2011-07-27Associate names with taskptr and tydesc types for better debugging.Michael Sullivan-0/+2
2011-07-27Make trand_bind_1 use create_real_fn_pair.Michael Sullivan-21/+11
2011-07-27Stop outputting spurious spaces in ivec types and empty mutable vecsMarijn Haverbeke-2/+9
(in the pretty-printer)
2011-07-27Don't allow globals or immutable locals to be passed by mut aliasMarijn Haverbeke-17/+39
Closes #747
2011-07-27Remove superfluous spaces in pretty-printing of loopsMarijn Haverbeke-11/+5
(And extra parens around else-if tests)
2011-07-27Make the pretty-printer output whitespace before obj drop clauseMarijn Haverbeke-1/+5
2011-07-27Re-format some obj dtors that were messed up by the pretty-printerMarijn Haverbeke-8/+8
2011-07-27Improve pretty-printing of constraintsMarijn Haverbeke-13/+15
(Methods still don't seem to have constraints associated with them. Method types do, so I guess this is a TODO.)
2011-07-27Make printing of comments inside bindings slightly less brokenMarijn Haverbeke-14/+3
2011-07-27No longer allow 'case' keyword before patternsMarijn Haverbeke-4/+0
2011-07-27Fix damage done by the pretty-printerMarijn Haverbeke-168/+140
2011-07-27Reformat for new syntaxMarijn Haverbeke-22860/+21686
2011-07-27Update the parser to accept the new syntaxMarijn Haverbeke-155/+59
2011-07-27Output native_name field for native mods when neededMarijn Haverbeke-0/+5
2011-07-27Have the pretty-printer parentesize unary ops when neededMarijn Haverbeke-3/+13
2011-07-27Update the pretty-printer to output the new syntaxMarijn Haverbeke-20/+19
2011-07-27Parenthesize ivec types as neededMarijn Haverbeke-0/+8
2011-07-27Add missing case for view_item_use in resolve.rsMarijn Haverbeke-16/+11
Closes #748
2011-07-26Try to keep the local and its type together when wrapping a long decl.Graydon Hoare-3/+7
2011-07-26Prohibit breaking between "let" and "=" in local decls.Graydon Hoare-2/+4
2011-07-26Clean up long strings and indentation.Lindsey Kuper-21/+19
2011-07-26Trailing whitespace.Graydon Hoare-1/+1
2011-07-26Handle printing 'auto' occurring in loop-variable context.Graydon Hoare-1/+4
2011-07-26Improve printing of mod and native mod.Graydon Hoare-33/+47
2011-07-26Handle hardbreaks at bol slightly better, including break_offset calls (tuck ↵Graydon Hoare-18/+34
offset into previous hardbreak).
2011-07-26Handle column-zero \n explicitly rather than looking for \n\n.Graydon Hoare-4/+1
2011-07-26Consume EOL after line comment.Graydon Hoare-0/+3
2011-07-26Some simple cleanup of trans_bind.Michael Sullivan-172/+162
2011-07-26Convert a bunch of cx.fcx.lcx... paths into bcx_...(cx)Michael Sullivan-310/+310
2011-07-26Initial implementation of typestate for closures.Michael Sullivan-13/+31
There are still things not handled properly: relying on other preconditions of upvars is likely to cause bad things to happen. We probably want to disallow it.
2011-07-26Translate anonymous block closures.Michael Sullivan-8/+50
2011-07-26Resolve and typecheck alias-environment-capturing blocks.Michael Sullivan-34/+107
2011-07-26Add block and closure protos and parse/pp block and lambda exprs.Michael Sullivan-5/+19
2011-07-26Fix the freevars pass to actually work on top of visit.Michael Sullivan-2/+9
2011-07-26Oops, left whitespace.Paul Stansifer-1/+1
2011-07-26Add basic support for blocks and types in macros.Paul Stansifer-7/+123
2011-07-26Convert all code that uses walk.rs in the straightforward way to simple_visitMarijn Haverbeke-60/+53
Code that needs the keep_going functionality is still using walk. I will add an equivalent to visit.rs later.
2011-07-26Add 'simple' visiting to visit.rsMarijn Haverbeke-4/+105
2011-07-26Resolve loop collection expressions in the right scopeMarijn Haverbeke-17/+16
Closes #745
2011-07-26Detect duplicate field names in record literals and typesMarijn Haverbeke-16/+33
Closes #746
2011-07-26Remove tuple support from the compilerMarijn Haverbeke-344/+24