(and-record trace [ label:string-address contents:string-address ]) (address trace-address (trace)) (array trace-address-array (trace-address)) (address trace-address-array-address (trace-address-array)) (address trace-address-array-address-address (trace-address-array-address)) (and-record instruction-trace [ call-stack:string-address-array-address pc:string-address ; should be integer? instruction:string-address children:trace-address-array-address ]) (address instruction-trace-address (instruction-trace)) (array instruction-trace-address-array (instruction-trace-address)) (address instruction-trace-address-array-address (instruction-trace-address-array)) (function parse-traces [ ; stream-address -> instruction-trace-address-array-address (default-space:space-address <- new space:literal 30:literal) ;? ($print (("parse-traces\n" literal))) ;? 2 (in:stream-address <- next-input) ; check input size ($print (("counting lines\n" literal))) (n:integer <- copy 0:literal) { begin (done?:boolean <- end-of-stream? in:stream-address) (break-if done?:boolean) ;? ($start-tracing) ;? 1 (c:character <- read-character in:stream-address) { begin (newline?:boolean <- equal c:character ((#\newline literal))) (break-unless newline?:boolean) (n:integer <- add n:integer 1:literal) { begin ;? (print?:boolean <- divides? n:integer 100:literal) ;? (break-unless print?:boolean) ($print ((" " literal))) ($print n:integer) ($print (("\n" literal))) } } ;? ($quit) ;? 1 (loop) } ($print n:integer) ($print ((" lines\n" literal))) (in:stream-address <- rewind-stream in:stream-address) ; prepare result (result:buffer-address <- init-buffer 30:literal) (curr-tail:instruction-trace-address <- copy nil:literal) (ch:buffer-address <- init-buffer 5:literal) ; accumulator for traces between instructions (run:string-address/const <- new "run") ($print (("parsing\n" literal))) (n:integer <- copy 0:literal) ; reading each line from 'in' { begin next-line (done?:boolean <- end-of-stream? in:stream-address) ;? ($print done?:boolean) ;? 1 ;? ($print (("\n" literal))) ;? 1 (break-if done?:boolean) ; parse next line as a generic trace (line:string-address <- read-line in:stream-address) { begin (n:integer <- add n:integer 1:literal) (print?:boolean <- divides? n:integer 100:literal) (break-unless print?:boolean) ($print ((" " literal))) ($print n:integer) ($print (("\n" literal))) } ;? (print-string nil:literal/terminal line:string-address) ;? 1 (f:trace-address <- parse-trace line:string-address) (l:string-address <- get f:trace-address/deref label:offset) { begin ; if it's an instruction trace with label 'run' (inst?:boolean <- string-equal l:string-address run:string-address/const) (break-unless inst?:boolean) ; add accumulated traces to curr-tail { begin (break-unless curr-tail:instruction-trace-address) (c:trace-address-array-address-address <- get-address curr-tail:instruction-trace-address/deref children:offset) (c:trace-address-array-address-address/deref <- to-array ch:buffer-address) ; clear 'ch' (ch:buffer-address <- init-buffer 5:literal) } ; append a new curr-tail to result (curr-tail:instruction-trace-address <- parse-instruction-trace f:trace-address) (result:buffer-address <- append result:buffer-address curr-tail:instruction-trace-address) (jump next-line:offset) ; loop } ; otherwise accumulate trace (loop-unless curr-tail:instruction-trace-address) (ch:buffer-address <- append ch:buffer-address f:trace-address) (loop) } ; add accumulated traces to final curr-tail ; todo: test { begin (break-unless curr-tail:instruction-trace-address) (c:trace-address-array-address-address <- get-address curr-tail:instruction-trace-address/deref children:offset) (c:trace-address-array-address-address/deref <- to-array ch:buffer-address) } (s:instruction-trace-address-array-address <- to-array result:buffer-address) (reply s:instruction-trace-address-array-address) ]) (function parse-instruction-trace [ ; trace-address -> instruction-trace-address (default-space:space-address <- new space:literal 30:literal) ;? ($print (("parse-instruction-trace\n" literal))) ;? 1 
(function producer [
  ; produce numbers 1 to 5 on a channel
  (default-space:space-address <- new space:literal 30:literal)
  (chan:channel-address <- next-input)
  ; n = 0
  (n:integer <- copy 0:literal)
  { begin
    (done?:boolean <- less-than n:integer 5:literal)
    (break-unless done?:boolean)
    ; other threads might get between these prints
    ($print (("produce: " literal)))
    (print-integer nil:literal/terminal n:integer)
    ($print (("\n" literal)))
    ; 'box' n into a dynamically typed 'tagged value' because that's what
    ; channels take
    (n2:integer <- copy n:integer)
    (n3:tagged-value-address <- init-tagged-value integer:literal n2:integer)
    (chan:channel-address/deref <- write chan:channel-address n3:tagged-value-address/deref)
    (n:integer <- add n:integer 1:literal)
    (loop)
  }
])

(function consumer [
  ; consume and print integers from a channel
  (default-space:space-address <- new space:literal 30:literal)
  (chan:channel-address <- next-input)
  { begin
    ; read a tagged value from the channel
    (x:tagged-value chan:channel-address/deref <- read chan:channel-address)
    ; unbox the tagged value into an integer
    (n2:integer <- maybe-coerce x:tagged-value integer:literal)
    ; other threads might get between these prints
    ($print (("consume: " literal)))
    (print-integer nil:literal/terminal n2:integer)
    ($print (("\n" literal)))
    (loop)
  }
])

(function main [
  (default-space:space-address <- new space:literal 30:literal)
  (chan:channel-address <- init-channel 3:literal)
  ; create two background 'routines' that communicate by a channel
  (routine1:integer <- fork consumer:fn nil:literal/globals nil:literal/limit chan:channel-address)
  (routine2:integer <- fork producer:fn nil:literal/globals nil:literal/limit chan:channel-address)
  (sleep until-routine-done:literal routine1:integer)
  (sleep until-routine-done:literal routine2:integer)
])
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-12-02 01:00:25 +0000
ser-state) (clear-rest-of-page 0:space-address/browser-state screen:terminal-address) } ]) (function cursor-row-to-trace-index [ (default-space:space-address <- new space:literal 30:literal/capacity) (0:space-address/names:browser-state <- next-input) (n:integer/screen <- next-input) ;? ($print (("to trace index: first subindex " literal))) ;? 1 ;? ($print first-subindex-on-page:integer/space:1) ;? 1 ;? ($print (("\n" literal))) ;? 1 ;? ($print (("cursor-to-index: n " literal))) ;? 2 ;? ($print n:integer) ;? 2 ;? ($print (("\n" literal))) ;? 2 ;? ($print (("cursor-to-index: first index " literal))) ;? 2 ;? ($print first-index-on-page:integer/space:1) ;? 2 ;? ($print (("\n" literal))) ;? 2 (simple-result:integer <- add first-index-on-page:integer/space:1 n:integer) ;? ($print (("cursor-to-index: simple result " literal))) ;? 2 ;? ($print simple-result:integer) ;? 2 ;? ($print (("\n" literal))) ;? 2 ; no row expanded? no munging needed { begin (has-expanded?:boolean <- greater-or-equal expanded-index:integer/space:1 0:literal) (break-if has-expanded?:boolean) (reply simple-result:integer) } ; expanded row above current page? no munging needed { begin (below-expanded?:boolean <- less-than expanded-index:integer/space:1 first-index-on-page:integer/space:1) (break-unless below-expanded?:boolean) (reply simple-result:integer) } ; expanded row at top of current page and partial? { begin (expanded-at-top?:boolean <- equal first-index-on-page:integer/space:1 expanded-index:integer/space:1) ;? ($print (("cursor-to-index: first subindex " literal))) ;? 2 ;? ($print first-subindex-on-page:integer/space:1) ;? 2 ;? ($print (("\n" literal))) ;? 2 (partial-at-top?:boolean <- greater-or-equal first-subindex-on-page:integer/space:1 0:literal) ;? ($print (("AAA\n" literal))) ;? 1 (partial-expanded-at-top?:boolean <- and expanded-at-top?:boolean partial-at-top?:boolean) (break-unless partial-expanded-at-top?:boolean) ;? ($print (("expanded child at top of page\n" literal))) ;? 2 (expanded-children-on-page:integer <- subtract expanded-children:integer/space:1 first-subindex-on-page:integer/space:1) (result:integer <- subtract simple-result:integer expanded-children-on-page:integer) (result:integer <- add result:integer 1:literal) (result:integer <- max result:integer first-index-on-page:integer/space:1) (reply result:integer) } ; expanded row is below current page? no munging needed { begin (above-expanded?:boolean <- lesser-or-equal last-index-on-page:integer/space:1 expanded-index:integer/space:1 ) (break-unless above-expanded?:boolean) (reply simple-result:integer) } (expanded-index-cursor-row:integer <- subtract expanded-index:integer/space:1 first-index-on-page:integer/space:1) ; cursor is above expanded index? no munging needed { begin (above-expanded?:boolean <- lesser-or-equal cursor-row:integer/space:1 expanded-index-cursor-row:integer) (break-unless above-expanded?:boolean) (reply simple-result:integer) } (result:integer/index <- subtract simple-result:integer expanded-children:integer/space:1) (reply result:integer/index) ]) (function back-to-index [ (default-space:space-address <- new space:literal 30:literal/capacity) (0:space-address/names:browser-state <- next-input) (screen:terminal-address <- next-input) (target-index:integer <- next-input) ;? ($print (("back-to-index: target " literal))) ;? 3 ;? ($print target-index:integer) ;? 3 ;? ($print (("\n" literal))) ;? 3 ;? ($print (("back-to-index: first subindex " literal))) ;? 1 ;? ($print first-subindex-on-page:integer/space:1) ;? 1 ;? ($print (("\n" literal))) ;? 1 ; scan up until top, or *before* target-index (to skip expanded children) { begin ;? ($print cursor-row:integer/space:1) ;? 1 ;? ($print (("\n" literal))) ;? 1 (at-top?:boolean <- equal cursor-row:integer/space:1 0:literal) (break-if at-top?:boolean) (index:integer <- cursor-row-to-trace-index 0:space-address/browser-state cursor-row:integer/space:1) ;? ($print cursor-row:integer/space:1) ;? 3 ;? ($print ((" " literal))) ;? 3 ;? ($print index:integer) ;? 3 ;? ($print (("\n" literal))) ;? 3 (done?:boolean <- less-than index:integer target-index:integer) (break-if done?:boolean) (up 0:space-address screen:terminal-address) (loop) } ; now if we're before target-index, down 1 ;? ($print (("final down?\n" literal))) ;? 1 (index:integer <- cursor-row-to-trace-index 0:space-address/browser-state cursor-row:integer/space:1) ;? ($print (("done scanning; cursor at row " literal))) ;? 2 ;? ($print cursor-row:integer/space:1) ;? 2 ;? ($print ((", which is index " literal))) ;? 2 ;? ($print index:integer) ;? 2 ;? ($print (("\n" literal))) ;? 2 { begin (at-target?:boolean <- greater-or-equal index:integer target-index:integer) (break-if at-target?:boolean) ;? ($print (("down 1\n" literal))) ;? 2 ; above expanded (down 0:space-address screen:terminal-address) } ]) ;; pagination helpers (function at-first-page [ (default-space:space-address <- new space:literal 30:literal/capacity) (0:space-address/names:browser-state <- next-input) ; read-only (result:boolean <- lesser-or-equal first-index-on-page:integer/space:1 0:literal) { begin (break-if result:boolean) (reply nil:literal) } (expanded?:boolean <- equal expanded-index:integer/space:1 0:literal) { begin (break-if expanded?:boolean) (reply t:literal) } ; if first subindex is 0, the top-level line is on a previous page (result:boolean <- less-than first-subindex-on-page:integer/space:1 0:literal) (reply result:boolean) ]) (function at-final-page [ (default-space:space-address <- new space:literal 30:literal/capacity) (0:space-address/names:browser-state <- next-input) ; read-only (len:integer <- length traces:instruction-trace-address-array-address/space:1/deref) (final-index:integer <- subtract len:integer 1:literal) (result:boolean <- greater-or-equal last-index-on-page:integer/space:1 final-index:integer) { begin (break-if result:boolean) (reply nil:literal) } (last-trace-expanded?:boolean <- equal expanded-index:integer/space:1 len:integer) { begin (break-if last-trace-expanded?:boolean) (reply t:literal) } (result:boolean <- greater-or-equal last-subindex-on-page:integer/space:1 expanded-children:integer/space:1) (reply result:boolean) ]) (function next-page [ (default-space:space-address <- new space:literal 30:literal/capacity) (0:space-address/names:browser-state <- next-input) { begin ;? ($print (("expanded: " literal))) ;? 3 ;? ($print expanded-index:integer/space:1) ;? 3 ;? ($print ((" last index: " literal))) ;? 3 ;? ($print last-index-on-page:integer/space:1) ;? 3 ;? ($print (("\n" literal))) ;? 3 (last-index-expanded?:boolean <- equal expanded-index:integer/space:1 last-index-on-page:integer/space:1) (break-unless last-index-expanded?:boolean) ; expanded ;? ($print (("last expanded\n" literal))) ;? 3 { begin (expanded-index-done?:boolean <- equal expanded-children:integer/space:1 last-subindex-on-page:integer/space:1) (break-if expanded-index-done?:boolean 2:blocks) ;? ($print (("children left\n" literal))) ;? 3 ; children left to open (first-index-on-page:integer/space:1 <- copy last-index-on-page:integer/space:1) (first-subindex-on-page:integer/space:1 <- add last-subindex-on-page:integer/space:1 1:literal) (reply) } } (first-index-on-page:integer/space:1 <- add last-index-on-page:integer/space:1 1:literal) (first-subindex-on-page:integer/space:1 <- copy -2:literal) ]) (function previous-page [ (default-space:space-address <- new space:literal 30:literal/capacity) (0:space-address/names:browser-state <- next-input) ;? ($print (("before: " literal))) ;? 2 ;? ($print first-index-on-page:integer/space:1) ;? 2 ;? ($print ((" " literal))) ;? 2 ;? ($print first-subindex-on-page:integer/space:1) ;? 2 ;? ($print (("\n" literal))) ;? 2 ; easy case: no expanded-index (jump-unless expanded-index:integer/space:1) ;? ($print (("b\n" literal))) ;? 4 (x:boolean <- less-than expanded-index:integer/space:1 0:literal) (jump-if x:boolean easy-case:offset) ; easy case: expanded-index lies below top of current page ;? ($print (("c\n" literal))) ;? 4 (x:boolean <- greater-than expanded-index:integer/space:1 first-index-on-page:integer/space:1) (jump-if x:boolean easy-case:offset) ; easy case: expanded-index *starts* at top of current page ;? ($print (("d\n" literal))) ;? 5 (top-of-screen-inside-expanded:boolean <- equal expanded-index:integer/space:1 first-index-on-page:integer/space:1) (y:boolean <- lesser-or-equal first-subindex-on-page:integer/space:1 -1:literal) (y:boolean <- and top-of-screen-inside-expanded:boolean y:boolean) (jump-if y:boolean easy-case:offset) ; easy case: expanded-index too far up for previous page ;? ($print (("e\n" literal))) ;? 5 (delta-to-expanded:integer <- subtract first-index-on-page:integer/space:1 expanded-index:integer/space:1) ;? ($print delta-to-expanded:integer) ;? 1 ;? ($print (("\n" literal))) ;? 1 (x:boolean <- greater-than delta-to-expanded:integer screen-height:integer/space:1) (jump-if x:boolean easy-case:offset) ;? ($print (("f\n" literal))) ;? 5 ; tough case: expanded index overlaps current and/or previous page (lines-remaining-to-decrement:integer <- copy screen-height:integer/space:1) ; a) scroll to just below expanded-index if necessary (below-expanded-index:integer <- add expanded-index:integer/space:1 1:literal) { begin (done?:boolean <- done-scrolling-up default-space:space-address) (break-if done?:boolean) (done?:boolean <- lesser-or-equal first-index-on-page:integer/space:1 below-expanded-index:integer) (break-if done?:boolean) ;? ($print (("g\n" literal))) ;? 2 (first-index-on-page:integer/space:1 <- subtract first-index-on-page:integer/space:1 1:literal) (lines-remaining-to-decrement:integer <- subtract lines-remaining-to-decrement:integer 1:literal) (loop) } { begin ;? ($print (("h\n" literal))) ;? 2 (x:boolean <- equal first-index-on-page:integer/space:1 below-expanded-index:integer) (break-unless x:boolean) (first-index-on-page:integer/space:1 <- copy expanded-index:integer/space:1) (first-subindex-on-page:integer/space:1 <- subtract expanded-children:integer/space:1 1:literal) (lines-remaining-to-decrement:integer <- subtract lines-remaining-to-decrement:integer 1:literal) } ; b) scroll through expanded-children if necessary { begin (done?:boolean <- done-scrolling-up default-space:space-address) (break-if done?:boolean) (done?:boolean <- less-than first-subindex-on-page:integer/space:1 0:literal) (break-if done?:boolean) ;? ($print (("i\n" literal))) ;? 2 (first-subindex-on-page:integer/space:1 <- subtract first-subindex-on-page:integer/space:1 1:literal) (lines-remaining-to-decrement:integer <- subtract lines-remaining-to-decrement:integer 1:literal) (loop) } ; c) jump past expanded-index parent if necessary ;? ($print (("j\n" literal))) ;? 2 { begin (done?:boolean <- done-scrolling-up default-space:space-address) (break-if done?:boolean) ;? ($print (("k\n" literal))) ;? 2 (first-index-on-page:integer/space:1 <- subtract first-index-on-page:integer/space:1 1:literal) (first-subindex-on-page:integer/space:1 <- copy -2:literal) (lines-remaining-to-decrement:integer <- subtract lines-remaining-to-decrement:integer 1:literal) } ; d) scroll up before expanded-index if necessary ;? ($print (("l\n" literal))) ;? 2 { begin (done?:boolean <- done-scrolling-up default-space:space-address) (break-if done?:boolean) ;? ($print (("m\n" literal))) ;? 2 (first-index-on-page:integer/space:1 <- subtract first-index-on-page:integer/space:1 1:literal) (lines-remaining-to-decrement:integer <- subtract lines-remaining-to-decrement:integer 1:literal) (loop) } (reply) easy-case (first-index-on-page:integer/space:1 <- subtract first-index-on-page:integer/space:1 screen-height:integer/space:1) (first-index-on-page:integer/space:1 <- max first-index-on-page:integer/space:1 0:literal) (first-subindex-on-page:integer/space:1 <- copy -2:literal) ]) (function done-scrolling-up [ (default-space:space-address/names:previous-page <- next-input) (0:space-address/names:browser-state <- copy 0:space-address) ; just to wire up names for space/1 (at-top-of-screen?:boolean <- lesser-or-equal lines-remaining-to-decrement:integer 0:literal) (jump-if at-top-of-screen?:boolean done:offset) (at-first-index:boolean <- lesser-or-equal first-index-on-page:integer/space:1 0:literal) (at-first-subindex:boolean <- lesser-or-equal first-subindex-on-page:integer/space:1 -1:literal) (trace-done?:boolean <- and at-first-index:boolean at-first-subindex:boolean) (jump-if trace-done?:boolean done:offset) (reply nil:literal) done (reply t:literal) ]) ;; modify screen state in response to a single key (function process-key [ (default-space:space-address <- new space:literal 30:literal/capacity) (0:space-address/names:browser-state <- next-input) (k:keyboard-address <- next-input) (screen:terminal-address <- next-input) (c:character <- read-key k:keyboard-address silent:literal/terminal) { begin ; no key yet (break-if c:character) (reply nil:literal) } ;? ($print (("key pressed: " literal))) ;? 1 ;? ($write c:character) ;? 1 ;? ($print (("\n" literal))) ;? 1 { begin ; user quit (q-pressed?:boolean <- equal c:character ((#\q literal))) (end-of-fake-keyboard-input?:boolean <- equal c:character ((#\null literal))) (quit?:boolean <- or q-pressed?:boolean end-of-fake-keyboard-input?:boolean) (break-unless quit?:boolean) (reply t:literal) } ; up/down navigation { begin (up?:boolean <- equal c:character ((up literal))) (k?:boolean <- equal c:character ((#\k literal))) (up?:boolean <- or up?:boolean k?:boolean) (break-unless up?:boolean) (up 0:space-address/browser-state screen:terminal-address) (reply nil:literal) } { begin (down?:boolean <- equal c:character ((down literal))) (j?:boolean <- equal c:character ((#\j literal))) (down?:boolean <- or down?:boolean j?:boolean) (break-unless down?:boolean) (down 0:space-address/browser-state screen:terminal-address) (reply nil:literal) } ; page up/page down { begin ; if page-up pressed (page-up?:boolean <- equal c:character ((pgup literal))) (K?:boolean <- equal c:character ((#\K literal))) (page-up?:boolean <- or page-up?:boolean K?:boolean) (break-unless page-up?:boolean) ; if we're not already at start of trace (first-page?:boolean <- at-first-page 0:space-address/browser-state) (break-if first-page?:boolean) ; move cursor to top of screen (to-top 0:space-address/browser-state screen:terminal-address) ; switch browser state (previous-page 0:space-address/browser-state) ;? ($dump-browser-state 0:space-address) ;? 3 ; redraw (print-page 0:space-address/browser-state screen:terminal-address) (reply nil:literal) } { begin ; if page-down pressed (page-down?:boolean <- equal c:character ((pgdn literal))) (J?:boolean <- equal c:character ((#\J literal))) (page-down?:boolean <- or page-down?:boolean J?:boolean) (break-unless page-down?:boolean) ; if we're not already at end of trace (final-page?:boolean <- at-final-page 0:space-address/browser-state) (break-if final-page?:boolean) ; move cursor to top of screen (to-top 0:space-address/browser-state screen:terminal-address) ;? ($print (("before: " literal))) ;? 1 ;? ($print first-index-on-page:integer/space:1) ;? 1 ;? ($print (("\n" literal))) ;? 1 ; switch browser state (next-page 0:space-address/browser-state) ;? ($print (("after: " literal))) ;? 1 ;? ($print first-index-on-page:integer/space:1) ;? 1 ;? ($print (("\n" literal))) ;? 1 ; redraw (print-page 0:space-address/browser-state screen:terminal-address) ; move cursor back to top of screen (to-top 0:space-address/browser-state screen:terminal-address) (reply nil:literal) } ; enter: expand/collapse current row { begin (toggle?:boolean <- equal c:character ((#\newline literal))) (break-unless toggle?:boolean) ;? ($print (("expand: first subindex " literal))) ;? 1 ;? ($print first-subindex-on-page:integer/space:1) ;? 1 ;? ($print (("\n" literal))) ;? 1 (original-cursor-row:integer <- copy cursor-row:integer/space:1) ;? ($print (("cursor starts at row " literal))) ;? 6 ;? ($print original-cursor-row:integer) ;? 7 ;? ($print (("\n" literal))) ;? 7 (original-trace-index:integer <- cursor-row-to-trace-index 0:space-address/browser-state original-cursor-row:integer) ;? ($print (("which maps to index " literal))) ;? 7 ;? ($print original-trace-index:integer) ;? 9 ;? ($print (("\n" literal))) ;? 9 ; is expanded-index already set? { begin (expanded?:boolean <- greater-or-equal expanded-index:integer/space:1 0:literal) (break-unless expanded?:boolean) (too-early?:boolean <- less-than expanded-index:integer/space:1 first-index-on-page:integer/space:1) (break-if too-early?:boolean) (too-late?:boolean <- greater-than expanded-index:integer/space:1 last-index-on-page:integer/space:1) (break-if too-late?:boolean) ; expanded-index is now on this page ;? ($print (("expanded index on this page\n" literal))) ;? 6 { begin ; are we at the expanded row? (at-expanded?:boolean <- equal original-trace-index:integer expanded-index:integer/space:1) (break-unless at-expanded?:boolean) ;? ($print (("at expanded index\n" literal))) ;? 5 ; print remaining lines collapsed and return (back-to-index 0:space-address/browser-state screen:terminal-address expanded-index:integer/space:1) (expanded-index:integer/space:1 <- copy -1:literal) (expanded-children:integer/space:1 <- copy -1:literal) (print-traces-collapsed-from 0:space-address/browser-state screen:terminal-address original-trace-index:integer) (clear-rest-of-page 0:space-address/browser-state screen:terminal-address) (back-to 0:space-address/browser-state screen:terminal-address original-cursor-row:integer) (reply nil:literal) } ; are we below the expanded row? { begin (below-expanded?:boolean <- greater-than original-trace-index:integer expanded-index:integer/space:1) (break-unless below-expanded?:boolean) ;? ($print (("below expanded index\n" literal))) ;? 6 (back-to-index 0:space-address/browser-state screen:terminal-address expanded-index:integer/space:1) ;? ($print (("scanning up to row " literal))) ;? 3 ;? ($print cursor-row:integer/space:1) ;? 3 ;? ($print (("\n" literal))) ;? 3 ; print traces collapsed until just before original row (print-traces-collapsed-from 0:space-address/browser-state screen:terminal-address expanded-index:integer/space:1 original-trace-index:integer/until) ; fall through } } ; expand original row and print traces below it ;? ($print (("done collapsing previously expanded index\n" literal))) ;? 6 (expanded-index:integer/space:1 <- copy original-trace-index:integer) (last-index-on-page:integer/space:1 <- copy original-trace-index:integer) (tr:instruction-trace-address <- index traces:instruction-trace-address-array-address/space:1/deref original-trace-index:integer) ;? ($print (("expanded\n" literal))) ;? 6 (print-instruction-trace screen:terminal-address tr:instruction-trace-address 0:space-address/browser-state) (next-index:integer <- add original-trace-index:integer 1:literal) ;? ($print (("printing collapsed lines from " literal))) ;? 7 ;? ($print next-index:integer) ;? 8 ;? ($print (("\n" literal))) ;? 8 (print-traces-collapsed-from 0:space-address/browser-state screen:terminal-address next-index:integer) ;? ($print (("clearing rest of page\n" literal))) ;? 6 (clear-rest-of-page 0:space-address/browser-state screen:terminal-address) ;? ($print (("moving cursor back up\n" literal))) ;? 6 (back-to-index 0:space-address/browser-state screen:terminal-address original-trace-index:integer) ;? ($print (("returning\n" literal))) ;? 5 (reply nil:literal) } (reply nil:literal) ]) (function browse-trace [ (default-space:space-address <- new space:literal 30:literal/capacity) ($print (("parsing trace... (might take a while, depending on how long the trace is)\n" literal))) (x:string-address <- next-input) (screen-height:integer <- next-input) ;? (print-string nil:literal/terminal x:string-address) ;? 1 (s:stream-address <- init-stream x:string-address) (traces:instruction-trace-address-array-address <- parse-traces s:stream-address) (0:space-address/names:browser-state <- browser-state traces:instruction-trace-address-array-address screen-height:integer) (cursor-mode) (print-traces-collapsed 0:space-address/browser-state nil:literal/terminal) { begin (quit?:boolean <- process-key 0:space-address/browser-state nil:literal/keyboard nil:literal/terminal) (break-if quit?:boolean) (loop) } ; move cursor to bottom before exiting (to-bottom 0:space-address/browser-state nil:literal/terminal) (retro-mode) ]) (function main [ (default-space:space-address <- new space:literal 30:literal/capacity) ($print (("loading trace.. (takes ~10s)\n" literal))) (x:string-address <- new "run: main 0: a b c mem: 0 run: main 1: d e f mem: 1 mem: 1 mem: 1 mem: 1 mem: 1 run: main 2: g hi run: main 3: j mem: 3 run: main 4: k run: main 5: l run: main 6: m run: main 7: n run: main 8: o") (browse-trace x:string-address 3:literal/screen-height) ])