/[eiffelstudio]/branches/CAT_mono
ViewVC logotype

Log of /branches/CAT_mono

View Directory Listing Directory Listing


Sticky Revision:

Revision 69888 - Directory Listing
Modified Sat Aug 4 01:44:59 2007 UTC (12 years, 2 months ago) by martins
bug fixes, not yet everything is working

Revision 69868 - Directory Listing
Modified Fri Aug 3 22:28:26 2007 UTC (12 years, 2 months ago) by martins
enabled more types to store monomorph information

Revision 69847 - Directory Listing
Modified Fri Aug 3 01:50:33 2007 UTC (12 years, 2 months ago) by martins
bug fix of cat call check: argument was adapted and therefore we did not recognize like Current errors

Revision 69845 - Directory Listing
Modified Fri Aug 3 01:00:54 2007 UTC (12 years, 2 months ago) by juliant
Don't record "like Current" as covariant anymore.

Revision 69844 - Directory Listing
Modified Fri Aug 3 00:52:36 2007 UTC (12 years, 2 months ago) by martins
added new line to error output
and special treatment of like current as it is not yet marked monomorph automatically

Revision 69840 - Directory Listing
Modified Fri Aug 3 00:37:18 2007 UTC (12 years, 2 months ago) by martins
added vuar 4 error + bug fixes

Revision 69837 - Directory Listing
Modified Thu Aug 2 23:58:42 2007 UTC (12 years, 2 months ago) by martins
process call CAT call check *should* work

Revision 69821 - Directory Listing
Modified Thu Aug 2 22:35:08 2007 UTC (12 years, 2 months ago) by juliant
small bug fix: only check arguments if feature is not origin

Revision 69820 - Directory Listing
Modified Thu Aug 2 22:16:50 2007 UTC (12 years, 2 months ago) by juliant
small bugfix: inherit table of current class not yet available in degree 4. using resulting_table instead

Revision 69819 - Directory Listing
Modified Thu Aug 2 22:01:07 2007 UTC (12 years, 2 months ago) by juliant
Marking of covariant features updated to use new data structure.

Revision 69810 - Directory Listing
Modified Thu Aug 2 15:52:27 2007 UTC (12 years, 2 months ago) by juliant
Dump of covariant information to standard output

Revision 69806 - Directory Listing
Modified Wed Aug 1 23:42:34 2007 UTC (12 years, 2 months ago) by juliant
Added new structure for holding covariant feature information.
Changed system_i to use new structures.
Started using new structures: check_signature of FEATURE_I already uses it. INHERIT_TABLE still needs to be updated


Revision 69774 - Directory Listing
Modified Wed Aug 1 16:27:41 2007 UTC (12 years, 2 months ago) by martins
julian can continue, it does not yet compile

Revision 69751 - Directory Listing
Modified Tue Jul 31 21:34:25 2007 UTC (12 years, 2 months ago) by juliant
Fixed bug in variance check for features with formal arguments.
Improved condition if cat call check should be done and added comments.

Revision 69741 - Directory Listing
Modified Tue Jul 31 00:04:43 2007 UTC (12 years, 2 months ago) by martins
* added feature `is_like_feature' to type_a.e and descendants
* fixed bugs in dump/output of types where the variant keyword was missing
* added check and error for variant generic features (i.e as soon as a "variant" feature is used the compiler reports an error (for now vuar3)
* enhanced algorithm to mark features which have: covaraint argument or result type redefinition
* bug fix (features added to wrong lists) (feature_i.e)

Revision 69727 - Directory Listing
Modified Sat Jul 28 00:08:48 2007 UTC (12 years, 2 months ago) by juliant
Changed error into FEATURE_ERROR to get feature location information printed

Revision 69726 - Directory Listing
Modified Fri Jul 27 21:43:37 2007 UTC (12 years, 2 months ago) by juliant
Issue warning if `same_as' would not return true with monomorph types.

