Skip to content

Commit bb5be6d

Browse files
committed
eliminate a few let opens
1 parent 30d82c8 commit bb5be6d

File tree

1 file changed

+3
-5
lines changed

1 file changed

+3
-5
lines changed

lib/lin_api.ml

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -280,13 +280,11 @@ module MakeCmd (ApiSpec : ApiSpec) : Lin.CmdSpec = struct
280280
let rec fix_args
281281
: type a r. Lin.Env.t -> (a, r) Args.args -> (a, r) Args.args QCheck.Iter.t =
282282
fun env args ->
283-
let open Lin in
284283
let open QCheck in
285-
let open Args in
286-
let fn_state i args = FnState (i,args) in
284+
let fn_state i args = Args.FnState (i,args) in
287285
match args with
288-
| FnState (i, args) -> Iter.(map fn_state (Env.valid_t_vars env i) <*> fix_args env args)
289-
| Fn (x, args) -> Iter.map (fun args -> Fn (x, args)) (fix_args env args)
286+
| FnState (i, args) -> Iter.(map fn_state (Lin.Env.valid_t_vars env i) <*> fix_args env args)
287+
| Fn (x, args) -> Iter.map (fun args -> Args.Fn (x, args)) (fix_args env args)
290288
| _ -> Iter.return args
291289

292290
let fix_cmd env (Cmd (name,args,rty,print,shrink,f)) =

0 commit comments

Comments
 (0)