published newtc-match.cecil

Subject: published newtc-match.cecil
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Fri Feb 23 2001 - 19:37:10 PST

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Craig Chambers: "publishing"
• Previous message: Craig Chambers: "typechecker bug"
• Next in thread: Craig Chambers: "Re: published newtc-match.cecil"
• Reply: Craig Chambers: "Re: published newtc-match.cecil"

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

• Next message: Craig Chambers: "publishing"
• Previous message: Craig Chambers: "typechecker bug"
• Next in thread: Craig Chambers: "Re: published newtc-match.cecil"
• Reply: Craig Chambers: "Re: published newtc-match.cecil"

This archive was generated by hypermail 2b25 : Fri Feb 23 2001 - 19:38:03 PST