Commit edbecd2b authored by Michael Hanus 's avatar Michael Hanus

README updated

parent 81b23516
The Curry Preprocessor
======================
This repository contains the implementation of the
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
* 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.
* [default rules](http://doi.org/10.1017/S1471068416000168),
* [contracts](http://dx.doi.org/10.1007/978-3-642-27694-1_4).
Details about the usage can be found in the manual.
Here is a short summary of the usage of integrated code.
Here is a short summary how to use integrated code
in Curry programs.
General usage of the code integrator:
......@@ -32,7 +33,9 @@ The parameters are:
* 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: --model:<modelname>_SQLCode.info
* To preprocess SQL statement, add the option:
--model:<modelname>_SQLCode.info
Writing files with integrated code:
......@@ -45,8 +48,9 @@ The basic syntax of integrated code in Curry program looks like
Here, `langtag` is a tag indicating the kind of integrated language,
and `expression` is an expression of this language.
If `` or '' are used in the expression itself, the enclosing accents
need to be of higher number than the inner graves, i.e., the following
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''''
......@@ -55,11 +59,11 @@ 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
* `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.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment