diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 14:43:13 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 14:43:13 -0700 |
commit | 0f2781f8a28881084295663c3e608e5f6f159047 (patch) | |
tree | 46d0d2df3cbd29c329a314ddf0f8b3a92e1d4d08 /054static_dispatch.cc | |
parent | 59085fca6083a08f67911a35c02f012c19d7df48 (diff) | |
download | mu-0f2781f8a28881084295663c3e608e5f6f159047.tar.gz |
3393
Diffstat (limited to '054static_dispatch.cc')
-rw-r--r-- | 054static_dispatch.cc | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/054static_dispatch.cc b/054static_dispatch.cc index 3f08f6b5..a2cbe17a 100644 --- a/054static_dispatch.cc +++ b/054static_dispatch.cc @@ -614,17 +614,16 @@ def foo a:bool -> b:num [ +error: main: failed to find a matching call for 'y:num <- foo x' :(scenario override_methods_with_type_abbreviations) -type string = address:@:char def main [ local-scope s:text <- new [abc] 1:num/raw <- foo s ] -def foo a:text -> result:num [ +def foo a:address:array:character -> result:number [ return 34 ] -# identical to previous variant once you take type abbreviation into account -def! foo a:string -> result:num [ +# identical to previous variant once you take type abbreviations into account +def! foo a:text -> result:num [ return 35 ] +mem: storing 35 in location 1 |