diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2010-01-22 09:44:18 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2010-01-22 09:44:18 +0000 |
commit | 05e786e37b7ee578138e0d592240e018d0916b38 (patch) | |
tree | 74e8906d1068802823d1f671fea06c69e52bfa7a | |
parent | 500cecb44b6f0df81e50b79f42c4ebf8e68d84b0 (diff) | |
download | ocaml-05e786e37b7ee578138e0d592240e018d0916b38.tar.gz |
Adding an error for invalid { expr with ... } record construction.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/dothat@9541 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | typing/typecore.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/typecore.mli b/typing/typecore.mli index 989474157b..46ab327c72 100644 --- a/typing/typecore.mli +++ b/typing/typecore.mli @@ -82,6 +82,7 @@ type error = | Label_ref_multiply_defined of label_ref | Label_missing of string list | Label_ref_not_mutable of label_ref + | Wrong_record_construction | Incomplete_format of string | Bad_conversion of string * int * char | Undefined_method of type_expr * string |