small tidyups

.gitignore

@@ -109,4 +109,6 @@ selfhost/.js
 selfhost/main.js
 selfhost/tests/*.wyb
 selfhost/tests/*.js
+selfhost/failtests/*.wyb
+selfhost/failtests/*.js
 selfhost/output.js

selfhost/tests/ipair.wyv

@@ -0,0 +1,18 @@
+type Int:z:
+    def +(i:Int):Int
+    def -(i:Int):Int
+
+type Pair:z:
+	type S <= Unit
+	type T <= Unit
+
+type IPair:z:
+	type S = Int
+	type T <= Unit
+subtype IPair extends Pair
+
+val ok:Pair{type S = Int, type T = Int} = new this:IPair {type T = Int}:
+	type S = Int
+	type T = Int
+
+ok

selfhost/typecheck.wyv

@@ -248,7 +248,6 @@ def equalDeclType(a:DeclType, b:DeclType, gamma:List[DeclType]):Boolean = match
         default => false
     m:MemberType => match b:
         u:MemberType =>
-            //error.report("check: " + typesUtil.typeToString(m.typ) + " , " + typesUtil.typeToString(u.typ),error.unknownLocation)
             m.name.name == u.name.name && typesUtil.equalBound(m.bound,u.bound) && equalType(m.typ,u.typ,gamma)
         default => false