Re: no names allowed, we serve types only

From: Keith H Duggar <duggar_at_alum.mit.edu>
Date: Sun, 14 Feb 2010 22:21:38 -0800 (PST)
Message-ID: <915a4c0f-e853-406c-a17f-9f777d60f7d8_at_r24g2000yqd.googlegroups.com>


Oops! Duplicated X should have been Y.

> () : X -> Integer
> () : X -> Integer
> Integer() : X -> Integer
> Integer() : X -> Integer

...
> delete () : X -> Integer
> delete () : X -> Integer

should have been

> () : X -> Integer
> () : Y -> Integer
> Integer() : X -> Integer
> Integer() : Y -> Integer

...
> delete () : X -> Integer
> delete () : Y -> Integer

KHD Received on Mon Feb 15 2010 - 07:21:38 CET

Original text of this message