[PATCH][RFC] Step 1 to a middle-end type-system

[Eric Botcazou]

> /* Return true if the conversion from INNER_TYPE to OUTER_TYPE is
>    explicitly, otherwise return false.
>    This function implicitly defines the middle-end type system.  The
>    following invariants shall be fulfilled:
>
>      1) type_conversion_needed_p is transitive.
> 	If a < b and b < c then a < c.

Still as false as before I'm afraid. :-)

I'd prefer not reversing the viewpoint and keep the type_useless_conversion 
relation because it is reflexive, transitive and almost symmetric.  On the 
contrary, type_conversion_needed_p is none of them.

-- 
Eric Botcazou