Re: published newtc-match.cecil

Subject: Re: published newtc-match.cecil
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Mon Feb 26 2001 - 11:13:15 PST

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Keunwoo Lee: "typechecker problem"
• Previous message: Jonathan Aldrich: "VGJ graph toolkit"
• In reply to: Craig Chambers: "Re: published newtc-match.cecil"

Oops... I guess running the typechecker on stdlib (that's what I did) is
not enough.

I will look into it.

Vass

_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil

• Next message: Keunwoo Lee: "typechecker problem"
• Previous message: Jonathan Aldrich: "VGJ graph toolkit"
• In reply to: Craig Chambers: "Re: published newtc-match.cecil"
• Reply: Vassily Litvinov: "Re: published newtc-match.cecil"

This archive was generated by hypermail 2b25 : Mon Feb 26 2001 - 11:14:04 PST