Commit 90b2527b authored by Michael Hanus 's avatar Michael Hanus

Imports updated

parent 1dc42e05
...@@ -14,7 +14,9 @@ ...@@ -14,7 +14,9 @@
PAKCS/KiCS2 distributions.", PAKCS/KiCS2 distributions.",
"category": [ "Rewriting", "Narrowing" ], "category": [ "Rewriting", "Narrowing" ],
"dependencies": { "dependencies": {
"abstract-curry": ">= 2.0.0" "base" : ">= 1.0.0, < 2.0.0",
"abstract-curry": ">= 2.0.0",
"finite-map" : ">= 0.0.1"
}, },
"compilerCompatibility": { "compilerCompatibility": {
"pakcs": ">= 2.0.0", "pakcs": ">= 2.0.0",
......
...@@ -16,7 +16,8 @@ module Rewriting.Files ...@@ -16,7 +16,8 @@ module Rewriting.Files
import AbstractCurry.Files (tryReadCurryFile) import AbstractCurry.Files (tryReadCurryFile)
import AbstractCurry.Types import AbstractCurry.Types
import FiniteMap (FM, listToFM) import Data.FiniteMap (FM, listToFM)
import Rewriting.Rules (Rule, TRS, rCons) import Rewriting.Rules (Rule, TRS, rCons)
import Rewriting.Substitution import Rewriting.Substitution
import Rewriting.Term (Term (..), tConst) import Rewriting.Term (Term (..), tConst)
......
...@@ -15,9 +15,10 @@ module Rewriting.Narrowing ...@@ -15,9 +15,10 @@ module Rewriting.Narrowing
, dotifyNarrowingTree, writeNarrowingTree , dotifyNarrowingTree, writeNarrowingTree
) where ) where
import FiniteMap (eltsFM)
import Maybe (fromMaybe, mapMaybe) import Maybe (fromMaybe, mapMaybe)
import List (maximum) import List (maximum)
import Data.FiniteMap (eltsFM)
import Rewriting.DefinitionalTree import Rewriting.DefinitionalTree
import Rewriting.Position import Rewriting.Position
import Rewriting.Rules import Rewriting.Rules
......
...@@ -12,10 +12,11 @@ module Rewriting.Substitution ...@@ -12,10 +12,11 @@ module Rewriting.Substitution
, applySubstEq, applySubstEqs, restrictSubst, composeSubst , applySubstEq, applySubstEqs, restrictSubst, composeSubst
) where ) where
import FiniteMap
import Function (both) import Function (both)
import List (intercalate) import List (intercalate)
import Maybe (fromMaybe) import Maybe (fromMaybe)
import Data.FiniteMap
import Rewriting.Term import Rewriting.Term
-- --------------------------------------------------------------------------- -- ---------------------------------------------------------------------------
......
...@@ -19,10 +19,11 @@ module Rewriting.Term ...@@ -19,10 +19,11 @@ module Rewriting.Term
) where ) where
import Char ( isAlphaNum ) import Char ( isAlphaNum )
import FiniteMap ( listToFM, lookupFM )
import List ( nub, intercalate, maximum, minimum ) import List ( nub, intercalate, maximum, minimum )
import Maybe ( fromMaybe ) import Maybe ( fromMaybe )
import Data.FiniteMap ( listToFM, lookupFM )
-- --------------------------------------------------------------------------- -- ---------------------------------------------------------------------------
-- Representation of first-order terms and term equations -- Representation of first-order terms and term equations
-- --------------------------------------------------------------------------- -- ---------------------------------------------------------------------------
......
...@@ -15,8 +15,9 @@ module Rewriting.Unification ...@@ -15,8 +15,9 @@ module Rewriting.Unification
) where ) where
import Either (isRight) import Either (isRight)
import FiniteMap (FM, emptyFM, addToFM, lookupFM)
import List (mapAccumL) import List (mapAccumL)
import Data.FiniteMap (FM, emptyFM, addToFM, lookupFM)
import Rewriting.Substitution (Subst, emptySubst, extendSubst) import Rewriting.Substitution (Subst, emptySubst, extendSubst)
import Rewriting.Term (VarIdx, Term (..), TermEq, TermEqs) import Rewriting.Term (VarIdx, Term (..), TermEq, TermEqs)
import Rewriting.UnificationSpec (UnificationError (..), showUnificationError) import Rewriting.UnificationSpec (UnificationError (..), showUnificationError)
......
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