Be more explicit about strict functions
authorJoachim Breitner <mail@joachim-breitner.de>
Wed, 15 Oct 2008 15:06:39 +0000 (15:06 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Wed, 15 Oct 2008 15:06:39 +0000 (15:06 +0000)
Expr.hs
polyfix-cgi.hs

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) ++
index 2748641..932da23 100644 (file)
@@ -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)