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

	Commit message (Expand)	Author	Age	Files	Lines
*	1276 - make C++ version the default	Kartik K. Agaram	2015-05-05	1	-0/+23

<!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 - same-fringe.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 # The 'same fringe' problem: <a href="http://wiki.c2.com/?SameFringeProblem">http://wiki.c2.com/?SameFringeProblem</a> 2 # Example program demonstrating coroutines using Mu's delimited continuations. 3 # 4 # Expected output: 5 # 1 6 # (i.e. that the two given trees x and y have the same leaves, in the same 7 # order from left to right) 8 9 container <a href='same-fringe.mu.html#L9'>tree</a>:_elem [ 10 val:_elem 11 left:&:<a href='same-fringe.mu.html#L9'>tree</a>:_elem 12 right:&:<a href='same-fringe.mu.html#L9'>tree</a>:_elem 13 ] 14 15 def <a href='same-fringe.mu.html#L15'>main</a> [ 16 local-scope 17 # x: ((a b) c) 18 # y: (a (b c)) 19 a:&:<a href='same-fringe.mu.html#L9'>tree</a>:num <- new-tree 3 20 b:&:<a href='same-fringe.mu.html#L9'>tree</a>:num <- new-tree 4 21 c:&:<a href='same-fringe.mu.html#L9'>tree</a>:num <- new-tree 5 22 x1:&:<a href='same-fringe.mu.html#L9'>tree</a>:num <- new-tree a, b 23 x:&:<a href='same-fringe.mu.html#L9'>tree</a>:num <- new-tree x1, c 24 y1:&:<a href='same-fringe.mu.html#L9'>tree</a>:num <- new-tree b, c 25 y:&:<a href='same-fringe.mu.html#L9'>tree</a>:num <- new-tree a, y1 26 result:bool <- <a href='same-fringe.mu.html#L30'>same-fringe</a> x, y 27 $print result 10/newline 28 ] 29 30 def <a href='same-fringe.mu.html#L30'>same-fringe</a> a:&:<a href='same-fringe.mu.html#L9'>tree</a>:_elem, b:&:<a href='same-fringe.mu.html#L9'>tree</a>:_elem -> result:bool [ 31 local-scope 32 load-inputs 33 k1:continuation <- call-with-continuation-mark 100/mark, <a href='same-fringe.mu.html#L48'>process</a>, a 34 k2:continuation <- call-with-continuation-mark 100/mark, <a href='same-fringe.mu.html#L48'>process</a>, b 35 { 36 k1, x:_elem, a-done?:bool <- call k1 37 k2, y:_elem, b-done?:bool <- call k2 38 break-if a-done? 39 break-if b-done? 40 match?:bool <- equal x, y 41 return-unless match?, 0/false 42 loop 43 } 44 result <- and a-done?, b-done? 45 ] 46 47 # harness around traversal 48 def <a href='same-fringe.mu.html#L48'>process</a> t:&:<a href='same-fringe.mu.html#L9'>tree</a>:_elem [ 49 local-scope 50 load-inputs 51 return-continuation-until-mark 100/mark # initial 52 <a href='same-fringe.mu.html#L59'>traverse</a> t 53 zero-val:&:_elem <- new _elem:type 54 return-continuation-until-mark 100/mark, *zero-val, 1/done # final 55 assert 0/false, [continuation called past done] 56 ] 57 58 # core traversal 59 def <a href='same-fringe.mu.html#L59'>traverse</a> t:&:<a href='same-fringe.mu.html#L9'>tree</a>:_elem [ 60 local-scope 61 load-inputs 62 return-unless t 63 l:&:<a href='same-fringe.mu.html#L9'>tree</a>:_elem <- get *t, left:offset 64 <a href='same-fringe.mu.html#L59'>traverse</a> l 65 r:&:<a href='same-fringe.mu.html#L9'>tree</a>:_elem <- get *t, right:offset 66 <a href='same-fringe.mu.html#L59'>traverse</a> r 67 return-if l 68 return-if r 69 # leaf 70 v:_elem <- get *t, val:offset 71 return-continuation-until-mark 100/mark, v, 0/not-done 72 ] 73 74 # details 75 76 def new-tree x:_elem -> result:&:<a href='same-fringe.mu.html#L9'>tree</a>:_elem [ 77 local-scope 78 load-inputs 79 result <- new {(tree _elem): type} 80 put *result, val:offset, x 81 ] 82 83 def new-tree l:&:<a href='same-fringe.mu.html#L9'>tree</a>:_elem, r:&:<a href='same-fringe.mu.html#L9'>tree</a>:_elem -> result:&:<a href='same-fringe.mu.html#L9'>tree</a>:_elem [ 84 local-scope 85 load-inputs 86 result <- new {(tree _elem): type} 87 put *result, left:offset, l 88 put *result, right:offset, r 89 ] </pre> </body> </html>