[Types-sig] New syntax?

[Paul Prescod]

Martijn Faassen wrote:
> 
> ...
> Didn't you think parameterized types looked fairly straightforward in my
> syntax proposal?

I must have missed something. Could you show me how to do Btree of X and
then make concrete types Btree of Int and Btree of Functions From String
to Int?

 Paul Prescod

-- 
 Paul Prescod  - ISOGEN Consulting Engineer speaking for himself
Three things never trust in: That's the vendor's final bill
The promises your boss makes, and the customer's good will 
http://www.geezjan.org/humor/computers/threes.html