Wrap long lines.

This commit is contained in:
Graydon Hoare 2010-06-30 00:06:31 -07:00
parent c2d4c1116f
commit fc1b86e1ca
3 changed files with 9 additions and 4 deletions

View File

@ -1311,9 +1311,10 @@ let (abbrev_alias_slot:abbrev) =
;; ;;
(* FIXME: Perverse, but given dwarf's vocabulary it seems at least plausible (* 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 * that a "mutable const type" is a correct way of saying "mutable".
* make up our own. Revisit perhaps. * Or else we make up our own. Revisit perhaps.
*) *)
let (abbrev_mutable_type:abbrev) = let (abbrev_mutable_type:abbrev) =
(DW_TAG_const_type, DW_CHILDREN_no, (DW_TAG_const_type, DW_CHILDREN_no,
[| [|

View File

@ -676,7 +676,10 @@ type ('ty, 'tys, 'slot, 'slots, 'tag) ty_fold =
ty_fold_constrained : ('ty * Ast.constrs) -> 'ty } 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 = let fold_slot (s:Ast.slot) : 'slot =
f.ty_fold_slot (s.Ast.slot_mode, f.ty_fold_slot (s.Ast.slot_mode,
fold_ty f (slot_ty s)) fold_ty f (slot_ty s))

View File

@ -357,7 +357,8 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
| (TYSPEC_resolved (params_a, ty_a), | (TYSPEC_resolved (params_a, ty_a),
TYSPEC_resolved (params_b, ty_b)) -> TYSPEC_resolved (params_b, ty_b)) ->
if params_a <> params_b then fail() 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_resolved (params, ty),
TYSPEC_callable (out_tv, in_tvs)) TYSPEC_callable (out_tv, in_tvs))