search

ct-gradual-typing / Papers

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

File loading #40

Closed michaelto20 closed 7 years ago

michaelto20 commented 7 years ago

Loading same file more than once continues to load the file more than once into the queue. Create a check before loading the definitions into queue to see if there are already there.

michaelto20 commented 7 years ago

Done and extended the same functionality to adding definitions manually in the Repl so you can't have two of the same definitions in the context.