Re: published newtc-match.cecil


Subject: Re: published newtc-match.cecil
From: Craig Chambers (chambers@cs.washington.edu)
Date: Sun Feb 25 2001 - 10:37:13 PST


I noticed some weirdness. In time.cecil,
=(indexed[dymamic], indexed[dynamic]) gives a type error.

Another new type error reported in bc-compiler.cecil.

And, ironically, in newtc-wint.cecil.

And lots in cfg-manipulate-loops.cecil.

And in cfg-traversal-interface and cfg-traversal-implementation and
cfg-traversal-continue.

And lots in composer.cecil.

You should try out your typechecker on the Vortex and Whirlwind source code to
see if there are problems, next time.

-- Craig

Vassily Litvinov wrote:
>
> This change should allow Craig's examples with dynamic type to typecheck
> (as well as Sorin's code to use "dynamic" more aggressively).
>
> If you notice some weird behavior, let me know.
> Vass
>
> _______________________________________________
> Cecil mailing list
> Cecil@cs.washington.edu
> http://majordomo.cs.washington.edu/mailman/listinfo/cecil
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil



This archive was generated by hypermail 2b25 : Sun Feb 25 2001 - 10:36:04 PST