diff options
| author | Alain Frisch <alain@frisch.fr> | 2014-04-30 08:19:55 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2014-04-30 08:19:55 +0000 |
| commit | b791d666d824cf3dff297cf4e25bca1bde3a3109 (patch) | |
| tree | 8c5ab4a3e5885c1aaa738de1245c8031a380179b /typing/typetexp.ml | |
| parent | 772a84381271f12426d5010be27c6f4bf6263b05 (diff) | |
| download | ocaml-b791d666d824cf3dff297cf4e25bca1bde3a3109.tar.gz | |
#6387: allow attributes on variants in polymorphic variant types.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14712 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/typetexp.ml')
| -rw-r--r-- | typing/typetexp.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/typetexp.ml b/typing/typetexp.ml index eacf977c65..7037380ac6 100644 --- a/typing/typetexp.ml +++ b/typing/typetexp.ml @@ -508,7 +508,7 @@ let rec transl_type env policy styp = Hashtbl.add hfields h (l,f) in let add_field = function - Rtag (l, c, stl) -> + Rtag (l, attrs, c, stl) -> name := None; let tl = List.map (transl_type env policy) stl in let f = match present with @@ -523,7 +523,7 @@ let rec transl_type env policy styp = Rpresent (Some st.ctyp_type) in add_typed_field styp.ptyp_loc l f; - Ttag (l,c,tl) + Ttag (l,attrs,c,tl) | Rinherit sty -> let cty = transl_type env policy sty in let ty = cty.ctyp_type in |