These are chat archives for evhub/coconut

Jan 2018
Jan 29 2018 18:27
Are you open to having Coconut return non-zero when mypy reports an error?
Evan Hubinger
Jan 29 2018 19:05
@acdimalev Yeah; that's a good suggestion! Can you raise an issue for it?
Jan 29 2018 20:19
Gladly. After reviewing the code, I'm pretty sure it's a one-line change, but I'd also
[...] be happy to put in a pull request if you don't mind waiting for one.