ct-gradual-typing/Papers

CtxNotOk Type Error

Closed this issue · 3 comments

I've been trying to update the messages associated with each type error. I can't find where the type error CtxNotOk is used. Was it used at one time and is no longer needed or am I just missing it somehow?

I think that one can be removed.

Done and pushed the changes. The error typing messages are all completed now!

Great work!