The 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
#!/usr/bin/env runcurry
If the name of the script file has a suffix, it must be different from .curry
and .lcurry
.
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.
The directory examples
contains various examples of using runcurry
.