diff options
| author | Bruce Hill <bitbucket@bruce-hill.com> | 2018-08-30 14:16:09 -0700 |
|---|---|---|
| committer | Bruce Hill <bitbucket@bruce-hill.com> | 2018-08-30 14:16:18 -0700 |
| commit | 18126da9c538046a93715d829722c818773b9ac1 (patch) | |
| tree | 3a88e43636b85534ded21abd9f9f106b8ffbc037 /core/operators.nom | |
| parent | ba00294badff9d5f5d55e1080a17b13fea961f55 (diff) | |
Auto-upgraded to 3.7
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)") |