diff options
Diffstat (limited to 'assignment-12/gastje.icl')
| -rw-r--r-- | assignment-12/gastje.icl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/assignment-12/gastje.icl b/assignment-12/gastje.icl index d3b20ce..62f9238 100644 --- a/assignment-12/gastje.icl +++ b/assignment-12/gastje.icl @@ -115,6 +115,10 @@ where // This fails for 0; should be <=. If we fix that, the test does not // terminate, as there are no 1000 integers with abs i < 10. + // Another option is to use: + // holds (False ==> t) p = [{prop & bool=True} \\ prop <- holds t p] + // I.e., *do* count cases where the antecedent is False. However, that can + // give a wrong idea about the test coverage. fac :: Int -> Int fac n | n < 0 = 1 |