runcurry command has three modes of operation:
Shell command: execute the
main operation of a Curry program whose file name is provided as an argument, e.g.,
runcurry [Curry system options]
Interactive mode: execute the
main operation of a Curry program whose program text comes from the standard input, e.g.,
runcurry ...type your Curry program until end-of-file...
Shell script: execute the
main operation of a Curry program whose program text is in a script file starting with
If the name of the script file has a suffix, it must be different from
If the script file contains the line
#jit, it is compiled and saved as an executable so that it is faster executed when called the next time.
Note that the
runcurry command is intended to compile simple Curry programs which use only base libraries but no libraries defined in other Curry packages. If this behavior should be changed, one has to adapt the constant
RunCurry.replOpts in this package.
examples contains various examples of using