<!DOCTYPE HTML PUBLIC "-//W3C//DTD W3 HTML//EN">
<HTML>
<HEAD>
<META content=text/html;charset=iso-8859-1 http-equiv=Content-Type>
<META content='"MSHTML 4.72.3110.7"' name=GENERATOR>
</HEAD>
<BODY bgColor=#d8d0c8>
<DIV><FONT color=#000000 size=2>Hello,</FONT></DIV>
<DIV><FONT color=#000000 size=2></FONT> </DIV>
<DIV><FONT color=#000000 size=2>I tried the following</FONT></DIV>
<DIV><FONT color=#000000 size=2></FONT> </DIV>
<DIV><FONT color=#000000 size=2>:- typeclass foo(T) where [].</FONT></DIV>
<DIV><FONT size=2>:- type bar(T) ---> bar(T) <= foo(T).</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2></FONT>
<DIV><FONT size=2>I meant a declaration of the type bar, parametric on the type
variable T since T is an instance of typeclass foo.</FONT></DIV></DIV>
<DIV><FONT size=2>And it didn't work...</FONT></DIV>
<DIV><FONT color=#000000 size=2>Is it semantically wrong? If not how to write
it?</FONT></DIV>
<DIV><FONT color=#000000 size=2></FONT> </DIV>
<DIV><FONT color=#000000 size=2>The error is "undefined type foo/1"...
so </FONT><FONT color=#000000 size=2>what does</FONT></DIV>
<DIV><FONT color=#000000 size=2></FONT> </DIV>
<DIV><FONT size=2>:- type foo(T) ---> foo(T).<BR>:- type bar(T) --->
bar(T) <= foo(T).</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT color=#000000 size=2>mean?</FONT></DIV>
<DIV><FONT color=#000000 size=2></FONT> </DIV>
<DIV> </DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>Thanks,</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>Robert Bossy</FONT></DIV>
<DIV><FONT size=2><A
href="mailto:bossy@ccr.jussieu.fr">bossy@ccr.jussieu.fr</A></FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV> </DIV></BODY></HTML>