Re: PAKCS 3.3.0 release available

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Tue, 16 Feb 2021 11:39:42 +0100

Hi Sergio,

does the program use default rules and CurryPP?
The preprocessor translates default rules with set functions
so that it adds the import to the translated program.
Although this dependency is mentioned in the manual,
it might be better to explicitly require this import
in the source program so that it is visible to the programmer.
Sometimes I had problems with this implicit dependency
since the front-end had an unexpected behavior w.r.t.
recompiling the program. Therefore, some programs
in the example suite of the currypp package contain
such explicit imports. Maybe, CurryPP should not add
these imports but just check whether they are present
and report an error if they are not present.

Regards,

Michael

On 16.02.21 02:50, h7sa_at_pdx.edu wrote:
> Hi Michael,
>
> Thanks for your reply. I ported the translator from ICurry to JSON that Andy uses for his work. I got the following error:
>
> Main.curry:3:18-3:37 Error:
> Interface for module Control.SetFunctions not found
>
> The program does not use set functions. After various experiments, I coded an
> import of Control.SetFunctions and the problem went away.
>
> I looked at the FlatCurry version of 3.2.0 and to my surprise Control.SetFunctions is imported although the source Curry does not import it.
>
> All is working, but I think you want to know the details.
>
> Best regards,
> Sergio
>
> On Mon, 15 Feb 2021, at 15:13, Michael Hanus <mh_at_informatik.uni-kiel.de> wrote:
>
> > Hi Sergio,
> >
> > thanks for your careful reading. Actually, I haven't looked at the
> > README for some time.
> >
> > >
> > > I think that the README.md file is obsolete regarding the discussion
> > > of tests. There is no doTest in testsuite and there is no testsuite2.
> >
> > Right, I corrected it.
> >
> > > I ran test.sh in testsuite (guessing this is current) and I got:
> > > ERROR in curry check:
> > > cat: xxx4588: No such file or directory
> >
> > I checked it and it might be caused due to the fact that you
> > had a version of CurryCheck for PAKCS 2.x Furthermore, the
> > errors produced by this problem where not shown due to an error
> > in `test.sh` which I fixed.
> >
> > > I installed currycheck with cypm. I got:
> > > INFO Warning: your repository index is older than 24 days.
> > > INFO Use 'cypm update' to download the newest package index.
> > > I was a bit surprised since I thought that the index for 3.3
> > > would not exists or be empty.
> > > But I am learning the index must be global across versions.
> >
> > Yes, there is only one repository containing all package specifications.
> >
> > > The execution of test.sh ends with no output which I interpret as no
> > > errors.
> >
> > Yes. If you execute `./test.sh -v` you also see the output.
> > Without `-v` it is only shown in case of errors.
> >
> > > I am planning to port some older code to 3.3 in the next few days.
> >
> > I hope it does not cause too much trouble.
> >
> > Thanks for your feedback and best regards,
> >
> > Michael
> >
>

Received on Di Feb 16 2021 - 11:40:09 CET