ICurry is an intermediate format to compile Curry to different imperative languages. ICurry is intended to be generic so that different target languages can be supported with a similar effort.
This package contains the definition of ICurry as Curry data types (module
ICurry.Types), a simple compiler to translate Curry programs to ICurry, and an interpreter for ICurry programs based on the small-step semantics of ICurry. The latter can also be used to visualize the graph constructed during the execution of ICurry programs.
These tools are available in the
icurry binary installed with this package.
Translated ICurry programs have the suffix
icy. The suffix
icurry is already used by the front end for interface files of Curry programs.
Note that the ICurry compiler is a prototype used to compile single Curry modules into corresponding ICurry programs. If a Curry module has several imports, one has to compile these imports into ICurry manually (the automation of this process will be done in the future). In the following, we describe various uses of the
To compile a Curry program
Prog.curry into the ICurry format, invoke the command
This will generate the file
.curry/Prog.icy, i.e., the suffix
icy is used for generated ICurry programs. If the program is located in a non-local directory, the generated file is placed relative to the directory of the source program.
In order to see a human-readable presentation of the generated program, use option
> icurry -v Prog
As a default, the ICurry compiler lifts all nested case/let expressions, i.e., it transforms them into auxiliary top-level operations. This is also necessary for the simple interpreter contained in this package (see below). If an implementation of ICurry can deal with nested case/let expressions, one can use the option
--nolifting to supress this lifting.
One can also use a simple (i.e., not efficient) interpreter to execute ICurry programs and visualize their behavior. In this case, one has to provide the name of a 0-ary function
mymain and invoke
icurry -m mymain Prog
Prog.curry into ICurry (but do not store the compiled program in a file), invokes the ICurry interpreter (see
ICurry.Interpreter), and shows the results of evaluating
--interactive, the ICurry interpreter stops after each result and ask for a confirmation to proceed, which is useful if their might be infinitely many results. For instance, the program
BoolList.curry in the
examples directory defines the function
main which non-deterministically evaluates to any list of Booleans. Hence, it is reasonable to execute it by
> icurry -m main --interactive BoolList
The ICurry interpreter can also visualize the term graph manipulated during execution as a PDF generated by
icurry is invoked by
icurry -m mymain --graph Prog
the graph after each step is shown by
evince (see parameter
--viewer) and each step is executed in one second.
--interactive in combination with
--graph shows more more details about the state of the interpreter and asks for a confirmation to proceed after each step of the interpreter:
icurry -m mymain --graph --interactive Prog
More executions options are available by invoking the interpreter manually via the operation
The interpreter evaluates expressions up to head normal form. In order to evaluate the main expression to normal form, one can wrap it with the function
mymain = normalForm (reverse [1,2,3])
The current version of the interpreter supports only the prelude operations