diff options
| author | Kathy Gray | 2015-02-25 14:23:17 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-02-25 14:23:17 +0000 |
| commit | 9fde58e4a4d591150338627dfdb7089d20c47fcf (patch) | |
| tree | c18baae8066f7a5f2c5f8de55b40a3c95815ac38 /src | |
| parent | e74c7feca9da863ef02cc52caf0f0372588f2d82 (diff) | |
and catch a printf
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/type_check.ml b/src/type_check.ml index c27e5cd6..c3e02746 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -1743,7 +1743,7 @@ let check_fundef envs (FD_aux(FD_function(recopt,tannotopt,effectopt,funcls),(l, let funcls = match imp_param with | None | Some {nexp = Nconst _} -> funcls | Some {nexp = Nvar i} -> List.map (update_pattern i) funcls in - let _ = Printf.printf "done funcheck case 1\n" in + (*let _ = Printf.printf "done funcheck case 1\n" in*) (FD_aux(FD_function(recopt,tannotopt,effectopt,funcls),(l,tannot))), Env(d_env,Envmap.insert t_env (id,tannot),b_env,tp_env) | _ , _-> |