diff options
author | Camil Staps | 2017-12-16 16:24:13 +0100 |
---|---|---|
committer | Camil Staps | 2017-12-16 16:24:13 +0100 |
commit | 42f92d56750ae7ad5d0c013a45c4318cd81dc1e7 (patch) | |
tree | 79b40a953168217f6004a2bf9817be0f097a7200 /assignment-12/gastje.icl | |
parent | Finish(?) assignment 12 (diff) |
Remove value from cashModel; add further explanation to gastje
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 |