diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-05-19 09:21:17 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-05-19 09:21:17 +0000 |
| commit | c5790aa41765fda31090ef898dab741a656a31cc (patch) | |
| tree | b39d2cb5f49809e62eb65a222610c9a454dc146f /typing/typetexp.mli | |
| parent | 0df4ab03925b104c3093ffec31332fc5557a42f1 (diff) | |
| download | ocaml-c5790aa41765fda31090ef898dab741a656a31cc.tar.gz | |
fix PR#1559
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5568 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/typetexp.mli')
| -rw-r--r-- | typing/typetexp.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/typing/typetexp.mli b/typing/typetexp.mli index 300ebe5ace..ba3abaa412 100644 --- a/typing/typetexp.mli +++ b/typing/typetexp.mli @@ -52,9 +52,8 @@ type error = | Constructor_mismatch of Types.type_expr * Types.type_expr | Not_a_variant of Types.type_expr | Variant_tags of string * string - | No_row_variable of string - | Bad_alias of string | Invalid_variable_name of string + | Cannot_quantify of string * Types.type_expr exception Error of Location.t * error |