Commit 6a90bf89 authored by Michael Hanus's avatar Michael Hanus
Browse files

Dependency to wl-pprint added

parent c7e3f607
...@@ -7,6 +7,7 @@ ...@@ -7,6 +7,7 @@
"dependencies": { "dependencies": {
"flatcurry": ">= 2.0.0", "flatcurry": ">= 2.0.0",
"prolog" : ">= 1.0.0", "prolog" : ">= 1.0.0",
"wl-pprint": ">= 0.0.1",
"xml" : ">= 2.0.0" "xml" : ">= 2.0.0"
}, },
"exportedModules": [ "CHR" ], "exportedModules": [ "CHR" ],
......
...@@ -32,11 +32,11 @@ import FlatCurry.Files ...@@ -32,11 +32,11 @@ import FlatCurry.Files
import FlatCurry.Goodies import FlatCurry.Goodies
import FlatCurry.Pretty ( defaultOptions, ppTypeExp ) import FlatCurry.Pretty ( defaultOptions, ppTypeExp )
import List import List
import Pretty ( pretty )
import SetRBT import SetRBT
import Unsafe -- for tracing import Unsafe -- for tracing
import XML import XML
import Text.Pretty ( showWidth )
import Prolog.Types import Prolog.Types
import Prolog.Show ( showPlClause, showPlGoals ) import Prolog.Show ( showPlClause, showPlGoals )
...@@ -723,6 +723,6 @@ chr2curry (CHR.Goal c) = case c of ...@@ -723,6 +723,6 @@ chr2curry (CHR.Goal c) = case c of
-- Use FlatCurry pretty printer to show a non-top-level type expression. -- Use FlatCurry pretty printer to show a non-top-level type expression.
showCurryType :: TypeExpr -> String showCurryType :: TypeExpr -> String
showCurryType te = '(' : pretty 78 (ppTypeExp defaultOptions te) ++ ")" showCurryType te = '(' : showWidth 78 (ppTypeExp defaultOptions te) ++ ")"
---------------------------------------------------------------------- ----------------------------------------------------------------------
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