summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPierre Weis <Pierre.Weis@inria.fr>2010-01-22 09:44:18 +0000
committerPierre Weis <Pierre.Weis@inria.fr>2010-01-22 09:44:18 +0000
commit05e786e37b7ee578138e0d592240e018d0916b38 (patch)
tree74e8906d1068802823d1f671fea06c69e52bfa7a
parent500cecb44b6f0df81e50b79f42c4ebf8e68d84b0 (diff)
downloadocaml-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.mli1
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