about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--apps/mu.subx3
1 files changed, 0 insertions, 3 deletions
diff --git a/apps/mu.subx b/apps/mu.subx
index 4dadee8c..6a87962f 100644
--- a/apps/mu.subx
+++ b/apps/mu.subx
@@ -365,9 +365,6 @@ Live-var-size:  # (addr int)
   0xc/imm32
 
 # Types are expressed as trees (s-expressions) of type-ids (ints).
-# 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.
 
 Tree-is-atom:  # boolean
   0/imm32