Commit 17cb7a9e authored by Michael Hanus 's avatar Michael Hanus
Browse files

Imports updated

parent f5832f18
......@@ -5,9 +5,11 @@
"synopsis": "A library to use Constraint Handling Rules in Curry programs",
"category": [ "Constraints" ],
"dependencies": {
"base" : ">= 1.0.0, < 2.0.0",
"flatcurry" : ">= 2.0.0",
"prolog" : ">= 1.0.0",
"redblacktree" : ">= 0.0.1",
"searchtree" : ">= 1.0.0",
"wl-pprint" : ">= 0.0.1",
"xml" : ">= 2.0.0"
},
......
......@@ -11,7 +11,7 @@
--- > pakcs :l MyRules :add CHR :eval 'compileCHR "MyCHR" [rule1,rule2]' :q
---
--- @author Michael Hanus
--- @version May 2017
--- @version December 2018
----------------------------------------------------------------------
{-# OPTIONS_CYMAKE -Wno-incomplete-patterns -Wno-overlapping #-}
......@@ -26,19 +26,19 @@ module CHR(CHR,Goal,(/\), (<=>), (==>), (|>), (\\),
) where
import Char
import Findall ( rewriteSome )
import FlatCurry.Types
import FlatCurry.Files
import FlatCurry.Goodies
import FlatCurry.Pretty ( defaultOptions, ppTypeExp )
import List
import Unsafe -- for tracing
import XML
import Control.Findall ( rewriteSome )
import Data.Set.RBTree ( SetRBT, member, empty, insert )
import FlatCurry.Types
import FlatCurry.Files
import FlatCurry.Goodies
import FlatCurry.Pretty ( defaultOptions, ppTypeExp )
import Prolog.Types
import Prolog.Show ( showPlClause, showPlGoals )
import Text.Pretty ( showWidth )
import XML
-------------------------------------------------------------------------------
-- 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