3 5 lines (27 sloc) 1.83 KB Raw Blame History 1 module compiler where open Inport expr open inport lib eqTp !) 10 tpCheck (Num x)- 11 tpCheck (Bool x) 2here is one example case in the style I found easiest to deal with (I suggest 13 implementing the cases for Lt and Ite similarly). 14 tpCheck (Add r r.) watn tpCheck r tpCheck r. 15 tpCheck (Aod r r)I just (TpNat,
OR
OR