oceani: use new slice syntax for argv argument.

[ocean] / csrc / oceani-tests.mdc

diff --git a/csrc/oceani-tests.mdc b/csrc/oceani-tests.mdc
index 958575c63cb4e1860d4fb88d1501df726b8fc8a7..9db8e9363a469d66beb43cdceae215136542a862 100644 (file)
--- a/csrc/oceani-tests.mdc
+++ b/csrc/oceani-tests.mdc
@@ -113,7 +113,7 @@ calculations on them.
 
 ###### test: valvar
 
-       func main(argv:[argc::]string)
+       func main(argv:[]string)
                a := 23; b:=12 ; b1 := -b
                print a, b, a+b, a-b, a*b, a/b, a%b
                print a<b, a<=b, a>b, a>=b, a<a, a==b, a==a
@@ -319,10 +319,11 @@ Here I break it into two parts, keeping the array code separate.
 
 ###### test: sayhello
 
-       func main(av:[ac::number]string)
+       func main(av:[]string)
                A := $av[1]; B := $av[2]
                astr := av[3]
-               bbool := av[ac-1] == "True"
+               l := av[]
+               bbool := av[l-1] == "True"
                print "Hello World, what lovely oceans you have!"
                /* When a variable is defined in both branches of an 'if',
                 * and used afterwards, the variables are merged.
@@ -749,12 +750,12 @@ A simple linked list example
                        freelist(lp)
                        @free = list.next
 
-       func main(argv:[ac::]string)
+       func main(argv:[]string)
                list : linkage
 
                insert(list, "@start");
                insert(list, "~end")
-               for i:=1; then i=i+1; while i < ac:
+               for i:=1; then i=i+1; while i < argv[]:
                        insert(list, argv[i])
                insert(list, "Hello!")
                printlist(list)
@@ -948,6 +949,7 @@ various places that `type_err()` are called.
                while 1 if True else False:
                        print
                case 2: print "two"
+               print "one" ++ a4[], c[]
 
 ###### output: type_err3
        .tmp.code:8:12: error: expected number but variable 'c' is string
@@ -983,6 +985,8 @@ various places that `type_err()` are called.
        .tmp.code:34:14: error: cannot find requested field in foo
        .tmp.code:35:17: error: have string but need number
        .tmp.code:38:29: error: expected number found Boolean
+       .tmp.code:41:23: error: have number but need string
+       .tmp.code:41:29: error: string cannot provide length
        oceani: type error in program - not running.
 
 ###### test: type_err4