search

ct-gradual-typing / Papers

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

Typecheck definitions #46

Closed michaelto20 closed 7 years ago

michaelto20 commented 7 years ago

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 7 years ago

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.