From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <c4150ec22a14e913e50d302d0625be90@terzarima.net>
To: 9fans@cse.psu.edu, inferno-list@vitanuova.com
Subject: Re: [9fans] limbo polymorphism
From: Charles Forsyth <forsyth@terzarima.net>
Date: Thu, 20 May 2004 21:10:25 +0100
In-Reply-To: <dc00ea4e95195d2cdb419f275f2f4953@vitanuova.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Cc:
Topicbox-Message-UUID: 81d597ea-eacd-11e9-9e20-41e7f4b1d025

	Env: adt[V]
		for {
		V =>
			discard: fn(v: self V);
		}
	{

following a suggestion of roger's, that for clause might move
to follow the adt declaration, that's one reason the syntax
hasn't been published yet.  it doesn't affect functionality.