Parent Directory
| 
Revision Log
| 
Patch
| revision 32 by abate, Tue Jul 10 16:59:33 2007 UTC | revision 33 by abate, Tue Jul 10 16:59:36 2007 UTC | |
|---|---|---|
| # | Line 401 | Line 401 |
| 401 | (* Format.fprintf Format.std_formatter "constr=%a precise=%b@\n" | (* Format.fprintf Format.std_formatter "constr=%a precise=%b@\n" |
| 402 | Types.Print.print_descr constr precise; | Types.Print.print_descr constr precise; |
| 403 | *) | *) |
| 404 | ||
| 405 | let d = type_check' e.exp_loc env e.exp_descr constr precise in | let d = type_check' e.exp_loc env e.exp_descr constr precise in |
| 406 | e.exp_typ <- Types.cup e.exp_typ d; | e.exp_typ <- Types.cup e.exp_typ d; |
| 407 | d | d |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |