mattwparas / steel / 17624881978

Builds Branch Commit Type Ran Committer Via Coverage
17624881978 master flush stdout in repl after user prompt (#506) when i changed the buffering i said that nothing relies on the flushing behaviour of write. turns out, this is incorrect. i still stand by the fact that nothing *should* rely on that behaviour, but th... push web-flow github
43.31
17624484369 repl-flush-stdout Merge bf4c0be7d into ee5fe5a69 Pull #506 web-flow github
43.32
17623364749 misc-port-improvements Merge bdfbd0063 into ee5fe5a69 Pull #505 web-flow github
43.35
17620592516 misc-port-improvements Merge 312c8468e into ee5fe5a69 Pull #505 web-flow github
43.35
17569005071 master Fix issue #503: Refactor wasm32 cfg to family/env checks (#504) push web-flow github
43.32
17561848946 non-unix-32 Merge e2365aec5 into 00f6a9804 Pull #504 web-flow github
43.31
17556488807 master adjust display impl (#502) * display: don't print the ' in front of symbols and lists * display: don't quote strings * display: don't print the ' in front of hash and vectors * print: properly print symbols with spaces like '|pea pod| * print... push web-flow github
43.41
17556167245 master improve port `write` (#501) * don't flush on write the spec doesn't say anything about flushing, and there is a procedure specifically to flushing, so i think it makes a lot more sense to not always flush for performance reasons, as always flush... push web-flow github
43.4
17554753898 adjust-display-impl Merge 1485e9048 into c8a2aa828 Pull #502 web-flow github
43.36
17539747674 master better messages for tokenizer errors (#499) push web-flow github
43.34
17539717174 master introduce the `(print)` procedure (#489) * rename #%top-level-print to #%top-level-display and #%print to #%display if i want to add a (print) function, it is quite unfortunate, that the namespace is already filled with functions, that are calle... push web-flow github
43.37
17533853048 improve-port-write Merge 34efa1cf3 into bd47a612f Pull #501 web-flow github
43.35
17533788619 master misc fixes for `add_two` (#500) push web-flow github
43.32
17533487083 misc-addition-fixes Merge 7e6ee62dd into 0ff387fce Pull #500 web-flow github
43.31
17525866352 better-tokenizer-errors Merge cb2f9e38d into 0ff387fce Pull #499 web-flow github
43.29