about summary refs log tree commit diff stats
path: root/shell/main.mu
Commit message (Collapse)AuthorAgeFilesLines
* devote 2/3rds of screen to definitionsKartik K. Agaram2021-04-251-2/+2
|
* add some padding to the sandboxKartik K. Agaram2021-04-251-1/+1
|
* clear old output when new run is in progressKartik K. Agaram2021-04-211-2/+2
| | | | I'm currently doing this extremely naively/slowly/uglily. Not a bottleneck.
* .Kartik K. Agaram2021-04-211-1/+1
|
* .Kartik K. Agaram2021-04-211-1/+1
|
* shell: show screen state during evaluationKartik K. Agaram2021-04-211-1/+1
| | | | | | | | | | | | | | All highly experimental. Current constraints: * No tail recursion elimination * No heap reuse * Keep implementation simple So it's slow, and I don't want to complicate it to speed it up. So I'm investing in affordances to help deal with the slowness. However, in the process I've taken the clean abstraction of a trace ("all you need to do is add to the trace") and bolted on call counts and debug-prints as independent mechanisms.
* shell: ctrl-r runs on real screen without a traceKartik K. Agaram2021-04-171-1/+47
| | | | | We run out of memory fairly early in the course of drawing a chessboard on the whole screen.
* load sandbox even if there are no globalsKartik K. Agaram2021-04-171-11/+9
|
* heh, the current state actually overflows 2KBKartik K. Agaram2021-04-171-4/+4
| | | | | | It only works because the part that's truncated is cleanly the sandbox. I need better error-checking in `read`.
* loosening a few more buffersKartik K. Agaram2021-04-171-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Mu computer now has more code in it: ( (globals . ( (hline1 . (fn () (screen y lo hi) (if (>= lo hi) () ((fn () (pixel screen lo y 12) (hline1 screen y (+ lo 1) hi)))))) (vline1 . (fn () (screen x lo hi) (if (>= lo hi) () ((fn () (pixel screen x lo 12) (vline1 screen x (+ lo 1) hi)))))) (hline . (fn () (screen y) (hline1 screen y 0 (width screen)))) (vline . (fn () (screen y) (vline1 screen y 0 (height screen)))) (andf . (fn (a b) (if a (if b 1 ()) ()))) (brline . (fn (screen x0 y0 x1 y1) ((fn (dx dy sx sy) ((fn (err) (brline1 screen x0 y0 x1 y1 dx dy sx sy err)) (+ dx dy))) (abs (- x1 x0)) (- 0 (abs (- y1 y0))) (sgn (- x1 x0)) (sgn (- y1 y0))))) (brline1 . (fn (screen x y xmax ymax dx dy sx sy err) (pixel screen x y 12) (if (andf (= x xmax) (= y ymax)) () ((fn (e2) (brline1 screen (if (>= e2 dy) (+ x sx) x) (if (<= e2 dx) (+ y sy) y) xmax ymax dx dy sx sy (+ err (+ (if (>= e2 dy) dy 0) (if (<= e2 dx) dx 0))))) (* err 2))))) )) (sandbox . (brline screen 1 1 5 5)) )
* data.img now has more than one sector of dataKartik K. Agaram2021-04-161-4/+5
|
* shell: restore bindings after restartKartik K. Agaram2021-04-151-0/+15
|
* .Kartik K. Agaram2021-04-151-4/+8
|
* .Kartik K. Agaram2021-04-151-1/+4
|
* .Kartik K. Agaram2021-04-151-5/+2
|
* .Kartik K. Agaram2021-04-151-10/+8
|
* add some structure to the serialization formatKartik K. Agaram2021-04-151-2/+16
|
* .Kartik K. Agaram2021-04-151-0/+7
|
* shell: load data disk as s-expr rather than stringKartik K. Agaram2021-04-141-13/+14
|
* shell: starting to work on persistent globalsKartik K. Agaram2021-04-141-2/+8
|
* .Kartik K. Agaram2021-04-141-0/+15
|
* shell: move fake screen to sandboxKartik K. Agaram2021-04-101-1/+1
|
* .Kartik K. Agaram2021-04-101-1/+1
|
* shell: start of 'print' primitiveKartik K. Agaram2021-04-101-1/+1
|
* .Kartik K. Agaram2021-04-081-2/+2
|
* shell: create space to display globalsKartik K. Agaram2021-04-081-4/+2
|
* shell: extensible array of globalsKartik K. Agaram2021-04-051-2/+5
| | | | I'm not bothering with full dynamic scope for now.
* .Kartik K. Agaram2021-04-051-1/+1
|
* shell: save repl input to disk before runningKartik K. Agaram2021-04-051-2/+2
|
* .Kartik K. Agaram2021-03-281-6/+6
|
* explicitly pass screen and keyboard to mainKartik K. Agaram2021-03-261-4/+4
|
* .Kartik K. Agaram2021-03-221-1/+1
|
* shell: read initial expression from secondary diskKartik K. Agaram2021-03-211-0/+20
| | | | See shell/README.md for (extremely klunky) instructions.
* 7842 - new directory organizationKartik K. Agaram2021-03-031-0/+22
Baremetal is now the default build target and therefore has its sources at the top-level. Baremetal programs build using the phase-2 Mu toolchain that requires a Linux kernel. This phase-2 codebase which used to be at the top-level is now under the linux/ directory. Finally, the phase-2 toolchain, while self-hosting, has a way to bootstrap from a C implementation, which is now stored in linux/bootstrap. The bootstrap C implementation uses some literate programming tools that are now in linux/bootstrap/tools. So the whole thing has gotten inverted. Each directory should build one artifact and include the main sources (along with standard library). Tools used for building it are relegated to sub-directories, even though those tools are often useful in their own right, and have had lots of interesting programs written using them. A couple of things have gotten dropped in this process: - I had old ways to run on just a Linux kernel, or with a Soso kernel. No more. - I had some old tooling for running a single test at the cursor. I haven't used that lately. Maybe I'll bring it back one day. The reorg isn't done yet. Still to do: - redo documentation everywhere. All the README files, all other markdown, particularly vocabulary.md. - clean up how-to-run comments at the start of programs everywhere - rethink what to do with the html/ directory. Do we even want to keep supporting it? In spite of these shortcomings, all the scripts at the top-level, linux/ and linux/bootstrap are working. The names of the scripts also feel reasonable. This is a good milestone to take stock at.