On Wed, 2007-02-07 at 19:17 -0500, Jacques Carette wrote:
> >
> Right - but AB1 and AB2 are different, because they have different
> axioms. And until it is known that they are satisfied, instantiation
> can't happen. So I guess I don't quite understand the problem (ie I
> don't see a problem).
The problem is you were saying that the instantiation is implicit,
and I was arguing that no, you actually have to instantiate
AB1 and AB2:
instance AB1[int] {}
precisely because doing so asserts the axioms of AB1 are
obeyed for the int case. In particular, it isn't hard
to imagine that AB1 and AB2 actually have contradictory
axioms, so you can't simultaneously instantiate both.
--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net
-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier.
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
