From fc1b86e1cabf36c4d902db95fc8f0c6b0e2d21ef Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Wed, 30 Jun 2010 00:06:31 -0700 Subject: [PATCH] Wrap long lines. --- src/boot/me/dwarf.ml | 5 +++-- src/boot/me/semant.ml | 5 ++++- src/boot/me/type.ml | 3 ++- 3 files changed, 9 insertions(+), 4 deletions(-) diff --git a/src/boot/me/dwarf.ml b/src/boot/me/dwarf.ml index 410ff402ca3..663ce9f5870 100644 --- a/src/boot/me/dwarf.ml +++ b/src/boot/me/dwarf.ml @@ -1311,9 +1311,10 @@ let (abbrev_alias_slot:abbrev) = ;; (* FIXME: Perverse, but given dwarf's vocabulary it seems at least plausible - * that a "mutable const type" is a correct way of saying "mutable". Or else we - * make up our own. Revisit perhaps. + * that a "mutable const type" is a correct way of saying "mutable". + * Or else we make up our own. Revisit perhaps. *) + let (abbrev_mutable_type:abbrev) = (DW_TAG_const_type, DW_CHILDREN_no, [| diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 746f83bf6b6..031f1b40525 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -676,7 +676,10 @@ type ('ty, 'tys, 'slot, 'slots, 'tag) ty_fold = ty_fold_constrained : ('ty * Ast.constrs) -> 'ty } ;; -let rec fold_ty (f:('ty, 'tys, 'slot, 'slots, 'tag) ty_fold) (ty:Ast.ty) : 'ty = +let rec fold_ty + (f:('ty, 'tys, 'slot, 'slots, 'tag) ty_fold) + (ty:Ast.ty) + : 'ty = let fold_slot (s:Ast.slot) : 'slot = f.ty_fold_slot (s.Ast.slot_mode, fold_ty f (slot_ty s)) diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index e852965dc2c..f25cc569ee5 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -357,7 +357,8 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = | (TYSPEC_resolved (params_a, ty_a), TYSPEC_resolved (params_b, ty_b)) -> if params_a <> params_b then fail() - else TYSPEC_resolved (params_a, (unify_resolved_types ty_a ty_b)) + else TYSPEC_resolved + (params_a, (unify_resolved_types ty_a ty_b)) | (TYSPEC_resolved (params, ty), TYSPEC_callable (out_tv, in_tvs))