diff options
author | Darren Bane <darren.bane@gmail.com> | 2021-02-25 12:47:54 +0000 |
---|---|---|
committer | Darren Bane <darren.bane@gmail.com> | 2021-02-25 12:47:54 +0000 |
commit | 922f146dfa960052ca94200a1645c5c30aa40b63 (patch) | |
tree | 0862b552584ae49048e62e0463d54cdbb9da4ab2 | |
parent | 032fb6578034edfef58d8392c4c9b468437b21c8 (diff) | |
download | lsp-922f146dfa960052ca94200a1645c5c30aa40b63.tar.gz |
DbC for eisl
-rw-r--r-- | dbc2.lsp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/dbc2.lsp b/dbc2.lsp index 6d29596..224bb1e 100644 --- a/dbc2.lsp +++ b/dbc2.lsp @@ -16,12 +16,10 @@ (setq res (+ res (car xs)))))) (defun average-of-absolutes (values) (the <list> values) - ;; (unless (> (length values) 0) - ;; (error "average-of-absolutes requires non-null list" values)) + ;; requires non-null list (assert (> (length values) 0)) (let ((res (quotient (sum values) (length values)))) - ;; (unless (>= res 0) - ;; (error "average-of-absolutes must ensure positive result" res)) + ;; must ensure positive result (assert (>= res 0)) (the <fixnum> res))) ;; (average-of-absolutes '(1 3)) |