diff --git a/src/Sapl/Linker/SaplLinkerShared.icl b/src/Sapl/Linker/SaplLinkerShared.icl index 3ac8cb77411536cf0d3fab3527fe340156e99d7a..318aea6cce6d26d7633ac53e5d0a3bd01c20098b 100644 --- a/src/Sapl/Linker/SaplLinkerShared.icl +++ b/src/Sapl/Linker/SaplLinkerShared.icl @@ -2,7 +2,7 @@ implementation module Sapl.Linker.SaplLinkerShared import StdTuple, StdBool, StdInt, StdFile import Data.Maybe, Text.StringAppender -from Data.Map import :: Map, :: Size +from Data.Map import :: Map (..) import qualified Data.Map as DM from Data.Set import :: Set import System.File, System.Directory, Data.Error diff --git a/src/Sapl/Target/Flavour.dcl b/src/Sapl/Target/Flavour.dcl index abcb7a9649d1581d1cbda3730e02674f6fd9d21d..25a06314e8cda20856df61f1d0debdb513acd53b 100644 --- a/src/Sapl/Target/Flavour.dcl +++ b/src/Sapl/Target/Flavour.dcl @@ -1,7 +1,7 @@ definition module Sapl.Target.Flavour import Sapl.SaplParser, Text.StringAppender -from Data.Map import :: Map +from Data.Map import :: Map (..) from Data.Set import :: Set :: Arity :== Int