Subject: Re: publish
From: Craig Chambers (chambers@cs.washington.edu)
Date: Thu Mar 29 2001 - 12:27:40 PST
> TO DO
> - agree on syntax for type synonyms
> -- I am very tempted to use "=" instead of "standsfor"
I don't like standsfor at all, myself. = would be fine with me.
> The following sugar is now properly implemented and is applied before
> desugaring the backquote sugar:
>
> declaration
> forall F where W1: object O1 where W2 isa O2, O3 subtypes T4;
> desugars into:
> forall F where W1,W2: object O1;
> forall F where W1,W2: extend object O1 isa O2;
> forall F where W1,W2: extend object O1 isa O3;
> forall F where W1,W2: extend object O1 subtypes T4;
What is the "where W2" clause for? You added it, right?
-- Craig
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Thu Mar 29 2001 - 12:28:04 PST