<br><font size=2 face="sans-serif">Hello,</font>
<br>
<br><tt><font size=2>&gt; data LSet t where<br>
&gt; &nbsp; &nbsp; Nil :: LSet Nil<br>
&gt; &nbsp; &nbsp; --either add the new element or do nothing<br>
&gt; &nbsp; &nbsp; Ins :: (Member a t b<br>
&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; , If b (LSet t) (LSet (a ::: t))
r) <br>
&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; =&gt; L a -&gt; LSet t -&gt; r</font></tt>
<br><tt><font size=2>&gt;</font></tt>
<br><tt><font size=2>The constructor Ins needs to return an LSet. Maybe
try replacing occurrences of r with (LSet r).</font></tt>
<br><tt><font size=2><br>
-Jeff</font></tt>
<br>
<br>
<span style="font-family:'Arial',sans-serif; font-size:8pt; color:#000000">---<br>
<br>
This e-mail may contain confidential and/or privileged information. If you <br>
are not the intended recipient (or have received this e-mail in error) <br>
please notify the sender immediately and destroy this e-mail. Any <br>
unauthorized copying, disclosure or distribution of the material in this <br>
e-mail is strictly forbidden.</span>