Subject: Re: another fun one
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Mon Apr 09 2001 - 14:14:37 PDT
Just for a record, this is how to write the offending includes() method so
that it is type-correct:
method includes(t@:hash_keyed_set[`Key,`Value], val:any):bool
{ hashkeyedset_includes(t,val) }
method hashkeyedset_includes(t:hash_keyed_set[`Key,`Value], val:any):bool
{ false }
method hashkeyedset_includes(t:hash_keyed_set[`Key,`Value],
val@:`Val<=keyed_hashable[`Key1]):bool
where Value<=Val, Val<=comparable[Val]
{ ... the actual code as before ... }
Vass
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Mon Apr 09 2001 - 14:15:05 PDT