As soon as we read a value from a column that does not match what we expect we set `is_conversion_ok' to False instead of silently ignoring it.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95171 8089f293-4706-0410-a29e-feb5c42a2edf
Improved code that checks for presence of the profinfo file and its .pfi counterpart.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95172 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed typo in error message for profiling.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95173 8089f293-4706-0410-a29e-feb5c42a2edf
Improvements in catcall checker mechanism:
* Now we ignore `frozen' for conformance, that is to say `frozen B' conforms to `frozen A' if B conforms to A. However `frozen' is now taken into account for expression conformance and thus `frozen X' is expression conform to `frozen Y' if and only if `X' is identical to `Y'.
* Took into account frozen/variance annotation in TUPLE conformance.
* To make things more modulable `is_frozen' only applies to frozen type, frozen class or expanded class.
* Created Result type combinator that if a query is frozen in a qualified call (i.e. a.q) then the type of `a.q' is frozen if and only if `a' is frozen.
* Reorganized `check_cat_call' order in the checks, to check for conformance, and if it is then check that actual argument is not variant.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95174 8089f293-4706-0410-a29e-feb5c42a2edf
Merged changes from trunk.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95175 8089f293-4706-0410-a29e-feb5c42a2edf
Built based on rev#95175, 288 new, 22 obsolete. 

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95177 8089f293-4706-0410-a29e-feb5c42a2edf
Added package dependencies installation.
Added installation of package dependencies used from a ecf file, helpful for integration with "EiffelStudio".
More helpful conf error message when IRON is implied.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95178 8089f293-4706-0410-a29e-feb5c42a2edf