Commit 2b7c2ed6 authored by POTTIER Francois's avatar POTTIER Francois

Indentation.

parent 7cab8afa
...@@ -918,7 +918,8 @@ let constructor_declaration decl (cd : constructor_declaration) : case = ...@@ -918,7 +918,8 @@ let constructor_declaration decl (cd : constructor_declaration) : case =
| Fold -> vhook | Fold -> vhook
(datacon_ascending_method cd) (datacon_ascending_method cd)
(env :: rs) (env :: rs)
(ty_arrows (ty_env :: map fold_result_type tys) (decl_result_type decl)) (ty_arrows (ty_env :: map fold_result_type tys)
(decl_result_type decl))
in body X.scheme in body X.scheme
) )
) )
...@@ -970,7 +971,8 @@ let visit_decl (decl : type_declaration) : expression = ...@@ -970,7 +971,8 @@ let visit_decl (decl : type_declaration) : expression =
| Fold -> vhook | Fold -> vhook
(tycon_ascending_method decl) (tycon_ascending_method decl)
(env :: rs) (env :: rs)
(ty_arrows (ty_env :: map fold_result_type tys) (decl_result_type decl)) (ty_arrows (ty_env :: map fold_result_type tys)
(decl_result_type decl))
in body X.scheme in body X.scheme
) )
) )
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment