| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Be more disciplined about tagging 2 different concepts in the codebase:
a) Use the phrase "later layers" to highlight places where a layer
doesn't have the simplest possible self-contained implementation.
b) Use the word "hook" to point out functions that exist purely to
provide waypoints for extension by future layers.
Since both these only make sense in the pre-tangled representation of
the codebase, using '//:' and '#:' comments to get them stripped out of
tangled output.
(Though '#:' comments still make it to tangled output at the moment.
Let's see if we use it enough to be worth supporting. Scenarios are
pretty unreadable in tangled output anyway.)
|
| | |
|
| | |
|
| |
|
|
|
|
|
| |
Bugfix: writing to a new file in a non-empty fake file system.
The one time I try to get a little clever, it bites me in the ass.
That'll teach me..
|
| | |
|
| |
|
|
| |
Commands like '$exit' shouldn't look like labels.
|
| |
|
|
| |
Gracefully handle yet another typo.
|
| |
|
|
|
|
| |
Reorder products of some functions in the edit/ and sandbox/ apps. My
recent realization: always return 'real' products before ones that just
indicate an ingredient is mutable.
|
| |
|
|
|
| |
Delete some obsolete /same-as-ingredient attributes. We should always
let Mu deduce those at this point.
|
| |
|
|
|
|
|
|
| |
Update sandbox/ with recent changes to edit/ (commit 3695 onwards).
[Incidentally, this is the first commit to be made while running on
OpenBSD. Simulated and host systems are going to blur together from now
on.]
|
| |
|
|
|
|
| |
Decouple programming environment initialization from rendering. This
helps make clear that we only need the width from screen during
initialization.
|
| |
|
|
|
|
| |
Decouple editor initialization from rendering to screen. This hugely
simplifies the header of 'new-editor' and makes clear that it was only
using the screen for rendering.
|
| | |
|
| |
|
|
| |
Fix CI, broken by commit 3691.
|
| | |
|
| |
|
|
|
|
| |
If we're automatically passing ingredients to 'append' through 'to-text'
if its first ingredient is text, we don't need to pass that first
ingredient itself through 'to-text'.
|
| |
|
|
| |
Expand 'assert' to handle non-literal texts.
|
| |
|
|
|
| |
Attempting to write to a file in a non-existent directory silently
writes to a black hole in Unix. Make that explicit.
|
| | |
|
| |
|
|
|
|
|
| |
Move my todos over the past couple of years into the codebase now that
it might be going dormant.
Surprising how few todos left undone!
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
Trying to find examples where a layer includes complexity just so later
layers can hook into it. Resolve_stack is the one big one I've found
that isn't just a simple function-call indirection that may later get
more complex.
Conclusion of a conversation with Stephen Malina: Such examples should
make one very nervous, because this sort of creep is how we end up with
over-engineered abstractions (http://www.joelonsoftware.com/articles/fog0000000018.html).
We need to step very carefully anytime we make the outsider reader's
comprehension task harder..
|
| | |
|
| |
|
|
|
| |
Clean up the flow of "mu --trace" followed by "mu browse-trace
interactive".
|
| |
|
|
| |
Couple of fixes to example programs.
|
| |
|
|
|
| |
Was there some reason I used a subshell?
No reason recorded at bottom.
|
| | |
|
| |
|
|
| |
Thanks Jack Couch for running into this.
|
| |
|
|
| |
Thanks Jack Couch for running into this.
|
| |
|
|
| |
Thanks Jack Couch for running into this.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
Thanks Ella Couch for contributing this function.
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
| |
Useful for programming contests like https://halite.io
Doesn't suffer from C++'s usual buffered gotchas: it'll skip leading
whitespace. Slow, though. Can be speeded up, though.
- 20 minutes later
But what's the point? Typewriter mode is actually harder to test than
'raw' console mode. Writing Mu programs in typewriter mode is just going
to encourage us all to slack off on writing tests.
|
| | |
|
| |
|
|
| |
Fix a memory leak.
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This was a large commit, and most of it is a follow-up to commit 3309,
undoing what is probably the final ill-considered optimization I added
to s-expressions in Mu: I was always representing (a b c) as (a b . c),
etc. That is now gone.
Why did I need to take it out? The key problem was the error silently
ignored in layer 30. That was causing size_of("(type)") to silently
return garbage rather than loudly complain (assuming 'type' was a simple
type).
But to take it out I had to modify types_strictly_match (layer 21) to
actually strictly match and not just do a prefix match.
In the process of removing the prefix match, I had to make extracting
recipe types from recipe headers more robust. So far it only matched the
first element of each ingredient's type; these matched:
(recipe address:number -> address:number)
(recipe address -> address)
I didn't notice because the dotted notation optimization was actually
representing this as:
(recipe address:number -> address number)
---
One final little thing in this commit: I added an alias for 'assert'
called 'assert_for_now', to indicate that I'm not sure something's
really an invariant, that it might be triggered by (invalid) user
programs, and so require more thought on error handling down the road.
But this may well be an ill-posed distinction. It may be overwhelmingly
uneconomic to continually distinguish between model invariants and error
states for input. I'm starting to grow sympathetic to Google Analytics's
recent approach of just banning assertions altogether. We'll see..
|
| | |
|
| |
|
|
| |
Another place I missed in commit 3309.
|
| |
|
|
|
| |
Fix a place I forgot to update in commit 3309, moving to the new
type_tree representation.
|
| | |
|
| | |
|