search

ct-gradual-typing / Papers

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

More typechecking cases? #57

Open michaelto20 opened 7 years ago

michaelto20 commented 7 years ago

I was reviewing the typechecker for the surface language. There were some rules in the draft that didn't have a corresponding case split in typecheck_aux. Do we need case splitting for the following rules: T_FST, T_SND, T_APP, T_LCASE, T_SUB, T_TYPEAPP, T_NCASE, T_SUCC, and T_UNIT?

If some of them need to be added to the typechecker, just let me know which ones and I'll add them.

heades commented 7 years ago

Everything but T_TYPEAPP and T_SUB