diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-01-19 23:18:03 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-01-19 23:18:03 -0800 |
| commit | 455fbac64f101b05f7eaca89b84470569e4df3fd (patch) | |
| tree | 32cfd5b092ad86086e4d15992bb10fd06a12bf13 /057static_dispatch.cc | |
| parent | 7163e18a774781c62f0c0542e4cb9037f6a71d22 (diff) | |
| download | mu-455fbac64f101b05f7eaca89b84470569e4df3fd.tar.gz | |
2576 - distinguish allocated addresses from others
This is the one major refinement on the C programming model I'm planning to introduce in mu. Instead of Rust's menagerie of pointer types and static checking, I want to introduce just one new type, and use it to perform ref-counting at runtime. So far all we're doing is updating new's interface. The actual ref-counting implementation is next. One implication: I might sometimes need duplicate implementations for a recipe with allocated vs vanilla addresses of the same type. So far it seems I can get away with just always passing in allocated addresses; the situations when you want to pass an unallocated address to a recipe should be few and far between.
Diffstat (limited to '057static_dispatch.cc')
| -rw-r--r-- | 057static_dispatch.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/057static_dispatch.cc b/057static_dispatch.cc index bad8c1d8..1034dc90 100644 --- a/057static_dispatch.cc +++ b/057static_dispatch.cc @@ -297,13 +297,13 @@ $error: 0 :(scenario static_dispatch_works_with_compound_type_containing_container_defined_after_first_use) % Hide_errors = true; recipe main [ - x:address:foo <- new foo:type + x:address:shared:foo <- new foo:type test x ] container foo [ x:number ] -recipe test a:address:foo -> z:number [ +recipe test a:address:shared:foo -> z:number [ local-scope load-ingredients z:number <- get *a, x:offset @@ -313,10 +313,10 @@ $error: 0 :(scenario static_dispatch_works_with_compound_type_containing_container_defined_after_second_use) % Hide_errors = true; recipe main [ - x:address:foo <- new foo:type + x:address:shared:foo <- new foo:type test x ] -recipe test a:address:foo -> z:number [ +recipe test a:address:shared:foo -> z:number [ local-scope load-ingredients z:number <- get *a, x:offset |