diff options
author | Kartik Agaram <vc@akkartik.com> | 2020-01-12 12:11:15 -0800 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2020-01-12 14:49:35 -0800 |
commit | f1eade728695ed3f52ae4e13f0a91dfe769e8567 (patch) | |
tree | d43079a8127487ecf9837600961f333e41ab7320 /056trace.subx | |
parent | e064f1bbfdbd4386d752fbb750bf36d91dce413b (diff) | |
download | mu-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.subx | 12 |
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 |