Revision 69724 - Directory Listing
Modified Fri Jul 27 18:27:40 2007 UTC (12 years, 2 months ago) by juliant
changed "has_associated_class" of OPEN_TYPE to return false

Revision 69704 - Directory Listing
Modified Thu Jul 26 23:11:39 2007 UTC (12 years, 2 months ago) by juliant
check for equal types is now done via reverse conformance. this handles like types correctly
conformance check on equality operator is done without issuing warnings

Revision 69703 - Directory Listing
Modified Thu Jul 26 22:37:19 2007 UTC (12 years, 2 months ago) by juliant
warning only when conformance check results differ

Revision 69701 - Directory Listing
Modified Thu Jul 26 20:19:04 2007 UTC (12 years, 2 months ago) by martins
Improved error

Revision 69700 - Directory Listing
Modified Thu Jul 26 20:01:12 2007 UTC (12 years, 2 months ago) by martins
added warning: error PCAT (potential CAT issue)
protected conform to from a Void system.current_class for now
(crash occured during the checking of root type properties)

Revision 69699 - Directory Listing
Modified Thu Jul 26 19:39:43 2007 UTC (12 years, 2 months ago) by juliant
added conformance checking which does not raise warnings
added conformance checking for variant generics


Revision 69695 - Directory Listing
Modified Thu Jul 26 17:30:25 2007 UTC (12 years, 3 months ago) by juliant
Marking of "like x" features as covariant if x is redefined covariantly.

Revision 69690 - Directory Listing
Modified Wed Jul 25 23:42:05 2007 UTC (12 years, 3 months ago) by juliant
Renamed "conform_to" to "is_conforming_descendant"
TYPE_A.conform_to now checks monomorphic types

Revision 69688 - Directory Listing
Modified Wed Jul 25 19:31:50 2007 UTC (12 years, 3 months ago) by martins
printer prints now variant keywords

Revision 69687 - Directory Listing
Modified Wed Jul 25 18:55:08 2007 UTC (12 years, 3 months ago) by martins
* monomorph for formals
* covaraince for generics (syntax only)

Revision 69686 - Directory Listing
Modified Wed Jul 25 18:35:45 2007 UTC (12 years, 3 months ago) by juliant
fixed missing locals

Revision 69685 - Directory Listing
Modified Wed Jul 25 18:14:30 2007 UTC (12 years, 3 months ago) by juliant
added statistics from CAT_interval_types branch
added feature flags (covariant/formal) from CAT_interval_types branch
added catcall check from CAT_interval_types branch
set resolved type of like Current to be monomorphic


Revision 69657 - Directory Listing
Modified Tue Jul 24 19:16:42 2007 UTC (12 years, 3 months ago) by juliant
changed type mark to bitwise operations

Revision 69651 - Directory Listing
Modified Tue Jul 24 17:50:09 2007 UTC (12 years, 3 months ago) by juliant
Fixed problems with marks.
Fixed problem with conformance check.
manifest strings and creation expressions are now monomorph

Revision 69650 - Directory Listing
Modified Tue Jul 24 17:18:14 2007 UTC (12 years, 3 months ago) by juliant
Added monomorph mark for class types, either "frozen" or "invariant".
First (simple) conformance check for monomorphic types.

Revision 69648 - Directory Listing
Modified Tue Jul 24 17:10:52 2007 UTC (12 years, 3 months ago) by martins
* updated configure bat to compile runtime
* ecf with new name

Revision 69629 - Directory Listing
Modified Mon Jul 23 21:36:18 2007 UTC (12 years, 3 months ago) by manus
Creation of CAT_mono branch to implement variant/invariant proposal

Revision 69628 - Directory Listing
Added Mon Jul 23 21:34:06 2007 UTC (12 years, 3 months ago) by manus
Test for variant/invariant proposal for CAT calls.

  ViewVC Help
Powered by ViewVC 1.1.23