From e064f1bbfdbd4386d752fbb750bf36d91dce413b Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Fri, 10 Jan 2020 10:35:48 -0800 Subject: [PATCH] 5882 --- apps/mu.subx | 4 +--- 1 file changed, 1 insertion(+), 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