diff options
| -rw-r--r-- | apps/mu.subx | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/apps/mu.subx b/apps/mu.subx index fa3c345e..404d4b17 100644 --- a/apps/mu.subx +++ b/apps/mu.subx @@ -349,12 +349,10 @@ List-size: 8/imm32 # Types are expressed as trees (s-expressions) of type-ids (ints). -# However, there are some constraints: -# There's no need for singletons, so we can assume (int) == int +# However, there's no need for singletons, so we can assume (int) == int # - if x->right == nil, x is an atom # - x->left contains either a pointer to a pair, or an atomic type-id directly. # type ids will be less than 0x10000. -# No need for dotted lists. Tree-left: # either type-id or (addr tree type-id) 0/imm32 |