diff options
Diffstat (limited to 'core/operators.nom')
| -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)" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |