Brian Anderson
|
e50580aa66
|
Revert "Use DPS for assignment and local initialization"
This reverts commit b1b202d302d1e84886360f9c8f146b9562db5f23.
|
2011-09-27 16:03:09 -07:00 |
|
Marijn Haverbeke
|
b1b202d302
|
Use DPS for assignment and local initialization
Issue #667
|
2011-09-27 20:33:09 +02:00 |
|
Marijn Haverbeke
|
94db38a530
|
Move expr_unary to DPS style
Issue #667
|
2011-09-27 17:31:15 +02:00 |
|
Brian Anderson
|
98db2febd3
|
Handle ~fail. Closes #968
|
2011-09-24 23:52:22 -07:00 |
|
Brian Anderson
|
4f7ecce7d1
|
Support non-immediates in trans_uniq::copy_val
Issue #409
|
2011-09-24 21:28:58 -07:00 |
|
Jesse Ruderman
|
064f52fa96
|
Mark some fns as pure so type_is_unique_box doesn't need to be unchecked
|
2011-09-24 15:36:09 -07:00 |
|
Brian Anderson
|
c5877450e6
|
Tweak the type allocated for unique pointers
Seems to be more correctish...
Issue #409
|
2011-09-24 12:36:51 -07:00 |
|
Brian Anderson
|
777a536313
|
Support non-immediates in unique-box type glue
Issue #409
|
2011-09-24 12:36:51 -07:00 |
|
Brian Anderson
|
1a48023a79
|
Add take glue for unique boxes
Closes #962
Issue #409
|
2011-09-22 18:05:36 -07:00 |
|
Brian Anderson
|
77fcab043e
|
Remove nonsensical load and store from trans_uniq::copy_val
Issue #409
|
2011-09-22 17:50:27 -07:00 |
|
Brian Anderson
|
30a4eab380
|
Autoderef indexes and fields of unique boxes
Issue #409
|
2011-09-22 16:06:25 -07:00 |
|
Brian Anderson
|
268a9fe5fb
|
Initialize unique box locals from other locals
Issue #409
|
2011-09-22 13:53:33 -07:00 |
|
Brian Anderson
|
5d5136df9f
|
Convert trans_uniq asserts to preconditions
Issue #409
|
2011-09-22 13:53:33 -07:00 |
|
Brian Anderson
|
c4f02a7925
|
Sprinkle some asserts through trans_uniq
|
2011-09-22 13:53:33 -07:00 |
|
Brian Anderson
|
8492eed137
|
Move uniq trans code to trans_uniq module
Issue #409
|
2011-09-22 13:53:30 -07:00 |
|