Robby Findler
Robby Findler
1) that seems too wide to me. How about making two panes, with 3 in one pane and 2 in the other? 2) Oh, I missed that. But that means...
Thanks for your effort and I'll keep it on my list to look into too.
That would indeed be better, in this example (and many many similar ones), but the full ramifications of that seem quite subtle. It might be easy to do this but...
I like the api of all of those. Do they actually work when there are multiple lines involved? I think getting that right is tricky, so if there is any...
No, that's not what I'm saying. I'm not saying that they will raise errors. I'm saying that there is no one-best right behavior for multi-line inputs and so I would...
It replaces them with `""`?
Oh, that's just wrong, then.
I haven't fully grokked this error yet, but I believe you're running into a limitation of the `#:satisfying` generator. (I've pushed a fix so the error message is the intended...
Here's a slightly simpler program that also illustrates the issue: ``` #lang racket/base (require redex/reduction-semantics) (define-language FJ (P ::= (L P) ()) (L ::= (class C extends D K)) (L?...
If I understand it correctly, it is a technical limitation in the solver that isn't easily explained in terms of the source programs. It may be that this amounts to...