diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 00:46:03 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 00:46:03 -0700 |
| commit | d52406ccd9eb19be40b85a3a2a1b00e5052afb9b (patch) | |
| tree | 18936281f60f84ea1ceb024b1b1580d376f765c6 /033exclusive_container.cc | |
| parent | 192d59d3bb9ee0baa1afd82cb5d0f352bdc6e403 (diff) | |
| download | mu-d52406ccd9eb19be40b85a3a2a1b00e5052afb9b.tar.gz | |
3381
Diffstat (limited to '033exclusive_container.cc')
| -rw-r--r-- | 033exclusive_container.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/033exclusive_container.cc b/033exclusive_container.cc index 79406bf4..3fa8426a 100644 --- a/033exclusive_container.cc +++ b/033exclusive_container.cc @@ -73,7 +73,7 @@ def main [ 12:num <- copy 1 13:num <- copy 35 14:num <- copy 36 - 20:point, 22:boolean <- maybe-convert 12:number-or-point/unsafe, 1:variant + 20:point, 22:bool <- maybe-convert 12:number-or-point/unsafe, 1:variant ] # boolean +mem: storing 1 in location 22 @@ -86,7 +86,7 @@ def main [ 12:num <- copy 1 13:num <- copy 35 14:num <- copy 36 - 20:num, 21:boolean <- maybe-convert 12:number-or-point/unsafe, 0:variant + 20:num, 21:bool <- maybe-convert 12:number-or-point/unsafe, 0:variant ] # boolean +mem: storing 0 in location 21 @@ -203,7 +203,7 @@ def main [ 12:num <- copy 1 13:num <- copy 35 14:num <- copy 36 - 20:num, 21:boolean <- maybe-convert 12:number-or-point/unsafe, 1:variant + 20:num, 21:bool <- maybe-convert 12:number-or-point/unsafe, 1:variant ] +error: main: 'maybe-convert 12:number-or-point/unsafe, 1:variant' should write to point but '20' has type number @@ -212,7 +212,7 @@ def main [ 12:num <- copy 1 13:num <- copy 35 14:num <- copy 36 - _, 21:boolean <- maybe-convert 12:number-or-point/unsafe, 1:variant + _, 21:bool <- maybe-convert 12:number-or-point/unsafe, 1:variant ] $error: 0 |