Subject: Vortex static type checker
From: Sorin Lerner (lerns@cs.washington.edu)
Date: Wed Oct 04 2000 - 17:15:49 PDT
Hello everybody,
I can't seem to get the static type checker going in the following Cecil
example.
method my_print(i:int) {
i.print;
}
my_print(3);
my_print("hello");
I'd like to see the compiler complain on the line with my_print("hello").
I tried declaring my_print as
method my_print(i : int)
method my_print(i@ : int)
method my_print(i@ int)
and neither of these lead to a compile time error. Can anybody help me
with this?
Thanks,
Sorin
This archive was generated by hypermail 2b25 : Wed Oct 04 2000 - 17:15:56 PDT