These are chat archives for evhub/coconut

29th
Jan 2018
'jamin
@acdimalev
Jan 29 2018 18:27
Are you open to having Coconut return non-zero when mypy reports an error?
Evan Hubinger
@evhub
Jan 29 2018 19:05
@acdimalev Yeah; that's a good suggestion! Can you raise an issue for it?
'jamin
@acdimalev
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.