about summary refs log tree commit diff stats
path: root/sandbox
Commit message (Collapse)AuthorAgeFilesLines
* 2585 - label sandboxes with a numberKartik K. Agaram2016-01-225-20/+29
| | | | | | | | | It also seems useful that the number maps to the name of the file the sandbox is saved in. However this mapping is currently a happy accident and not actually tested. I'm starting to switch gears and help make the editor useable with many many sandboxes. This is just the first step of several.
* 2580 - check product type of 'maybe-convert'Kartik K. Agaram2016-01-202-14/+14
| | | | I had to undo some over-zealous changes in 2576.
* 2576 - distinguish allocated addresses from othersKartik K. Agaram2016-01-1911-1138/+1143
| | | | | | | | | | | | | | | | This is the one major refinement on the C programming model I'm planning to introduce in mu. Instead of Rust's menagerie of pointer types and static checking, I want to introduce just one new type, and use it to perform ref-counting at runtime. So far all we're doing is updating new's interface. The actual ref-counting implementation is next. One implication: I might sometimes need duplicate implementations for a recipe with allocated vs vanilla addresses of the same type. So far it seems I can get away with just always passing in allocated addresses; the situations when you want to pass an unallocated address to a recipe should be few and far between.
* 2548 - teach 'print' to print integersKartik K. Agaram2015-12-285-16/+28
| | | | | | | | | | Still can't print non-integer numbers, so this is a bit hacky. The big consequence is that you can't print literal characters anymore because of our rules about how we pick which variant to statically dispatch to. You have to save to a character variable first. Maybe I can add an annotation to literals..
* support immutability checks in sandbox/ appKartik K. Agaram2015-12-157-17/+19
|
* 2477Kartik K. Agaram2015-11-271-2/+2
|
* 2476Kartik K. Agaram2015-11-271-1/+1
|
* 2474 - overload 'copy' and 'equal' for textKartik K. Agaram2015-11-221-1/+1
| | | | 2473 was the final bugfix holding this back.
* 2471Kartik K. Agaram2015-11-221-4/+0
|
* 2468 - overload print-character as just 'print'Kartik K. Agaram2015-11-216-25/+25
|
* 2467 - rename 'string' to 'text' everywhereKartik K. Agaram2015-11-216-26/+26
| | | | | | | | Not entirely happy with this. Maybe we'll find a better name. But at least it's an improvement. One part I *am* happy with is renaming string-replace to replace, string-append to append, etc. Overdue, now that we have static dispatch.
* 2466 - eliminate ':string' from scenariosKartik K. Agaram2015-11-211-1/+1
|
* 2446 - drop '-duplex' namespacing in recipesKartik K. Agaram2015-11-156-77/+77
| | | | Great that it just worked after the previous commit.
* 2434Kartik K. Agaram2015-11-131-0/+4
|
* 2428 - sandbox/ working againKartik K. Agaram2015-11-1211-543/+521
|
* 2309Kartik K. Agaram2015-10-2810-424/+424
|
* 2268 - bugfix in 'mu sandbox'Kartik K. Agaram2015-10-092-1/+16
| | | | | We still can't have decent tests in this variant. Thanks Jack and Caleb Couch.
* 2267Kartik K. Agaram2015-10-091-1/+1
| | | | | Introducing a new 'newlayer' tag like 'todo', to record places where a nascent new layer might be starting to bud off.
* 2260 - start tracing by depth rather than labelKartik K. Agaram2015-10-065-10/+10
| | | | Now we can collect all traces, just modulating the depth.
* 2247 - type-check products of non-primitive recipesKartik K. Agaram2015-10-053-14/+14
| | | | | | | | We still can't check ingredient types, and even this is still a run-time check. We'll need to start tracking recipe signatures at some point. I've had to introduce a hack called /skiptypecheck. Time to get generics working.
* 2240 - drop the failing test in 'mu sandbox'Kartik K. Agaram2015-10-041-45/+1
| | | | | | With our new type checks it's no longer possible to expand traces generated directly in the sandbox. So now there's yet another test that we can't run in the sandbox/ app. Yet.
* 2236 - all tests passing except one in 'mu sandbox'Kartik K. Agaram2015-10-042-15/+17
|
* 2206 - fix missing ingredientsKartik K. Agaram2015-09-262-3/+3
| | | | | How the heck was this working until now? There must be redundant moves. And was I clobbering test data?
* 2203 - show recipe warnings in 'mu sandbox'Kartik K. Agaram2015-09-152-9/+8
|
* 2190Kartik K. Agaram2015-09-121-2/+3
|
* 2189Kartik K. Agaram2015-09-121-1/+1
|
* 2188Kartik K. Agaram2015-09-121-2/+2
|
* 2187Kartik K. Agaram2015-09-121-1/+5
|
* 2183 - environment + external editor using tmuxKartik K. Agaram2015-09-1214-0/+8330
Thanks Jack and Caleb Couch for the idea.