Commit 9691d56f authored by Michael Hanus 's avatar Michael Hanus
Browse files

Merge branch 'master' of...

Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/chr-curry into typeclasses
parents 65c380ed 90281dac
......@@ -5,6 +5,7 @@
"synopsis": "A library to use Constraint Handling Rules in Curry programs",
"category": [ "Constraints" ],
"dependencies": {
"prolog": ">= 1.0.0"
},
"exportedModules": [ "CHR" ],
"description": "This library an implementation of Constraints Handling
......
......@@ -11,8 +11,7 @@
--- > pakcs :l MyRules :add CHR :eval 'compileCHR "MyCHR" [rule1,rule2]' :q
---
--- @author Michael Hanus
--- @version May 2016
--- @category general
--- @version May 2017
----------------------------------------------------------------------
{-# OPTIONS_CYMAKE -Wno-incomplete-patterns -Wno-overlapping #-}
......@@ -27,18 +26,20 @@ module CHR(CHR,Goal,(/\), (<=>), (==>), (|>), (\\),
) where
import Char
import Findall (rewriteSome)
import Findall ( rewriteSome )
import FlatCurry.Types
import FlatCurry.Files
import FlatCurry.Goodies
import FlatCurry.Pretty (defaultOptions, ppTypeExp)
import FlatCurry.Pretty ( defaultOptions, ppTypeExp )
import List
import Prolog
import Pretty (pretty)
import Pretty ( pretty )
import SetRBT
import Unsafe -- for tracing
import XML
import Prolog.Types
import Prolog.Show ( showPlClause, showPlGoals )
-------------------------------------------------------------------------------
-- Operator definitions for writing CHRs:
......
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