diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-01-20 21:33:24 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-01-20 21:36:38 -0800 |
| commit | b4cbb1d34b28909a938d8ac4ea614c416f9ce0d6 (patch) | |
| tree | 62a57cde97b5fa86a6257201aa58ab24b99fcb9c | |
| parent | 263e6b2a9f35d977d8e2ca883432c6743a4b7711 (diff) | |
| download | mu-b4cbb1d34b28909a938d8ac4ea614c416f9ce0d6.tar.gz | |
2582
| -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. |