about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-07-29Clean up old FIXME regarding or-patternsMarijn Haverbeke-10/+2
2011-07-29Remove support for obj dtorsMarijn Haverbeke-138/+19
2011-07-29Replace obj dtors with resources in stdlib and rustcMarijn Haverbeke-28/+29
2011-07-29Make sure resources always have their drop glue calledMarijn Haverbeke-1/+9
Even when their content does not contain pointers
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
The compiler would blow up when compiling a structural type containing a resource.
2011-07-28Change the way freevars stores its information again.Michael Sullivan-46/+37
2011-07-28Factor out a bunch of environment construction code from trans_bind.Michael Sullivan-84/+99
2011-07-28Drop the previous reference when receiving. Closes #763Brian Anderson-5/+18
2011-07-28Factor out box initializing code into trans_malloc_boxed.Michael Sullivan-66/+36
2011-07-28Updated alt indenting.Lindsey Kuper-11/+11
2011-07-28The names 'outer' and 'inner' make more sense than 'self' and 'with'.Lindsey Kuper-100/+103
(Also, some formatting and long-string cleanup.)
2011-07-28Thread kinds into the type system. Don't quite activate yet, since it breaks ↵Graydon Hoare-44/+72
stdlib and snapshot isn't ready to compile modified stdlib.
2011-07-28Change macro syntax to accept a single expr, not a sequence of exprs.Paul Stansifer-67/+69
2011-07-28Adding upcalls to to ref() and deref() tasks. This is the first step towards ↵Eric Holk-2/+22
atomic reference counting of tasks.
2011-07-28Parse, store and print type parameter kind constraints.Graydon Hoare-7/+24
2011-07-27Fix stale 'copy' occurrences to 'move' in comments.Graydon Hoare-2/+2
2011-07-28:: is allowed to start an expression. Close #762.Josh Matthews-0/+1
2011-07-28Replace walk with visit in the typecheckerMarijn Haverbeke-35/+35
2011-07-28Remove walk instance from kind.rsMarijn Haverbeke-6/+6
2011-07-28Show millisecond precision for time_passes timesMarijn Haverbeke-5/+26
Closes #713
2011-07-27Further refinement to kind system lattice and type-kind rules; first ↵Graydon Hoare-27/+62
successful caught kind error (prohibits copying a pinned resource, though trans already caught it later).
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