 Roy Frostig
|
733aa31e2d
Calculate size of parametric types in exterior slots in deref_slot so that alignment is known and GEP knows where to point. Add testcase. XFAIL newly broken generic-tag test.
|
14 years ago |
|
Roy Frostig
|
80d3c55d0e
Fix the tiniest little typo in manual.
|
14 years ago |
 Graydon Hoare
|
6944bb6a45
Add more logging to type and resolve; at least localized the failure in recursive parametric tags to here, though not sure quite how to fix yet.
|
14 years ago |
 Patrick Walton
|
d127c59359
Stop prepending ":" whenever we follow a pointer during type inference
|
14 years ago |
|
Graydon Hoare
|
cf438c6d22
Adjust pretty-printer to handle previous 'tup' change.
|
14 years ago |
|
Graydon Hoare
|
493f9caafe
Generic tags work, it's the generic-recursive ones that don't.
|
14 years ago |
|
Graydon Hoare
|
2911f27d6a
Prohibit dynamic environment capture, emit a nice error message instead. Score another for froystig.
|
14 years ago |
|
Graydon Hoare
|
421cc37a72
Chmod the output 0755 from within the compiler, not the makefile.
|
14 years ago |
|
Graydon Hoare
|
67dc1ff021
Add froystig to authors file.
|
14 years ago |
|
Graydon Hoare
|
1d54c9c78f
Handle export non-interference from inside scope, add testcase. Froystig finds all the tasty bugs.
|
14 years ago |
|
Graydon Hoare
|
75b3085846
Fix param-cloning bug that was breaking parametric tags.
|
14 years ago |
|
Graydon Hoare
|
306b9dc261
Add some effect-checking tests, tighten up effect pass handling of default auth.
|
14 years ago |
|
Graydon Hoare
|
ff08d21ce7
Correct callee-to-caller effect propagation, un-XFAIL user.rs.
|
14 years ago |
|
Graydon Hoare
|
683f06878f
Check effects at the fn/stmt level (including auth-masking). XFAIL user.rs because it seems confused.
|
14 years ago |
|
Graydon Hoare
|
2717b33a83
Sprinkle effect annotations over the testsuite.
|
14 years ago |
|
Graydon Hoare
|
297c80d6b6
Do a slightly better job of encoding and decoding effects via dwarf.
|
14 years ago |
|
Graydon Hoare
|
2276a4170b
Add spaces after effects when pretty-printing AST decls.
|
14 years ago |
|
Graydon Hoare
|
ae4b152b93
Add auth directives to lib/std.rc, comp/rustc.rc.
|
14 years ago |
|
Graydon Hoare
|
0e703d7083
Add front-end support for auth directives in crates.
|
14 years ago |
|
Graydon Hoare
|
41a1ec3f02
Add stmt-to-function propagating stage in effect-checking pass.
|
14 years ago |
|
Graydon Hoare
|
ca36716b1a
Sketch stages of effect-checking pass.
|
14 years ago |
|
Graydon Hoare
|
19eee2aa3e
Add general type-effect calculation, define effect order.
|
14 years ago |
|
Graydon Hoare
|
7497dbde70
Remove cyclic-type calculation, no longer used.
|
14 years ago |
|
Graydon Hoare
|
5611f0e592
Rename 'mutable' pass to 'effect', kill obsolete mode and gctype passes, tidy up pipelines, logging and tests.
|
14 years ago |
|
Graydon Hoare
|
4f44ac45b9
Split mutability from mode, change ty params to carry effect not mutability, encode effect more-fully in dwarf.
|
14 years ago |
|
Graydon Hoare
|
2b627be107
Fix vec-parse bug.
|
14 years ago |
|
Graydon Hoare
|
bf50970154
Change '~' and '^' to '&' and 'mutable &', stop referring to '4 modes', there are 3 modes + mutability.
|
14 years ago |
|
Graydon Hoare
|
f3ec120add
Switch tuples from (a,b) to tup(a,b), to resolve the 1-element-tuple / parenthesized-expr ambiguity.
|
14 years ago |
|
Patrick Walton
|
259790ba01
Add missing bitwise.rs test case
|
14 years ago |
|
Patrick Walton
|
c7df27107a
Implement bitwise xor
|
14 years ago |
