Uploaded at Dec 30 18:22:59 2021
Succesfully tested at Jan 19 08:56:53 2022

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.

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.


Download

Checkout with CPM:
cypm checkout runcurry 3.0.0
Package source:
runcurry-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/runcurry.git