about summary refs log tree commit diff stats
path: root/054static_dispatch.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-09-17 14:43:13 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-09-17 14:43:13 -0700
commit0f2781f8a28881084295663c3e608e5f6f159047 (patch)
tree46d0d2df3cbd29c329a314ddf0f8b3a92e1d4d08 /054static_dispatch.cc
parent59085fca6083a08f67911a35c02f012c19d7df48 (diff)
downloadmu-0f2781f8a28881084295663c3e608e5f6f159047.tar.gz
3393
Diffstat (limited to '054static_dispatch.cc')
-rw-r--r--054static_dispatch.cc7
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