diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.ml | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/type_check.ml b/src/type_check.ml index f090ef58..c4119281 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -2521,10 +2521,9 @@ let check_def envs def = (*val check : envs -> tannot defs -> tannot defs*) -let check envs (Defs defs) = - let rec check' envs (Defs defs) k = - match defs with - | [] -> k ((Defs []), envs) - | def::defs -> let (def, envs) = check_def envs def in - check' envs (Defs defs) (fun (Defs defs, envs) -> Defs (def::defs), envs) in - check' envs (Defs defs) (fun x -> x) +let rec check envs (Defs defs) = + match defs with + | [] -> (Defs []),envs + | def::defs -> let (def, envs) = check_def envs def in + let (Defs defs, envs) = check envs (Defs defs) in + (Defs (def::defs)), envs |