|
dependencies:
|
[Dependency "base" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "currypath" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "directory" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "filepath" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "process" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "time" [[VGte "3.0.0",VLt "4.0.0"]]]
|
|
documentation:
|
runcurry: a command to run a Curry program without invoking the REPL
====================================================================
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] <Curry program name> <run-time arguments>
* 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.
The directory `examples` contains various examples of using `runcurry`.
|