about summary refs log tree commit diff stats
path: root/apps
Commit message (Collapse)AuthorAgeFilesLines
* 7174 - function returns should now be safeKartik Agaram2020-11-032-4/+197
|
* 7173Kartik Agaram2020-11-0312-12/+108
| | | | All tests passing again.
* 7172Kartik Agaram2020-11-031-1/+1
|
* 7171Kartik Agaram2020-11-031-1/+1
|
* 7170Kartik Agaram2020-11-031-0/+47
| | | | One more test.
* 7169Kartik Agaram2020-11-031-7/+88
| | | | | | | Now test-return-unavailable-value is passing, but test-convert-return-with-duplicate-values is failing. Time to think.
* 7168 - snapshotKartik Agaram2020-11-031-0/+93
| | | | | | | | 2 new tests: test-return-unavailable-value - currently failing test-convert-return-with-duplicate-values - currently passing I don't yet know how to make both pass.
* 7167Kartik Agaram2020-11-032-1/+74
|
* 7166Kartik Agaram2020-11-033-45/+170
|
* 7165Kartik Agaram2020-11-035-27/+94
| | | | | All tasks of https://github.com/akkartik/mu/issues/45#issuecomment-719990879 should now be complete.
* 7164Kartik Agaram2020-11-032-1/+112
|
* 7163 - first type checks for 'return' statementsKartik Agaram2020-11-032-2/+124
|
* 7161 - stop processing function outputsKartik Agaram2020-11-022-601/+109
| | | | | | Assignments to them will no longer work, and they can never be live variables. https://github.com/akkartik/mu/issues/45#issuecomment-719990879, task 3.
* 7160Kartik Agaram2020-11-022-133/+133
|
* 7159 - explicitly use 'return' everywhereKartik Agaram2020-11-0217-453/+405
| | | | https://github.com/akkartik/mu/issues/45#issuecomment-719990879, task 2.
* 7157Kartik Agaram2020-11-016-101/+96
|
* 7156Kartik Agaram2020-11-012-3/+6
|
* 7155Kartik Agaram2020-11-011-12/+12
| | | | apps/arith.mu compiling again.
* 7154Kartik Agaram2020-11-0112-369/+141
|
* 7153Kartik Agaram2020-11-012-3/+7
| | | | Bugfix in computing the label a return should jump to.
* 7152 - 'return' instructionKartik Agaram2020-11-012-1/+629
| | | | | | https://github.com/akkartik/mu/issues/45#issuecomment-719990879, task 1. We don't have checking for it yet. Soon.
* 7151Kartik Agaram2020-11-012-97/+46
| | | | Drop pending tests for the old plan of liveness analysis.
* 7148Kartik Agaram2020-10-312-5/+2
|
* 7145 - roll back to 7143Kartik Agaram2020-10-301-89/+174
|
* 7144 - tmp: redo checks for function outputsKartik Agaram2020-10-301-174/+89
| | | | | | | | | | | | | | | | | | | | | | | | | | | This isn't done, but an intermediate snapshot seems worth capturing. Back in March (commit 6082), I made a plan to check writes to function outputs using liveness analysis. I've been shying away from actually acting on this plan ever since. In recent weeks I've had this gap bite me three times. Returning to the problem now, I think I don't actually need to compute variable liveness. The compiler can, I think, do the same thing for output registers whether their variables are alive or dead. The new rule is this: Once a register gets a function output written to it, no local is popped into it. Instead of popping outer locals to the register, we simply increment the stack and keep going. Since the function output will continue to live on the vars stack past this point (see clean-up-block), any attempts to read shadowed variables will throw an error as usual. This rule is also now easy to explain to people, I think. "You wrote the function output. Now the register can't be used for anything else." It's really cool that this works (if it does). Another fruit from "Mu's lovely property."
* 7143Kartik Agaram2020-10-292-1/+1
| | | | Am I starting to have too much code duplication?
* 7142Kartik Agaram2020-10-292-0/+4
|
* 7141Kartik Agaram2020-10-292-4/+1
|
* 7140Kartik Agaram2020-10-291-0/+11
|
* 7139 - type-check compute-offsetKartik Agaram2020-10-292-13/+908
|
* 7138 - type-check array 'length' instructionKartik Agaram2020-10-2915-5/+837
|
* 7137Kartik Agaram2020-10-282-2/+2
|
* 7136Kartik Agaram2020-10-282-10/+10
|
* 7135 - type-check write-to-streamKartik Agaram2020-10-282-0/+668
| | | | Lots of copy-pasta.
* 7134 - type-check read-from-streamKartik Agaram2020-10-282-0/+562
|
* 7130 - back to the Mu compiler for a spellKartik Agaram2020-10-272-0/+106
| | | | | Hacking on apps has created some urgency now for several additional safety checks.
* 7129 - tile: allow bindings anywhereKartik Agaram2020-10-271-7/+7
| | | | | | | | | | Amazing how easy this was. And it does feel more intuitive. If I decide at some point that I want to bind something to a name I don't usually want to lose the entire line after that point. It also sidesteps for now the thorny question of whether to permit organically switching to a new line (rather than using the 'name value' hotkey), and how that should work.
* 7128Kartik Agaram2020-10-271-5/+11
| | | | More consistent spacing in sandbox render.
* 7127Kartik Agaram2020-10-271-1/+1
|
* 7126Kartik Agaram2020-10-271-5/+5
|
* 7125 - tile: fade out values on the stackKartik Agaram2020-10-271-4/+1
|
* 7124 - tiles: better 'lines' primitiveKartik Agaram2020-10-272-14/+19
|
* 7123 - tile: truncate string if necessaryKartik Agaram2020-10-263-3/+30
|
* 7122 - tile: styling for stringsKartik Agaram2020-10-261-1/+6
|
* 7121Kartik Agaram2020-10-261-5/+11
| | | | | | | Starting to polish 'line-count' demo: filename line-count = filename open lines len
* 7120 - tile: array of lines from fileKartik Agaram2020-10-265-2/+86
| | | | Requires a quick hacky change to Mu compiler.
* 7119 - tile: new primitive to slurp file contentsKartik Agaram2020-10-262-1/+41
| | | | | Stack display is messed up when file contents contain newlines. Ignoring that for now.
* 7118Kartik Agaram2020-10-261-3/+5
|
* 7117Kartik Agaram2020-10-261-2/+4
|
* 7116 - tile: regression in typing in stringsKartik Agaram2020-10-262-55/+46
| | | | We really need to clean up the Mu compiler's logic around function outputs.
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-12-04 21:41:08 +0000