Coding 2025-07-04
Oh wow. On the one hand, I've made some progress planning things, but on the other hand I feel awful. I'm going to try to quickly lay out a plan, and then get to sleep and hope my body recovers from whatever is happening.
Long term, I want to be dealing with some kind of error object instead of strings, and such a thing can probably be broken down into two basic categories: triples of context, expected type, and actual type, and triples of context, expected kind, and actual kind. Long term, I want to be yielding these from a generator, but for now, I can get tests working again if I simply use them to generate an error message. I think I want the "context" templates to be available at the top level, so I can write tests for them withouth having to synthesize awkward syntax trees, but on the other hand, I want to make sure incorrect trees generate the right error messages, so I don't know, I'll have to think about it more.
For now, I'm going to try to read and let my brain spin down a little.
Good night.