diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-01-10 10:35:48 -0800 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-01-10 10:35:48 -0800 |
| commit | e064f1bbfdbd4386d752fbb750bf36d91dce413b (patch) | |
| tree | f87a03ba935c3bb5bd13f62d914ee2b7aab64c9f /apps | |
| parent | 194d1007926e617bca106b8e2e94880e095808ee (diff) | |
| download | mu-e064f1bbfdbd4386d752fbb750bf36d91dce413b.tar.gz | |
5882
Diffstat (limited to 'apps')
| -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 |