diff options
| author | mryouse | 2022-07-01 02:59:39 +0000 | 
|---|---|---|
| committer | mryouse | 2022-07-01 02:59:39 +0000 | 
| commit | ed2a063a4388ef7e315f4d7b9e59405b9aad71e4 (patch) | |
| tree | 5e2c9e808ccf5963e55598b5eb6e2903b126d08e /neb/std/types.py | |
| parent | bf8900200c25d383c883501446a8048ad8966d94 (diff) | |
Revert "initial commit of multi-type support (only list of strings for now)"
This reverts commit bf8900200c25d383c883501446a8048ad8966d94.
Diffstat (limited to 'neb/std/types.py')
| -rw-r--r-- | neb/std/types.py | 13 | 
1 files changed, 0 insertions, 13 deletions
| diff --git a/neb/std/types.py b/neb/std/types.py index b5422da..f8d5405 100644 --- a/neb/std/types.py +++ b/neb/std/types.py @@ -69,16 +69,6 @@ def interpretIsLiteral(symbol, args, env, ns):  TYPES.register("literal?", Builtin("literal?", interpretIsLiteral, [Arg("arg", TypeEnum.ANY)], return_type=Type(":bool"))) -def interpretIsListOfString(symbol, args, env, ns): -    if not isinstance(args[0], List): -        return Bool(False) -    for arg in args[0].args: -        if not isinstance(arg, String): -            return Bool(False) -    return Bool(True) - -TYPES.register("list-of-string?", Builtin("list-of-string?", interpretIsListOfString, [Arg("arg", TypeEnum.ANY)], return_type=Type(":bool"))) -  # add types to env  any_type = NebType(":any", None, interpretIsAny)  literal_type = NebType(":literal", any_type, interpretIsLiteral) @@ -89,8 +79,6 @@ number_type = NebType(":number", literal_type, interpretIsNumber)  int_type = NebType(":int", number_type, interpretIsInt)  float_type = NebType(":float", number_type, interpretIsFloat) -list_of_string_type = NebType(":[:string]", list_type, interpretIsListOfString) -  TYPES.register(":any", any_type)  TYPES.register(":literal", literal_type)  TYPES.register(":string", string_type) @@ -99,4 +87,3 @@ TYPES.register(":bool", bool_type)  TYPES.register(":number", number_type)  TYPES.register(":int", int_type)  TYPES.register(":float", float_type) -TYPES.register(":[:string]", list_of_string_type) | 
