about summary refs log tree commit diff stats
path: root/shell/global.mu
Commit message (Collapse)AuthorAgeFilesLines
* shell: primitive 'not'Kartik K. Agaram2021-04-251-4/+45
|
* .Kartik K. Agaram2021-04-251-2/+2
|
* .Kartik K. Agaram2021-04-251-56/+56
|
* .Kartik K. Agaram2021-04-251-1/+2
| | | | Show all builtins now that we have more space.
* .Kartik Agaram2021-04-241-12/+0
| | | | Get rid of my experiment adding Game of Life to the shell.
* clean up with the final bugfixKartik K. Agaram2021-04-221-1/+0
|
* snapshotKartik K. Agaram2021-04-221-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | It took me _way_ too long to realize that I'm not checking for errors within the loop, and that will cause it to manifest as an infinite loop as inner evaluations fail to run. Debugging notes, for posterity: printing one row of a chessboard pattern over fake screen (chessboard screen 4 0 0 15) gets stuck in an infinite loop halfway through debug pattern during infinite loop: VWEX. It's still in the loop but it's not executing the body raw (fill_rect screen 16 0 20 4 15) works fine same number of calls to fill_rect work fine replacing calls to fill_rect with pixel inside chessboard2 works fine at the point of the infinite loop it's repeatedly going through the hline loop -- BUT it never executes the check of the loop (< lo hi) with lo=20, hi=20. Something is returning 1, but it's not inside < stream optimization is not implicated simple test case with a single loop ( (globals . ( (foo . (fn () (screen i n) (while (< i n) (pixel screen 4 4 i) (pixel screen 5 4 i) (pixel screen 6 4 i) (pixel screen 7 4 i) (set i (+ i 1))))) )) (sandbox . (foo screen 0 100)) ) simpler (if you reset cursor position before every print): ( (globals . ( (foo . (fn () (screen i n) (while (< i n) (print screen i) (set i (+ i 1))))) )) (sandbox . (foo screen 0 210)) ) I now believe it has nothing to do with the check. The check always works. Sometimes no body is evaluated. And so the set has no effect.
* shell: refuse to 'def' duplicate namesKartik K. Agaram2021-04-211-1/+45
|
* shell: separate 'def' from 'set'Kartik K. Agaram2021-04-211-0/+25
| | | | | 'def' creates new bindings (only in globals) 'set' only modifies existing bindings (either in env or globals)
* .Kartik K. Agaram2021-04-171-0/+13
|
* loosening a few more buffersKartik K. Agaram2021-04-171-1/+13
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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)) )
* new primitives: abs, sgnKartik K. Agaram2021-04-161-1/+100
|
* open question: animations in the fake screenKartik K. Agaram2021-04-151-0/+38
| | | | Right now we just render the state of the screen at the end of an evaluation.
* .Kartik K. Agaram2021-04-151-17/+17
|
* .Kartik K. Agaram2021-04-151-2/+6
|
* .Kartik K. Agaram2021-04-151-1/+2
|
* shell: primitives for screen sizeKartik K. Agaram2021-04-151-2/+180
|
* shell: restore bindings after restartKartik K. Agaram2021-04-151-0/+37
|
* shell: start persisting global bindingsKartik K. Agaram2021-04-151-1/+35
|
* .Kartik K. Agaram2021-04-151-1/+1
|
* .Kartik K. Agaram2021-04-151-0/+4
|
* .Kartik K. Agaram2021-04-151-0/+1
|
* shell: primitives for comparison, cursor movementKartik K. Agaram2021-04-141-10/+439
|
* shell: more detailed description of primitivesKartik K. Agaram2021-04-141-12/+44
|
* shell: pixel graphicsKartik K. Agaram2021-04-131-0/+86
|
* shell: none of our primitives need to be closuresKartik K. Agaram2021-04-101-51/+27
|
* shell: streams that you can append graphemes toKartik K. Agaram2021-04-101-0/+72
|
* .Kartik K. Agaram2021-04-101-1/+6
|
* shell: fake keyboardKartik K. Agaram2021-04-101-1/+57
|
* shell: UI now showing fake keyboardKartik K. Agaram2021-04-101-1/+11
| | | | But we don't actually support fake keyboards anywhere yet.
* shell: move fake screen to sandboxKartik K. Agaram2021-04-101-46/+15
|
* shell: tweaks for fake screensKartik K. Agaram2021-04-101-0/+28
| | | | | - make them more discoverable - clear them between commands
* shell: render fake screensKartik K. Agaram2021-04-101-25/+45
| | | | 'print' turns out to not be working yet.
* shell: start of 'print' primitiveKartik K. Agaram2021-04-101-4/+66
|
* shell: structural equality checkKartik K. Agaram2021-04-091-0/+44
| | | | Mu can now compute (factorial 5)
* shell: render primitives at the bottomKartik K. Agaram2021-04-081-2/+44
|
* shell: start rendering globalsKartik K. Agaram2021-04-081-1/+31
|
* shell: create space to display globalsKartik K. Agaram2021-04-081-0/+4
|
* shell: 'set' for defining globalsKartik K. Agaram2021-04-061-0/+15
| | | | Currently stateful, but still good for things.
* shell: now we can start adding primitivesKartik K. Agaram2021-04-061-0/+307
|
* shell: look up globalsKartik K. Agaram2021-04-061-0/+41
|
* shell: extensible array of globalsKartik K. Agaram2021-04-051-0/+105
I'm not bothering with full dynamic scope for now.