Subject: Re: commented out checks in typechecker
From: Craig Chambers (chambers@cs.washington.edu)
Date: Wed Mar 28 2001 - 18:06:03 PST
Vassily Litvinov wrote:
>
> Craig,
>
> I noticed that a couple of type checks have been commented out - is this
> for a reason? Namely:
>
> - verifying that *all* fields of a concrete object are initialized
> in an object declaration/expression, and
This was commented out because we violate this too much in the Vortex code. So
we decided to relax the type system, since it was perceived as too onerous a
restriction.
>
> - verifying that the "when" expression of a predicate object
> declaration has type boolean
I'm not sure why this one is commented out. It seems like it should be put back
in place. Can you try that?
>
> Vass
-- Craig
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Wed Mar 28 2001 - 18:06:04 PST