ct-gradual-typing/Papers

Improvements to TypeChecker

Closed this issue · 4 comments

michaelto20 commented

In TypeChecker:

  1. Implement ReaderT monad transformer
  2. Use except monad transformer, where you must catch the exception
  3. Put exception handling in REPL
  4. Make data type for each exception
  5. Implement Data.Map for type TyCtx
michaelto20 commented

Completed steps 4 and 5

michaelto20 commented

Moved exception code into it's own module

michaelto20 commented

Completed step 3

michaelto20 commented

All changes implemented