01:42 <Tuplanolla> It doesn't actually work. I still need some kind of `dynamic-case->`.

13:09 <Putonlalla> I'm starting to think this basic use case is impossible, because it has taken me several weeks and progressed nowhere.

13:26 <Putonlalla> Documentation doesn't help. Reading the source code doesn't help. Search engines don't find anything. Error messages are incomprehensible.

13:26 <Putonlalla> Like, how is this even possible? `two of the clauses in the or/c might both match: (-> boolean?) and (-> integer? boolean?)` And, what is this supposed to tell me? `default-blame-format: contract violation`

13:45 <Putonlalla> Let me know if there is even a way to write it by hand like this. https://pastebin.com/YFGWrEiZ

16:51 <samth> Putonlalla: given a function that satisfies `(partially-constrainted-domain-> integer? integer?)` what is a safe way to call it?

16:52 <samth> In particular, your definitition is satisified by both `(lambda (x) 1)` and `(lambda () 1)` and there's no context in which you can call both of those