diff options
| author | Graydon Hoare <[email protected]> | 2010-06-30 00:06:31 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-06-30 00:06:31 -0700 |
| commit | fc1b86e1cabf36c4d902db95fc8f0c6b0e2d21ef (patch) | |
| tree | c7d196af63980a98b9b8da16de6d64aa155f7305 /src/boot/me/semant.ml | |
| parent | Teach the typechecker about the auto-dereference and auto-promote-to-mutable ... (diff) | |
| download | rust-fc1b86e1cabf36c4d902db95fc8f0c6b0e2d21ef.tar.xz rust-fc1b86e1cabf36c4d902db95fc8f0c6b0e2d21ef.zip | |
Wrap long lines.
Diffstat (limited to 'src/boot/me/semant.ml')
| -rw-r--r-- | src/boot/me/semant.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 746f83bf..031f1b40 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)) |