<korvo>
Fuck, I want type annotations. Or, at least, I want a way to tell rtyper that it has performed a union too late and thus incorrectly blamed a library function for the UnionError rather than one of the 70 calls of that library function.
<korvo>
I'll own the mistake. I messed up one of those calls. But I'd like to know *which* call is wrong, please.
<korvo>
(I know that this is an impossibly hard request. It's just frustrating.)
<cfbolz>
korvo: there is rlib.signature
<korvo>
cfbolz: Oh, TIL! I'll see if it helps. Thanks.
<cfbolz>
it's a bit klunky
<korvo>
Yeah, but maybe it's good klunk. I was going to use `int` as my types, but I see that I have the ability to choose e.g. `int_nonneg` instead. This is way easier than switching to Idris.