Daniel Peebles
Daniel Peebles
I don't think it's as simple as custom headers because the content of the header (a cryptographic signature) is a function of the (hash of the) exact request being sent...
Oh, that was a pretty bad sentence, sorry! I meant that it feels "right" for gen-idea to run when the inter-project dependencies and other forms of project structure are being...
Does it have to be a command? Could it be a task?
Looks like it's correct in https://raw.githubusercontent.com/grolang/vy/master/data/charData.txt. @gavingroovygrover is there a newer revision of this data than what's in this repo?
The issue I see here is that it's not a type-directed thing, and feels like a bit of rabbit hole. E.g., it's trivial to detect that `List(a, b).head` is safe,...
It seems super rare that you'd end up with a cons type in practice...
I'd take too strict :) users of wart remover are likely quite happy to take too strict.
@retronym that's certainly nice, but the primitive boxing seems scarier to me, since it doesn't seem to appear in the AST we get. I was hoping to see `boxToInteger` and...
Fair enough, that makes sense. I take it shifting the entire wartremover plugin to run after the erasure phase wouldn't produce the desired results? So I could just add another...