diff options
| author | andy <unknown> | 1999-10-25 05:19:22 +0000 |
|---|---|---|
| committer | andy <unknown> | 1999-10-25 05:19:22 +0000 |
| commit | 148227dc4e67d89a2036251ef3ad72fed1e44c0f (patch) | |
| tree | ce6aeab7e2d81ebb76daa0cc1528d2d78b38fef3 /ghc/compiler/codeGen | |
| parent | dee29ec187607a1ae30959b9b45b9ddcd23356ea (diff) | |
| download | haskell-148227dc4e67d89a2036251ef3ad72fed1e44c0f.tar.gz | |
[project @ 1999-10-25 05:19:22 by andy]
Adding a axiomatic testing framework library to help test Hugs and GHC
libraries.
Here is the example for the test of concat.
test_concat = testRules "concat" [
do (xss :: [[ALPHA]]) <- var "xss"
concat xss <==> foldr (++) [] xss
]
xss here ranges over various rendering of list of list,
including bottom and lists containing bottom.
<==> uses a small piece of compiler/interpreter specifics to
allow testing for
error "" ... <==> ... error "" ===> Pass
Diffstat (limited to 'ghc/compiler/codeGen')
0 files changed, 0 insertions, 0 deletions