diff options
| author | Darren Bane <darren.bane@gmail.com> | 2020-11-18 23:59:17 +0000 |
|---|---|---|
| committer | Darren Bane <darren.bane@gmail.com> | 2020-11-18 23:59:17 +0000 |
| commit | 6e7cdcd4280f5330229ec9c943b9caf090846452 (patch) | |
| tree | 7e7542c9edb9ef9805022ca105f42a56372aad9b /dbc.lsp | |
| parent | f1dd340e2def134d0641ebbbf92934f69086b643 (diff) | |
| download | lsp-6e7cdcd4280f5330229ec9c943b9caf090846452.tar.gz | |
Checkpointing from my Mac
Diffstat (limited to 'dbc.lsp')
| -rw-r--r-- | dbc.lsp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dbc.lsp b/dbc.lsp index 48f1d6f..fc6e5d0 100644 --- a/dbc.lsp +++ b/dbc.lsp @@ -4,7 +4,8 @@ (defcontract average-of-absolutes (values) (:in () (assure <list> values) - (> (length values) 0)) ; Redundant? + (> (length values) 0)) ; Not redundant, nil is an instance of <list>. + ; Could have used <cons> instead I guess. (:out (res) (assure <integer> res) (>= res 0)) |