diff options
Diffstat (limited to 'core/operators.nom')
| -rw-r--r-- | core/operators.nom | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/core/operators.nom b/core/operators.nom index 863ebc8..7e30705 100644 --- a/core/operators.nom +++ b/core/operators.nom @@ -1,4 +1,4 @@ -#!/usr/bin/env nomsu -V3.6.5.6 +#!/usr/bin/env nomsu -V3.7.5.6 # This file contains definitions of operators like "+" and "and". @@ -286,7 +286,7 @@ compile [not %] to (Lua value "(not \(% as lua expr))") test: assume ((size of [1, 2, 3]) == 3) -compile [size of %list, length of %list, len %list, || %list ||] to (..) +compile [size of %list, size of %list, size of %list, size of %list] to (..) Lua value "(#\(%list as lua expr))" compile [%list is empty] to (Lua value "(#\(%list as lua expr) == 0)") |