Closed planetis-m closed 2 years ago
out of curiosity, what if replace
did raise an error? is there a way to say "raises XYZ + by
function exceptions? or more broadly my function effects + the passed function effects?
I'll merge it once tests pass (if I don't, please ping me)
Thank you! I hope a tag will come soon.
out of curiosity, what if replace did raise an error? is there a way to say "raises XYZ + by function exceptions? or more broadly my function effects + the passed function effects?
Then you leave out the .raises:[]
part.
Ready