I'm trying to inspect the output of currypp so I can debug an issue I've
been having with default cases. I'm having substantial difficulty figuring
out how it's supposed to be used.
The usage instructions say:
Usage: curry pp <OrgFileName> <InputFilePath> <OutputFilePath> <options>
<OrgFileName> : name of original program source file
<InputFilePath> : name of the actual input file
<OutputFilePath>: name of the file where output should be written
I don't understand the difference between OrgFileName and InputFileName.
My best guess of how to invoke currypp is an invocation like this:
curry pp ilp.curry ilp.curry ilp_out.curry defaultrules -v
Where "ilp.curry" is the file I want to transform, and I am running this
from the directory that contains ilp.curry .
However, this simply gives the following error:
> Curry Preprocessor (version of 12/01/2017)
> ERROR: context(:(system,/(open,4)),No such file or directory)
I'd appreciate help finding a way to understand the output of the
Received on Sa Apr 01 2017 - 13:50:14 CEST
This archive was generated by hypermail 2.3.0
: Mi Okt 21 2020 - 07:15:05 CEST