Jonathan S. Shapiro writes:
> Consider something like:
>
> (deftypeclass (Eql 'a)
> == : (fn ('a 'a) 'a))
^^I take it you meant "bool" here. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
