mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

	Commit message (Collapse)	Author	Age	Files	Lines
*	core translator phases now emit identical binaries	Kartik Agaram	2020-05-18	1	-1/+1
\|
*	fix a crash when translating apps/ex1	Kartik Agaram	2020-05-18	1	-1/+1
\|
*	5851	Kartik Agaram	2020-01-01	1	-0/+53
	Rename a few scripts to be more consistent. I'm also starting to feel the urge to bud off `subx run` into its own program, say tools/emulate_x86. It doesn't really rely on the SubX notation at all. And then I could rename `subx translate` to `translate_subx_bootstrap`. Only problem: the commands in the Readme get verbose. But the Readme is gonna need surgery soon anyway to put translate_mu front and center.

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <title>Mu - 070table.mu</title> <meta name="Generator" content="Vim/8.0"> <meta name="plugin-version" content="vim7.4_v2"> <meta name="syntax" content="none"> <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy="> <meta name="colorscheme" content="minimal"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <pre id='vimCodeElement'> 1 # A table is like an array, except that you can index it with arbitrary types 2 # and not just non-negative whole numbers. 3 4 # incomplete; doesn't handle hash conflicts 5 6 scenario table-read-write [ 7 local-scope 8 tab:&:<a href='070table.mu.html#L44'>table</a>:num:num <- <a href='070table.mu.html#L56'>new-table</a> 30 9 run [ 10 put-index tab, 12, 34 11 60:num/raw, 61:bool/raw <- index tab, 12 12 ] 13 memory-should-contain [ 14 60 <- 34 15 61 <- 1 # found 16 ] 17 ] 18 19 scenario table-read-write-non-integer [ 20 local-scope 21 tab:&:<a href='070table.mu.html#L44'>table</a>:text:num <- <a href='070table.mu.html#L56'>new-table</a> 30 22 run [ 23 put-index tab, [abc def], 34 24 1:num/raw, 2:bool/raw <- index tab, [abc def] 25 ] 26 memory-should-contain [ 27 1 <- 34 28 2 <- 1 # found 29 ] 30 ] 31 32 scenario table-read-not-found [ 33 local-scope 34 tab:&:<a href='070table.mu.html#L44'>table</a>:text:num <- <a href='070table.mu.html#L56'>new-table</a> 30 35 run [ 36 1:num/raw, 2:bool/raw <- index tab, [abc def] 37 ] 38 memory-should-contain [ 39 1 <- 0 40 2 <- 0 # not found 41 ] 42 ] 43 44 container <a href='070table.mu.html#L44'>table</a>:_key:_value [ 45 length:num 46 <a href='075channel.mu.html#L399'>capacity</a>:num 47 data:&:@:<a href='070table.mu.html#L50'>table-row</a>:_key:_value 48 ] 49 50 container <a href='070table.mu.html#L50'>table-row</a>:_key:_value [ 51 occupied?:bool 52 key:_key 53 value:_value 54 ] 55 56 def <a href='070table.mu.html#L56'>new-table</a> <a href='075channel.mu.html#L399'>capacity</a>:num -> result:&:<a href='070table.mu.html#L44'>table</a>:_key:_value [ 57 local-scope 58 load-inputs 59 result <- new {(table _key _value): type} 60 data:&:@:<a href='070table.mu.html#L50'>table-row</a>:_key:_value <- new {(table-row _key _value): type}, <a href='075channel.mu.html#L399'>capacity</a> 61 *result <- merge 0/length, <a href='075channel.mu.html#L399'>capacity</a>, data 62 ] 63 64 # todo: tag results as /required so that call-sites are forbidden from ignoring them 65 # then we could handle conflicts simply by resizing the table 66 def put-index <a href='070table.mu.html#L44'>table</a>:&:<a href='070table.mu.html#L44'>table</a>:_key:_value, key:_key, value:_value -> <a href='070table.mu.html#L44'>table</a>:&:<a href='070table.mu.html#L44'>table</a>:_key:_value [ 67 local-scope 68 load-inputs 69 hash:num <- hash key 70 hash <- <a href='070table.mu.html#L103'>abs</a> hash 71 <a href='075channel.mu.html#L399'>capacity</a>:num <- get *table, <a href='075channel.mu.html#L399'>capacity</a>:offset 72 _, hash-key:num <- divide-with-remainder hash, <a href='075channel.mu.html#L399'>capacity</a> 73 hash-key <- <a href='070table.mu.html#L103'>abs</a> hash-key # in case hash overflows from a double into a negative integer inside 'divide-with-remainder' above 74 table-data:&:@:<a href='070table.mu.html#L50'>table-row</a>:_key:_value <- get *table, data:offset 75 x:<a href='070table.mu.html#L50'>table-row</a>:_key:_value <- index *table-data, hash-key 76 occupied?:bool <- get x, occupied?:offset 77 not-occupied?:bool <- not occupied?:bool 78 assert not-occupied?, [can't handle collisions yet] 79 new-row:<a href='070table.mu.html#L50'>table-row</a>:_key:_value <- merge 1/true, key, value 80 *table-data <- put-index *table-data, hash-key, new-row 81 ] 82 83 def index <a href='070table.mu.html#L44'>table</a>:&:<a href='070table.mu.html#L44'>table</a>:_key:_value, key:_key -> result:_value, found?:bool [ 84 local-scope 85 load-inputs 86 hash:num <- hash key 87 hash <- <a href='070table.mu.html#L103'>abs</a> hash 88 <a href='075channel.mu.html#L399'>capacity</a>:num <- get *table, <a href='075channel.mu.html#L399'>capacity</a>:offset 89 _, hash-key:num <- divide-with-remainder hash, <a href='075channel.mu.html#L399'>capacity</a> 90 hash-key <- <a href='070table.mu.html#L103'>abs</a> hash-key # in case hash overflows from a double into a negative integer inside 'divide-with-remainder' above 91 table-data:&:@:<a href='070table.mu.html#L50'>table-row</a>:_key:_value <- get *table, data:offset 92 x:<a href='070table.mu.html#L50'>table-row</a>:_key:_value <- index *table-data, hash-key 93 empty:&:_value <- new _value:type 94 result <- copy *empty 95 found?:bool <- get x, occupied?:offset 96 return-unless found? 97 key2:_key <- get x, key:offset 98 found?:bool <- equal key, key2 99 return-unless found? 100 result <- get x, value:offset 101 ] 102 103 def <a href='070table.mu.html#L103'>abs</a> n:num -> result:num [ 104 local-scope 105 load-inputs 106 positive?:bool <- greater-or-equal n, 0 107 return-if positive?, n 108 result <- multiply n, -1 109 ] </pre> </body> </html>