ct-gradual-typing/Papers

Typecheck definitions

Closed this issue · 1 comments

michaelto20 commented

Currently items added to the queue are not type checked before being added to the queue. Correct this for both loading an external file and adding definitions in the Repl

michaelto20 commented

When I tested with this example:

Grady> let p = (\(g:?)->\(h:? -> ?)->g h)
NotArrowType U

It typechecked the definition which prevented it from adding it to the queue. Do you have an example where this was failing? It seems that the definitions from an external file are also typechecked prior to adding them to the queue.