diff options
| author | mryouse | 2022-07-06 02:20:31 +0000 |
|---|---|---|
| committer | mryouse | 2022-07-06 02:20:31 +0000 |
| commit | 7ffeef0faef3fbc389069df853109afc76260f0d (patch) | |
| tree | 49ada711455659e8112e93729b42b39f3d050f0f /neb/std/strings.py | |
| parent | 800d04b014e90596dcad2d3a283da4b1e274a14f (diff) | |
| parent | 276dd853729a7c71ef4805786793bbc8f651b00d (diff) | |
Merge branch 'master' into feature/listtypes
Diffstat (limited to 'neb/std/strings.py')
| -rw-r--r-- | neb/std/strings.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/neb/std/strings.py b/neb/std/strings.py index 7e3177e..0da64da 100644 --- a/neb/std/strings.py +++ b/neb/std/strings.py @@ -47,3 +47,8 @@ def interpretRestChar(symbol, args, env, ns): return String(args[0].value[1:]) STRINGS.register("rest-char", Builtin("rest-char", interpretRestChar, [Arg("string", TypeEnum.STRING)], return_type=Type(":string"))) + +def interpretLength(symbol, args, env, ns): + return Int(len(args[0].value)) + +STRINGS.register("length", Builtin("length", interpretLength, [Arg("string", TypeEnum.STRING)], return_type=Type(":int"))) |
