diff options
| -rw-r--r-- | 033exclusive_container.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/033exclusive_container.cc b/033exclusive_container.cc index 06f7ddec..982330bb 100644 --- a/033exclusive_container.cc +++ b/033exclusive_container.cc @@ -154,9 +154,9 @@ recipe main [ 12:number <- copy 1 13:number <- copy 35 14:number <- copy 36 - 20:address:shared:point <- maybe-convert 12:number-or-point/unsafe, 1:variant + 20:address:number <- maybe-convert 12:number-or-point/unsafe, 1:variant ] -+error: main: 'maybe-convert 12:number-or-point/unsafe, 1:variant' should write to <address : <point : <>>> but 20 has type <address : <shared : <point : <>>>> ++error: main: 'maybe-convert 12:number-or-point/unsafe, 1:variant' should write to <address : <point : <>>> but 20 has type <address : <number : <>>> //:: Allow exclusive containers to be defined in mu code. |