diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-12-14 20:53:00 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-12-14 20:54:18 -0800 |
| commit | d3905474c9c84da4a789f6dc40aa1ae7d0bfaf2a (patch) | |
| tree | fcf0e2361b7a877ca2ddb0112bfb14a7e1ea1cfa /core | |
| parent | d30f6a397d274b0b942bdd2e2648b42538f1cbe2 (diff) | |
Removed EOL comments
Diffstat (limited to 'core')
| -rw-r--r-- | core/operators.nom | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/core/operators.nom b/core/operators.nom index bc658b1..91a09ab 100644 --- a/core/operators.nom +++ b/core/operators.nom @@ -220,7 +220,8 @@ test: (not $) compiles to "(not \($ as lua expr))" test: assume ((size of [1, 2, 3]) == 3) -(size of $list) compiles to "(#\($list as lua expr))" + assume ((# [1, 2, 3]) == 3) +[# $list, size of $list] all compile to "(#\($list as lua expr))" ($list is empty) compiles to "(#\($list as lua expr) == 0)" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
