Subject: Re: publish
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Thu Mar 29 2001 - 12:58:49 PST
That's what I meant to say. I just verified, and it works.
Vass
On Thu, 29 Mar 2001, Craig Chambers wrote:
> Vassily Litvinov wrote:
> > As I mentioned, the following now does the right thing:
> >
> > extend i_vector[`T] subtypes i_vector[`S>=T];
>
> But does
>
> template object i_vector[`T] isa vector[`T] subtypes i_vector[`S >= T];
>
> work?
>
> -- Craig
>
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Thu Mar 29 2001 - 12:59:04 PST