about summary refs log tree commit diff stats
path: root/edit/002-typing.mu
Commit message (Collapse)AuthorAgeFilesLines
* 2576 - distinguish allocated addresses from othersKartik K. Agaram2016-01-191-136/+136
| | | | | | | | | | | | | | | | 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.
* layers 1 and 2 of edit/ now workingKartik K. Agaram2015-12-151-4/+4
|
* 2468 - overload print-character as just 'print'Kartik K. Agaram2015-11-211-3/+3
|
* 2446 - drop '-duplex' namespacing in recipesKartik K. Agaram2015-11-151-14/+14
| | | | Great that it just worked after the previous commit.
* 2417 - support mutable ingredients in headersKartik K. Agaram2015-11-101-1/+1
| | | | | | If a name repeats between ingredients, we raise an error. If a name repeats across ingredients and products, every call should share the same name across the corresponding ingredients and products.
* 2370 - layers 1-4 of edit are backKartik K. Agaram2015-11-051-69/+58
| | | | | | | | | | | | One nice consequence of all my deduction of reply ingredients is that I can insert the same fragment into recipes with different headers, and everything works as long as reply instructions are implicitly deduced. One thing I had to fix to make this work was to move reply-deduction out of rewrite rules and turn it into a first-class transform, so that it happens after tangling. I'm glad to see the back of that hack inside <scroll-down>.
* 2309Kartik K. Agaram2015-10-281-63/+63
|
* 2173 - 'main' for 'mu edit' running layers 1 and 2Kartik K. Agaram2015-09-061-1/+42
| | | | | | Layer 2 provides an almost fully functioning interactive editor: $ ./mu edit/00[12]* -- abcdef
* 2156 - split edit.mu into multiple filesKartik K. Agaram2015-09-051-0/+1012
Now you can bring up the programming environment by saying: $ mu edit The files under edit aren't yet *layers*, though, they have a few dependencies that we need to clean up.