Uploaded at Oct 11 08:22:16 2022 (UTC)
Succesfully tested at Oct 12 06:59:49 2022

Curry Package currypp

The Curry Preprocessor

This package contains the implementation of the Curry preprocessor currypp which supports some extensions for Curry programs, like

  • integrated code, i.e., the integration of code written in some other language into Curry programs, like regular expressions, format specifications (printf), HTML and XML code,
  • default rules,
  • contracts.

Details about the usage can be found in the manual. Here is a short summary how to use integrated code in Curry programs.

General usage of the code integrator:

If the pre-processor is installed as the binary currypp, Curry source files containing integrated code can be translated by running currypp as follows:

currypp <org-filename> <input-file> <output-file> foreigncode [-o]

The parameters are:

  • The name of the original Curry source file.
  • The name of the file containing the input to be translated.
  • The name of the output file where the translated code should be stored.
  • If the optional parameter -o is given, a copy of the translated code is stored in the file org-filename.CURRYPP.

  • To preprocess SQL statement, add the option:

     --model:<modelname>_SQLCode.info

Writing files with integrated code:

The basic syntax of integrated code in Curry program looks like

``langtag expression''

Here, langtag is a tag indicating the kind of integrated language, and expression is an expression of this language.

If enclosing accents are used in the expression itself, the actual enclosing accents need to be of a higher number than the inner graves, i.e., the following integrated code expression is also allowed:

````langtag expression''''

The number of opening and closing accents must always be identical.

Currently, the following langtag values are supported:

  • format - printf Syntax
  • printf - same as above (but with an implicit putStr call)
  • regex - Polymorphic regex expressions
  • html - Standard HTML
  • xml - Standard XML
  • sql - SQL syntax

See the examples and source file comments for further details.

Download

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