Browse Source

make sure to build type params constraints when we build the class (close #3789)

Nicolas Cannasse 10 years ago
parent
commit
25bf7d970d
1 changed files with 2 additions and 1 deletions
  1. 2 1
      typeload.ml

+ 2 - 1
typeload.ml

@@ -2627,7 +2627,8 @@ let rec init_module_type ctx context_init do_init (decl,p) =
 		let build() =
 			c.cl_build <- (fun()->());
 			set_heritance ctx c herits p;
-			init_class ctx c p do_init d.d_flags d.d_data
+			init_class ctx c p do_init d.d_flags d.d_data;
+			List.iter (fun (_,t) -> ignore(follow t)) c.cl_params;
 		in
 		ctx.pass <- PBuildClass;
 		ctx.curclass <- c;