search

ct-gradual-typing / Papers

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

Reloading file bug #45

Closed michaelto20 closed 7 years ago

michaelto20 commented 7 years ago

When a new file is loaded into the Repl, dumb the state first and then load the file. Currently, you must quit the Repl to empty the state.

michaelto20 commented 7 years ago

Done and pushed up onto new branch. I created a branch just for continually fixing bugs.