diff options
| author | Kathy Gray | 2014-09-30 16:52:38 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-09-30 16:52:38 +0100 |
| commit | 02e4b62028411bc107ba63eff87b8d996baae695 (patch) | |
| tree | 23331d400ab87869cf10c06054fee359ca3c975b /src/pretty_print.ml | |
| parent | b023f5bb216a4c47eb1611dd96dc2e1b43867343 (diff) | |
Add type annotations to funcls to track effects and constraints from one function-clause
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index a4581162..faa75224 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -528,9 +528,9 @@ let pp_lem_effects_opt ppf (Effect_opt_aux(e,l)) = | Effect_opt_pure -> fprintf ppf "(Effect_opt_aux Effect_opt_pure %a)" pp_lem_l l | Effect_opt_effect e -> fprintf ppf "(Effect_opt_aux (Effect_opt_effect %a) %a)" pp_lem_effects e pp_lem_l l -let pp_lem_funcl ppf (FCL_aux(FCL_Funcl(id,pat,exp),l)) = - fprintf ppf "@[<0>(FCL_aux (%a %a %a %a) %a)@]@\n" - kwd "FCL_Funcl" pp_lem_id id pp_lem_pat pat pp_lem_exp exp pp_lem_l l +let pp_lem_funcl ppf (FCL_aux(FCL_Funcl(id,pat,exp),(l,annot))) = + fprintf ppf "@[<0>(FCL_aux (%a %a %a %a) (%a,%a))@]@\n" + kwd "FCL_Funcl" pp_lem_id id pp_lem_pat pat pp_lem_exp exp pp_lem_l l pp_annot annot let pp_lem_fundef ppf (FD_aux(FD_function(r, typa, efa, fcls),(l,annot))) = let pp_funcls ppf funcl = fprintf ppf "%a %a" pp_lem_funcl funcl kwd ";" in |