Conversions should not be boolean checks, but should describe how to conversion is actually performed. This is important for several other parts of the type checker, and for the back-end of the compiler.

Submitted on 6 September 2005 at 22:42

DRY-157, martin:

Existing, implemented, conversions are now described in attributes.