findall resulting in strange message

From: Wolfgang Jeltsch <wolfgang_at_cs.ioc.ee>
Date: Fri, 19 Apr 2013 13:34:45 +0300

Hello,

I have a problem with using KiCS2. I have a source file that contains
the following code:

> sublist :: [a] -> [a]
> sublist (pre ++ sub ++ post) = sub

Now I load this into KiCS2 and enter the expression

    findall (\sub -> sub =:= sublist "Hallo!")

at the prompt. KiCS2 answers with the message

    Main: external_ndho_C_try .

What does this mean? Does this indicate a bug?

Best wishes,
Wolfgang

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry

Received on Fr Apr 19 2013 - 14:22:22 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:11 CET