On 11/05/2006 07:56 AM, Christian Aistleitner wrote:
> Hallo,
>
>> (s: %) = (t: %): Boolean = {
>>
>> if leaf? s then
>> if leaf? t then leaf s = leaf t
>> else false
>>
>> else
>> name()$(operator s) = name()$(operator t) and
>> <<code zur ueberpruefung der gleichheit der argumente>>
>>
>>
>> Das funktioniert natuerlich nicht. [...]
>> Wie macht man das dann?
>
> ZB so, wie ich das schon einmal im Mai öffentlich auf der
> Aldor-Combinat-devel Mailingliste vorgeschlagen habe:
> http://sourceforge.net/mailarchive/message.php?msg_id=15776706
Ah, good. Well done, Christian. Thank you very much. Sometimes
information just gets lost in the mailing list. :-(
> Damals hatte ich aber noch keine Ahnung, warum es (manchmal) schiefgeht.
> Heute kann man das teilweise mit Type context erklären. Aber manchmal
> zwickt auch diese Erklärung.
>
> Mit obigen Workaround bin ich jedenfalls immer gut gefahren.
>
> --
> LG,
> Christian
Martin, if you put that workaround into your code then put also a link
to the mailing list and better still, explain in the .nw file, why you
introduce an extra function.
I even believe that the introduction of a function is necessary and not
a workaround because of this type context business.
Ralf
-------------------------------------------------------------------------
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
_______________________________________________
Aldor-combinat-devel mailing list
Aldor-combinat-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
