Subject: Re: publish
From: Keunwoo Lee (klee@cs.washington.edu)
Date: Thu Mar 29 2001 - 22:21:15 PST
On Thu, 29 Mar 2001, Vassily Litvinov wrote:
> I have published in Cecil/src/compiler. Essentially these are changes
> to typechecker and parser, to
> - allow polymorphic synonyms, and
> - change the syntax of synonym decls (= instead of standsfor)
Excellent! I am bursting with fruit flavor.
Incidentally, I had no idea standsfor was ever a keyword. Was this just
never implemented?
> forall Key, Value where Value <= num:
> type synonym table[Value] = table[Key,Value];
>
> method foo(x:table[`T]):void { ... }
>
> The header of method foo will be desugared into:
>
> forall T, Key' where `T <= num: method foo(x:table[Key,T]):void { ... }
What is the significance of the single trailing quote on the first Key?
Is this a typo, "key prime", or something else?
~k
_______________________________________________
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 - 22:22:07 PST