about summary refs log tree commit diff stats
path: root/056trace.subx
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2020-01-12 12:11:15 -0800
committerKartik Agaram <vc@akkartik.com>2020-01-12 14:49:35 -0800
commitf1eade728695ed3f52ae4e13f0a91dfe769e8567 (patch)
treed43079a8127487ecf9837600961f333e41ab7320 /056trace.subx
parente064f1bbfdbd4386d752fbb750bf36d91dce413b (diff)
downloadmu-f1eade728695ed3f52ae4e13f0a91dfe769e8567.tar.gz
5883 - drop the `ref` keyword
When I created it I was conflating two things:
a) needing to refer to just the start, rather than the whole, and
b) counting indirections.

Both are kinda ill-posed. Now Mu will have just `addr` and `handle` types.
Normal types will translate implicitly to `addr` types, while `handle`
will always require explicit handling.
Diffstat (limited to '056trace.subx')
-rw-r--r--056trace.subx12
1 files changed, 8 insertions, 4 deletions
diff --git a/056trace.subx b/056trace.subx
index 14270887..e99f559f 100644
--- a/056trace.subx
+++ b/056trace.subx
@@ -14,6 +14,10 @@
 
 == data
 
+# Handles are addresses created on the heap.
+# In safe Mu they'll be fat pointers. But in SubX they're just addresses, since
+# SubX programs never reclaim memory.
+
 Trace-stream:  # (handle stream byte)
     0/imm32
     # we don't have safe handles (fat pointers) yet
@@ -24,7 +28,7 @@ Trace-segment:
 
 # Fake trace-stream for tests.
 # Also illustrates the layout of the real trace-stream (segment).
-_test-trace-stream:  # (ref stream byte)
+_test-trace-stream:  # (stream byte)
     # current write index
     0/imm32
     # current read index
@@ -956,7 +960,7 @@ $_append-4:abort:
 
 == data
 
-_test-stream-line-ABABA:  # (ref stream byte)
+_test-stream-line-ABABA:  # (stream byte)
     # write
     8/imm32
     # read
@@ -966,7 +970,7 @@ _test-stream-line-ABABA:  # (ref stream byte)
     # data
     41 42 41 42 41 0a 00 00  # 8 bytes
 
-_test-stream-empty:  # (ref stream byte)
+_test-stream-empty:  # (stream byte)
     # write
     0/imm32
     # read
@@ -976,7 +980,7 @@ _test-stream-empty:  # (ref stream byte)
     # data
     00 00 00 00 00 00 00 00  # 8 bytes
 
-_test-stream-filled:  # (ref stream byte)
+_test-stream-filled:  # (stream byte)
     # write
     8/imm32
     # read