Subject: Re: publish
From: Craig Chambers (chambers@cs.washington.edu)
Date: Thu Mar 29 2001 - 12:53:49 PST
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:54:03 PST