Boxed typedef forced fix of [: ... :] pattern

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gcaml3101@8802 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer · Jan 31, 2008 · da1dee0 · da1dee0
1 parent 23e46ae
commit da1dee0
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/boot/ocamlc b/boot/ocamlc
diff --git a/gcamllib/Makefile b/gcamllib/Makefile
@@ -25,7 +25,7 @@ OPTCOMPFLAGS=-warn-error Ag -nostdlib -I ../stdlib -I ../toplevel -I ../typing
 CAMLDEP=../boot/ocamlrun ../tools/ocamldep
 
 # OBJS=gcaml.cmo safevio.cmo gprint.cmo plus.cmo rec.cmo cplus.cmo
-OBJS=gcaml.cmo garith.cmo safevio.cmo gprint.cmo plus.cmo rec.cmo cplus.cmo generic.cmo
+OBJS=gcaml.cmo garith.cmo safevio.cmo gprint.cmo plus.cmo rec.cmo cplus.cmo generic.cmo gtest.cmo
 ALLOBJS=$(OBJS)
 
 all: gcamllib.cma

diff --git a/typing/typertype.ml b/typing/typertype.ml
@@ -295,7 +295,8 @@ let pattern_of_type non_linear transl_longident t =
         make_pat_construct loc (cstr "Tconstr")
   	  [ make_pat loc (Ppat_tuple 
  			    [ make_pat loc Ppat_any; (* ignore path *)
-			      make_pat loc (Ppat_var name) ]);
+			      make_pat_construct loc (cstr "Box")
+				[make_pat loc (Ppat_var name)] ]);
   	    mktailpat (List.map pattern_of_type ts)]
     | Ptyp_lident _ -> assert false
     | _ -> raise (Error (loc, Unsupported))