Subject: typechecker bug
From: Craig Chambers (chambers@cs.washington.edu)
Date: Fri Feb 23 2001 - 17:46:09 PST
Consider the following trivial program:
concrete object foo[`T];
let x:foo[dynamic] := foo[int];
let y:foo[dynamic] := foo[none];
let z:foo[int] := foo[dynamic];
let w:foo[none] := foo[dynamic];
let v:foo[dynamic] := foo[dynamic];
Since dynamic is a placeholder for anything, and anything can be assigned to
something of type dynamic, and vice versa, all of these assignments should
typecheck. But only the last does. Vass, can you track this down and fix it?
Thanks.
-- Craig
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Fri Feb 23 2001 - 17:47:03 PST