This package contains libraries to deal with the source code level of Curry programs.
There are some libraries to check the intended usage of some Curry features.
Language.Curry.CheckDetUsage: check the correct use
of DET annotations to mark deterministic operations as
described in http://dx.doi.org/10.1007/978-3-319-51676-9_1
Language.Curry.CheckOperations: check the correct
use of set
functions and whether some auxiliary operations are not used, mainly
the non-strict equality operation Prelude.=:<= which
used to implement functional
patterns.
Furthermore, there is a library
Language.Curry.StringClassifier to process strings
containing Curry source code.
The directory examples of this package contains example
programs showing unintended uses of Curry features which are detected by
the libraries of this package. Note that these libraries are integerated
in CurryCheck so that these unintended uses are detected when processing
these examples with CurryCheck.