diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-07-30 18:04:46 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-07-30 18:04:46 +0000 |
| commit | 997a678d5ee774930288bfec23d4b145ce45c078 (patch) | |
| tree | ef26b1b6992733f6ee00a1f760ab1da89eaef315 /toplevel | |
| parent | b7271628a25d208c90e77dce62ff0244a1c2fcdd (diff) | |
| download | ocaml-997a678d5ee774930288bfec23d4b145ce45c078.tar.gz | |
clean up TABs and whitespace
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/expunge.ml | 2 | ||||
| -rw-r--r-- | toplevel/genprintval.ml | 18 |
2 files changed, 10 insertions, 10 deletions
diff --git a/toplevel/expunge.ml b/toplevel/expunge.ml index 8672ea247e..ca3dc802a3 100644 --- a/toplevel/expunge.ml +++ b/toplevel/expunge.ml @@ -32,7 +32,7 @@ let to_keep = ref StringSet.empty let negate = Sys.argv.(3) = "-v" -let keep = +let keep = if negate then fun name -> is_exn name || not (StringSet.mem name !to_keep) else fun name -> is_exn name || (StringSet.mem name !to_keep) diff --git a/toplevel/genprintval.ml b/toplevel/genprintval.ml index b3bafc0659..3f8cdda450 100644 --- a/toplevel/genprintval.ml +++ b/toplevel/genprintval.ml @@ -249,15 +249,15 @@ module Make(O : OBJ)(EVP : EVALPATH with type valu = O.t) = struct else Cstr_constant(O.obj obj) in let (constr_name, constr_args,ret_type) = Datarepr.find_constr_by_tag tag constr_list in - let type_params = - match ret_type with - Some t -> - begin match (Ctype.repr t).desc with - Tconstr (_,params,_) -> - params - | _ -> assert false end - | None -> decl.type_params - in + let type_params = + match ret_type with + Some t -> + begin match (Ctype.repr t).desc with + Tconstr (_,params,_) -> + params + | _ -> assert false end + | None -> decl.type_params + in let ty_args = List.map (function ty -> |