Subject: Re: Vortex static type checker
From: Craig Chambers (chambers@cs.washington.edu)
Date: Wed Oct 04 2000 - 17:40:24 PDT
You have to invoke "typecheck" from the Vortex prompt on your test program. It
should definitely flag the "hello" call as bad. The Cecil interpreter doesn't
do typechecking, nor does the Vortex command-line interpreter part, nor does
Vortex by default when it's compiling a program. Weird, huh? It reflects the
history of typechecking being implemented late and even now only partially
(implementation-side typechecking is still not enabled by default, and I don't
know if it even runs without crashing). Sad.
-- Craig
Sorin Lerner wrote:
>
> 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:42:16 PDT