Parent Directory
| 
Revision Log
| 
Patch
| revision 1494 by abate, Tue Jul 10 18:45:27 2007 UTC | revision 1495 by abate, Tue Jul 10 18:55:50 2007 UTC | |
|---|---|---|
| # | Line 439 | Line 439 |
| 439 | ||
| 440 | let check_value ty_env c_env (s,caml_t,t) = | let check_value ty_env c_env (s,caml_t,t) = |
| 441 | (* Find the type for the value in the CDuce module *) | (* Find the type for the value in the CDuce module *) |
| 442 | let id = Id.mk (U.mk s) in | let id = Id.mk (Ns.empty, U.mk s) in |
| 443 | let vt = | let vt = |
| 444 | try Typer.find_value id ty_env | try Typer.find_value id ty_env |
| 445 | with Not_found -> | with Not_found -> |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |