Forget / keep - Revision history

Peter gummer: /* Syntax */

2007-06-25T00:00:36Z

‎Syntax

2007-06-24T18:45:44Z

2007-06-24T18:38:22Z

2007-06-24T18:37:46Z

2007-06-24T01:16:46Z

‎Whole-system analysis

2007-06-24T01:16:24Z

‎Whole-system analysis

2007-06-24T01:16:03Z

2007-06-23T22:28:12Z

‎Conclusion

2007-06-23T22:27:36Z

‎Vision 2 Example

2007-06-23T22:27:17Z

‎Agents

@@ Line 16: / Line 16: @@
    -- A type which only forgets the features `eat' and `sleep' but not other
-   -- covarianlty redefined features or features whose export status is
+   -- covariantly redefined features or features whose export status is
    -- restricted. All subtypes which only redefine or restrict export status
    -- of `eat' or `sleep' will conform to this type.
@@ Line 23: / Line 23: @@
 -- keep types
-   -- A type which keeps all features and looses conformance from subtypes which
+   -- A type which keeps all features and loses conformance from subtypes which
    -- covariantly redefine features or restrict export status.
 b: ANIMAL keep all end

@@ Line 1: / Line 1: @@
 [[Category:ECMA]]
 [[Category:Catcall]]
-{{Warning|Research article}}
+{{Research}}
 == Introduction ==

@@ Line 1: / Line 1: @@
 [[Category:ECMA]]
 [[Category:Catcall]]
-{{Warning|Research Article}}
+{{Warning|Research article}}
 == Introduction ==

@@ Line 1: / Line 1: @@
 [[Category:ECMA]]
 [[Category:Catcall]]
 == Introduction ==

@@ Line 220: / Line 220: @@
 </e>
-Now if the system is extended with a reference to the class CAT, the code becomes invalid as now <e>ANIMAL forget all</e> does not have a feature <e>sleep</e> anymore.
+Now if the system is extended with a reference to the class CAT, the code becomes invalid as now <e>ANIMAL forget all</e> does not have a feature <e>sleep</e> anymore. This prevents loading of classes at runtime.
 === Object test ===

@@ Line 212: / Line 212: @@
 <e>
 local
-   a: ANIMAL forget all
+   a: ANIMAL
 do
    if {x: ANIMAL forget all} a then

@@ Line 204: / Line 204: @@
 Since declaring an agent can be difficult (there needs to be a "forget all" somewhere?), an alternate [[Agent syntax|syntax for agents]] could be useful where the compiler can derive the correct type for an agent.
 == Conclusion ==
 This proposal solves catcalls as a whole. This include catcalls which are introduced by covariant argument redefinition through formal arguments in generic classes.
 It is not as expressive as other solutions (not fully applicable to agents, comparator example) and it is likely that it adds a lot of syntax to the code.

@@ Line 143: / Line 143: @@
 === Agents ===
 == Conclusion ==
 This proposal solves CAT calls as a whole. This include CAT calls which are introduced by covariant argument redefinition through formal arguments in generic classes.
 It is not as expressive as other solutions (not applicable to agents, comparator example) and it is likely that it adds a lot of syntax to the code.