Be more explicit about strict functions

diff --git a/Expr.hs b/Expr.hs
index 7d5dcf8..cc155e7 100644 (file)
--- a/Expr.hs
+++ b/Expr.hs
@@ -416,8 +416,8 @@ instance Show BoolExpr where
                        ", t" ++
                        show (2*i) ++
                        ", " ++
-                       (if strict then "strict " else "") ++
-                        "functions g" ++
+                       (if strict then "strict " else "(strict) ") ++
+                       "functions " ++
                        show i ++
                        " :: t" ++
                        show (2*i-1) ++

diff --git a/polyfix-cgi.hs b/polyfix-cgi.hs
index 2748641..932da23 100644 (file)
--- a/polyfix-cgi.hs
+++ b/polyfix-cgi.hs
@@ -114,8 +114,8 @@ generateResult typeStr typ = askDiv typeStr noHtml +++
        case counter_example of 
                Left err -> p << "No term could be derived: " +++ pre << err
                Right (res,used) ->
-                       p << ("By disregarding the strictness conditions for the pointed "+++
-                              "variables(?), the following term is a counter example:" +++
+                       p << ("By disregarding the strictness conditions for the chosen "+++
+                              "relations, the following term is a counter example:" +++
                               pre << ("f = " ++ res) ) +++
                        p << ("Wheres the abstraced variables are chosen as follows:" +++
                               pre << used)