about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2020-06-10 10:56:14 -0700
committerKartik Agaram <vc@akkartik.com>2020-06-10 10:56:14 -0700
commit72d893b6b1c0dcaea5c4a38dd6fd83fd0569dd79 (patch)
tree390d25b8705330cacb15c8383b1862d3d0fb7394
parent33f63cb0e6c91fd6b1f8f813153c7c4858841f20 (diff)
downloadmu-72d893b6b1c0dcaea5c4a38dd6fd83fd0569dd79.tar.gz
6506
-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