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 /054static_dispatch.cc | |
| parent | 192d59d3bb9ee0baa1afd82cb5d0f352bdc6e403 (diff) | |
| download | mu-d52406ccd9eb19be40b85a3a2a1b00e5052afb9b.tar.gz | |
3381
Diffstat (limited to '054static_dispatch.cc')
| -rw-r--r-- | 054static_dispatch.cc | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/054static_dispatch.cc b/054static_dispatch.cc index 46e1468c..3a1d9980 100644 --- a/054static_dispatch.cc +++ b/054static_dispatch.cc @@ -418,13 +418,13 @@ def test a:number -> z:number [ def main [ 1:number <- copy 34 2:number <- copy 34 - 3:boolean <- equal 1:number, 2:number - 4:boolean <- copy 0/false - 5:boolean <- copy 0/false - 6:boolean <- equal 4:boolean, 5:boolean + 3:bool <- equal 1:number, 2:number + 4:bool <- copy 0/false + 5:bool <- copy 0/false + 6:bool <- equal 4:bool, 5:bool ] # temporarily hardcode number equality to always fail -def equal x:number, y:number -> z:boolean [ +def equal x:number, y:number -> z:bool [ local-scope load-ingredients z <- copy 0/false @@ -515,7 +515,7 @@ def foo x:char -> y:number [ load-ingredients return 34 ] -def foo x:boolean -> y:number [ +def foo x:bool -> y:number [ local-scope load-ingredients return 35 @@ -532,7 +532,7 @@ def foo x:char -> y:number [ load-ingredients return 34 ] -def foo x:boolean -> y:number [ +def foo x:bool -> y:number [ local-scope load-ingredients return 35 @@ -605,7 +605,7 @@ def foo a:number -> b:number [ load-ingredients return 34 ] -def foo a:boolean -> b:number [ +def foo a:bool -> b:number [ local-scope load-ingredients return 35 |