| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 2548 - teach 'print' to print integers | Kartik K. Agaram | 2015-12-28 | 5 | -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/ app | Kartik K. Agaram | 2015-12-15 | 7 | -17/+19 |
| | | |||||
| * | 2477 | Kartik K. Agaram | 2015-11-27 | 1 | -2/+2 |
| | | |||||
| * | 2476 | Kartik K. Agaram | 2015-11-27 | 1 | -1/+1 |
| | | |||||
| * | 2474 - overload 'copy' and 'equal' for text | Kartik K. Agaram | 2015-11-22 | 1 | -1/+1 |
| | | | | | 2473 was the final bugfix holding this back. | ||||
| * | 2471 | Kartik K. Agaram | 2015-11-22 | 1 | -4/+0 |
| | | |||||
| * | 2468 - overload print-character as just 'print' | Kartik K. Agaram | 2015-11-21 | 6 | -25/+25 |
| | | |||||
| * | 2467 - rename 'string' to 'text' everywhere | Kartik K. Agaram | 2015-11-21 | 6 | -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 scenarios | Kartik K. Agaram | 2015-11-21 | 1 | -1/+1 |
| | | |||||
| * | 2446 - drop '-duplex' namespacing in recipes | Kartik K. Agaram | 2015-11-15 | 6 | -77/+77 |
| | | | | | Great that it just worked after the previous commit. | ||||
| * | 2434 | Kartik K. Agaram | 2015-11-13 | 1 | -0/+4 |
| | | |||||
| * | 2428 - sandbox/ working again | Kartik K. Agaram | 2015-11-12 | 11 | -543/+521 |
| | | |||||
| * | 2309 | Kartik K. Agaram | 2015-10-28 | 10 | -424/+424 |
| | | |||||
| * | 2268 - bugfix in 'mu sandbox' | Kartik K. Agaram | 2015-10-09 | 2 | -1/+16 |
| | | | | | | We still can't have decent tests in this variant. Thanks Jack and Caleb Couch. | ||||
| * | 2267 | Kartik K. Agaram | 2015-10-09 | 1 | -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 label | Kartik K. Agaram | 2015-10-06 | 5 | -10/+10 |
| | | | | | Now we can collect all traces, just modulating the depth. | ||||
| * | 2247 - type-check products of non-primitive recipes | Kartik K. Agaram | 2015-10-05 | 3 | -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. Agaram | 2015-10-04 | 1 | -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. Agaram | 2015-10-04 | 2 | -15/+17 |
| | | |||||
| * | 2206 - fix missing ingredients | Kartik K. Agaram | 2015-09-26 | 2 | -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. Agaram | 2015-09-15 | 2 | -9/+8 |
| | | |||||
| * | 2190 | Kartik K. Agaram | 2015-09-12 | 1 | -2/+3 |
| | | |||||
| * | 2189 | Kartik K. Agaram | 2015-09-12 | 1 | -1/+1 |
| | | |||||
| * | 2188 | Kartik K. Agaram | 2015-09-12 | 1 | -2/+2 |
| | | |||||
| * | 2187 | Kartik K. Agaram | 2015-09-12 | 1 | -1/+5 |
| | | |||||
| * | 2183 - environment + external editor using tmux | Kartik K. Agaram | 2015-09-12 | 14 | -0/+8330 |
| Thanks Jack and Caleb Couch for the idea. | |||||