Commit 4a02ab83 authored by Michael Hanus's avatar Michael Hanus
Browse files

Imports updated

parent f8d27619
...@@ -49,7 +49,7 @@ The operator \ccode{-=-} specifies a test where both sides must ...@@ -49,7 +49,7 @@ The operator \ccode{-=-} specifies a test where both sides must
have a single identical value. Since this operator (as many more, see below) have a single identical value. Since this operator (as many more, see below)
are defined in the library \code{Test.Prop}\pindex{Test.Prop},\footnote{% are defined in the library \code{Test.Prop}\pindex{Test.Prop},\footnote{%
The library \code{Test.Prop} is a clone of the library The library \code{Test.Prop} is a clone of the library
\code{Test.EasyCheck}\pindex{Test.EasyCheck} \code{Test.EasyCheck}\pindex{Test.EasyCheck} (see package \code{easycheck})
which defines only the interface but not the actual test implementations. which defines only the interface but not the actual test implementations.
Thus, the library \code{Test.Prop} has less import dependencies. Thus, the library \code{Test.Prop} has less import dependencies.
When CurryCheck generates programs to execute the tests, When CurryCheck generates programs to execute the tests,
......
import Test.EasyCheck import Test.Prop
revrev :: [a] -> [a] revrev :: [a] -> [a]
revrev xs = reverse (reverse xs) revrev xs = reverse (reverse xs)
......
Supports Markdown
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