View source for SCOOP-A3: Compiler adaptation

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in one of the groups: Autoconfirmed users, emailconfirmed, editors.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page:

{{UnderConstruction}}
[[Category:Concurrency_(SCOOP)]]
[[Category:Compiler]]
Team: [[User:Alexander Kogtenkov|Alexander Kogtenkov]], [[User:Ted|Ted]]
= Summary =
* '''Parser'''
** Support only separate type declarations (exclude separate class declarations).
** Provide syntax to refer to the processors (not supported in [[EiffelStudio_6.7_Releases|6.7]]).
** Take into account the possibility to use anchors.
* '''Type checking''' introduces new
** Conformance rules that affect type system
** Validity rules that require good description of errors
* '''Code generation''' is closely connected with work on the scheduler (A1, A2) and should target
** bytecode
** C code
** CIL code
= Decisions =
# Syntax
#* Drop support of separate classes, only separate types are supported.
#* Separate mark is allowed not only for class types, but also for other types.
# Semantics
#* Default formal generic constraint is <e>detachable separate ANY</e>.
#* Formal generic is considered non-separate if at least one constraint is not separate, otherwise it is considered separate.
# Code generation
#* Separate and non-separate class types are generated separately, i.e. <e>ANY</e> and <e>separate ANY</e> get different code.
#* Generic derivations with separate and non-separate generics are generated separately, i.e. <e>ARRAY [G]</e> and <e>ARRAY [separate G]</e> get different code.
# User interface
#* CECIL does not support separate types in [[EiffelStudio_6.7_Releases|6.7]].
#* Storable does not support separate types in [[EiffelStudio_6.7_Releases|6.7]].

= Open questions =
* Shall separate types be supported in CECIL? If yes, how is this done?

= Progress =
{| border="1" style="border-collapse: collapse; border-width: 1px; border-style: solid;"
|+ SCOOP support in compiler
! Functionality !! Status
|-
| Syntax for separate types || rev#84252
|-
| Separate status in conformance tests ||
|-
| Validity rules specific to separate types ||
|-
| Bytecode generation ||
|-
| C code generation ||
|-
| CIL code generation ||
|}

Template used on this page:

Template:UnderConstruction (view source)

Return to SCOOP-A3: Compiler adaptation.

Retrieved from "https://dev.eiffel.com/SCOOP-A3:_Compiler_adaptation"

View source for SCOOP-A3: Compiler adaptation

Navigation

Development

Wiki

Search

Tools