akkartik
/
mu
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

5882

This commit is contained in:
Kartik Agaram 2020-01-10 10:35:48 -08:00
parent 194d100792
commit e064f1bbfd
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
apps/mu.subx
View File

@ -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