add tests to verify supertypes apply to structures but are ignored by AcuteML

Author: alhirzel

test/struct_definition.jl

@@ -55,11 +55,16 @@ abstract type AbstractTestType end
     myfield::String, "~"
 end
 
+@test MyParentedType <: AbstractTestType
+
 # parametric with supertype
 @aml mutable struct MyParentedType2{T} <: AbstractTestType "MyParentedType2"
     myfield::T, "~"
 end
 
+@test MyParentedType2 <: AbstractTestType
+@test MyParentedType2{String} <: AbstractTestType
+
 ################################################################
 
 # empty or no aml