search

ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective
10 stars 0 forks source link

CtxNotOk Type Error #52

Closed michaelto20 closed 7 years ago

michaelto20 commented 7 years ago

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

heades commented 7 years ago

I think that one can be removed.

michaelto20 commented 7 years ago

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

heades commented 7 years ago

Great work!