summaryrefslogtreecommitdiff
path: root/assignment-12/gastje.icl
diff options
context:
space:
mode:
authorCamil Staps2017-12-16 16:24:13 +0100
committerCamil Staps2017-12-16 16:24:13 +0100
commit42f92d56750ae7ad5d0c013a45c4318cd81dc1e7 (patch)
tree79b40a953168217f6004a2bf9817be0f097a7200 /assignment-12/gastje.icl
parentFinish(?) 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.icl4
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