Got it. Thanks for taking the time to clarify it for me.
Ray
On Fri, Nov 2, 2012 at 3:05 PM, Sam Tobin-Hochstadt wrote:
> On Fri, Nov 2, 2012 at 2:40 PM, Ray Racine wrote:
> > The immediate below works for me. It nags in the sense that S1 has a
> > irrelevant type parameter.
> > Below I atte
On Fri, Nov 2, 2012 at 2:40 PM, Ray Racine wrote:
> The immediate below works for me. It nags in the sense that S1 has a
> irrelevant type parameter.
> Below I attempt to shift the type parameter inside, which the TR parse
> happily allows. However, later things fall apart.
>
> One interpretatio
The immediate below works for me. It nags in the sense that S1 has
a irrelevant type parameter.
Below I attempt to shift the type parameter inside, which the TR parse
happily allows. However, later things fall apart.
One interpretation of what I'm tying to do is: S0 encodes a Collection of
T, S1
3 matches
Mail list logo
