diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-02-26 18:07:52 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-02-26 18:07:52 -0800 |
| commit | aed2929055ee8de978da739fbeaec7112418fc1d (patch) | |
| tree | 6fa1b5eab4e214fa8254a81761fc837a37a4412f /078table.mu | |
| parent | 5e1f318d5097dbe5443ffad3e258e950a062a5fe (diff) | |
| download | mu-aed2929055ee8de978da739fbeaec7112418fc1d.tar.gz | |
2716 - more holes in immutability checks
We're still not done. Layer 60 doesn't yet handle variables in surrounding spaces. There's probably other issues..
Diffstat (limited to '078table.mu')
| -rw-r--r-- | 078table.mu | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/078table.mu b/078table.mu index 09613a15..a58b210b 100644 --- a/078table.mu +++ b/078table.mu @@ -55,8 +55,8 @@ recipe index table:address:shared:table:_key:_value, key:_key -> result:_value [ capacity:number <- get *table, capacity:offset _, hash <- divide-with-remainder hash, capacity table-data:address:shared:array:table_row:_key:_value <- get *table, data:offset - x:address:table_row:_key:_value <- index-address *table-data, hash - occupied?:boolean <- get *x, occupied?:offset + x:table_row:_key:_value <- index *table-data, hash + occupied?:boolean <- get x, occupied?:offset assert occupied?, [can't handle missing elements yet] - result <- get *x, value:offset + result <- get x, value:offset ] |