diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 13:00:39 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 13:00:39 -0700 |
commit | a0331a9b0eab63a000dcd022fe605d124c573b8d (patch) | |
tree | 5c7403d16fd8c9d31ead65495eae84edf9cfc2e4 /056shape_shifting_recipe.cc | |
parent | 760f683f2755038a1b0c16522f5001b889096aa5 (diff) | |
download | mu-a0331a9b0eab63a000dcd022fe605d124c573b8d.tar.gz |
3390
Diffstat (limited to '056shape_shifting_recipe.cc')
-rw-r--r-- | 056shape_shifting_recipe.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/056shape_shifting_recipe.cc b/056shape_shifting_recipe.cc index c4cf17fc..2a91723c 100644 --- a/056shape_shifting_recipe.cc +++ b/056shape_shifting_recipe.cc @@ -905,17 +905,17 @@ def foo x:&:_elem -> y:num [ # version with headers padded with lots of unrelated concrete types def main [ 1:num <- copy 23 - 2:&:array:num <- copy 0 - 3:num <- foo 2:&:array:num, 1:num + 2:&:@:num <- copy 0 + 3:num <- foo 2:&:@:num, 1:num ] # variant with concrete type -def foo dummy:&:array:num, x:num -> y:num, dummy:&:array:num [ +def foo dummy:&:@:num, x:num -> y:num, dummy:&:@:num [ local-scope load-ingredients return 34 ] # shape-shifting variant -def foo dummy:&:array:num, x:_elem -> y:num, dummy:&:array:num [ +def foo dummy:&:@:num, x:_elem -> y:num, dummy:&:@:num [ local-scope load-ingredients return 35 |