Re: publish

Subject: Re: publish
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Mon Apr 02 2001 - 15:16:11 PDT

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Vassily Litvinov: "problems with maelstrom?"
• Previous message: Craig Chambers: "Michael Noth on cecil@cs"
• In reply to: Craig Chambers: "Re: publish"
• Next in thread: Jonathan Aldrich: "publish"
• Next in thread: Vassily Litvinov: "Re: publish"

Just to re-iterate, definitions of type synonyms use lexical (aka static)
scoping. In particular, type names refer to global type names. Type
variables which are not synonym's formals are replaced, upon instantiation
of the synonym, with freshly created type variables (ie you cannot access
type variables of some other declaration in your synonym, except by means
of passing them as formals).

Vass

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

• Next message: Vassily Litvinov: "problems with maelstrom?"
• Previous message: Craig Chambers: "Michael Noth on cecil@cs"
• In reply to: Craig Chambers: "Re: publish"
• Next in thread: Jonathan Aldrich: "publish"
• Next in thread: Vassily Litvinov: "Re: publish"
• Reply: Vassily Litvinov: "Re: publish"

This archive was generated by hypermail 2b25 : Mon Apr 02 2001 - 15:17:06 PDT