Commite532a14

committed

fix bug exposed by tests (2)

1 parent12ea9f8 commite532a14Copy full SHA for e532a14

File tree

-1

lines changed

-1

lines changed

Lines changed: 2 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -490,7 +490,8 @@ and CheckExprInContext (cenv:cenv) (env:env) expr (context:ByrefCallContext) =`
`490`	`490`	`CheckInterfaceImpls cenv env basev iimpls;`
`491`	`491`	`CheckTypePermitByrefs cenv m typ`
`492`	`492`	`letinterfaces=`
`493`		`-[//yield! AllSuperTypesOfType cenv.g cenv.amap m AllowMultiIntfInstantiations.Yes typ`
	`493`	`+[if isInterfaceTy cenv.g typthen`
	`494`	`+yield typ//yield! AllSuperTypesOfType cenv.g cenv.amap m AllowMultiIntfInstantiations.Yes typ`
`494`	`495`	`for(ty,_)in iimplsdo`
`495`	`496`	`yield! AllSuperTypesOfType cenv.g cenv.amap m AllowMultiIntfInstantiations.Yes ty]`
`496`	`497`	`\|> List.filter(isInterfaceTy cenv.g)`

Comments

(0)