Re: [scala] compound types conformance

Hi Eugene,

You are correct. I have rewritten the para on member bindings as follows:

3. The {\em member bindings} of a type $T$ are (1) all bindings $d$ such that
there exists a type instance of some class $C$ among the base types of $T$
and there exists a definition or declaration $d'$ in $C$
such that $d$ results from $d'$ by replacing every
type $T'$ in $d'$ by $T'$ in $C$ seen from $T$, and (2) all bindings
of the type's refinement (\sref{sec:refinements}), if it has one.

Thanks for pointing out the flaw!

Cheers

 -- Martin