Skip to content
This repository
Browse code

added the subtyping check (even if the quality of error messages is q…

…uestionable)
  • Loading branch information...
commit 44e245b0b640d2e45b517906e6abc0205ee562dd 1 parent 971e8e0
Julien Verlaguet authored

Showing 1 changed file with 1 addition and 2 deletions. Show diff stats Hide diff stats

  1. 3  compiler/typing.ml
3  compiler/typing.ml
@@ -350,8 +350,7 @@ and def env (fid, p, e) =
350 350
       let tyl = ExpandType.type_expr_list !env tyl in
351 351
       let rty = ExpandType.type_expr_list !env rty in
352 352
       let fty' = fp, Tfun (k, tyl, rty) in
353  
-      (* TODO error messages are bad *)
354  
-(*       SubType.type_expr fty fty'; *)
  353
+      SubType.type_expr fty fty';
355 354
       k, fid, p, (rty, e)
356 355
   | _ -> assert false
357 356
 

0 notes on commit 44e245b

Please sign in to comment.
Something went wrong with that request. Please try again.