Uploaded at Mar 18 12:26:41 2024 (UTC)
Succesfully tested at May 19 04:42:04 2024

Curry Package runcurry

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]

  • 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.


Download

Checkout with CPM:
cypm checkout runcurry 3.0.0
Package source:
runcurry-3.0.0.tar.gz [browse]
Source repository:
https://github.com/curry-packages/runcurry.git