diff options
| author | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2017-08-03 10:12:01 +0900 |
|---|---|---|
| committer | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2017-08-03 10:12:01 +0900 |
| commit | 83d4b6ccba165677b8260e5e83709e5893608494 (patch) | |
| tree | c96e909746824bea9fcd5ec0179275d3a4112d8d | |
| parent | c323640a34e5103f1b96de6e74edece8d554fb22 (diff) | |
| download | ocaml-83d4b6ccba165677b8260e5e83709e5893608494.tar.gz | |
spurious semicolon
| -rw-r--r-- | typing/typecore.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typecore.ml b/typing/typecore.ml index a616ca84d2..2732d83d36 100644 --- a/typing/typecore.ml +++ b/typing/typecore.ml @@ -2809,7 +2809,7 @@ and type_expect_ ?in_function ?(recarg=Rejected) env sexp ty_expected = type body.exp_type. Thus, this unification enforces the scoping condition on "let module". *) begin try - Ctype.unify_var new_env ty body.exp_type; + Ctype.unify_var new_env ty body.exp_type with Unify _ -> raise(Error(loc, env, Scoping_let_module(name.txt, body.exp_type))) end; |