fix #3890

Author: JeffBezanson

src/interpreter.c

@@ -327,6 +327,9 @@ static jl_value_t *eval(jl_value_t *e, jl_value_t **locals, size_t nl)
         jl_check_type_tuple(dt->types, dt->name->name, "type definition");
         super = eval(args[4], locals, nl);
         jl_set_datatype_super(dt, super);
+        for(size_t i=0; i < jl_tuple_len(para); i++) {
+            ((jl_tvar_t*)jl_tupleref(para,i))->bound = 0;
+        }
         jl_compute_field_offsets(dt);
         jl_add_constructors(dt);
         JL_GC_POP();

src/julia-syntax.scm

@@ -682,7 +682,7 @@
 	     (global ,name)
 	     (const ,name)
 	     ,@(map (lambda (v) `(local ,v)) params)
-	     ,@(map make-assignment params (symbols->typevars params bounds #f))
+	     ,@(map make-assignment params (symbols->typevars params bounds #t))
 	     (composite_type ,name (tuple ,@params)
 			     (tuple ,@(map (lambda (x) `',x) field-names))
 			     (lambda (,name)

test/core.jl

@@ -157,6 +157,17 @@ type Foo_{T} x::Foo_{Int} end
 type Circ_{T} x::Circ_{T} end
 @test is(Circ_{Int}, Circ_{Int}.types[1])
 
+# issue #3890
+type A3890{T1}
+    x::Matrix{Complex{T1}}
+end
+@test A3890{Float64}.types[1] === Array{Complex{Float64},2}
+# make sure the field type Matrix{Complex{T1}} isn't cached
+type B3890{T2}
+    x::Matrix{Complex{T2}}
+end
+@test B3890{Float64}.types[1] === Array{Complex{Float64},2}
+
 # issue #786
 type Node{T}
     v::Vector{Node}