Changeset c4aca65 for doc/theses/jiada_liang_MMath/Cenum.tex

Timestamp:

Aug 8, 2024, 5:25:41 PM (20 hours ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

11cced6

Parents:

ab11ab1

Message:

Move partial scope to future work

File:

• doc/theses/jiada_liang_MMath/Cenum.tex (modified) (4 diffs)

doc/theses/jiada_liang_MMath/Cenum.tex

@@ -1 +1 @@
 \chapter{C Enumeration in \texorpdfstring{\CFA}{Cforall}}
 
-\CFA supports legacy C enumeration using the same syntax for backwards compatibility.
+\CFA supports legacy C enumeration using the same syntax for backward compatibility.
 A C-style enumeration in \CFA is called a \newterm{C Enum}.
 The semantics of the C Enum is mostly consistent with C with some restrictions.
@@ -15 +15 @@
 enum E2 { @Fourth@, @Third@, @Second@, @First@ }; $\C{// same enumerator names}$
 \end{cfa}
-There is no mechanism in C to resolve these naming conflicts other than renaming one of the duplicates, which may be impossible if the conflict comes from system include files.
+There is no mechanism in C to resolve these naming conflicts other than renaming one of the duplicates, which may be impossible if the conflict comes from system-include files.
 
 The \CFA type-system allows extensive overloading, including enumerators.
 Hence, most ambiguities among C enumerators are implicitly resolved by the \CFA type system, possibly without any programmer knowledge of the conflict.
-In addition, C Enum qualification is added, exactly like aggregate field-qualification, to disambiguate.
+In addition, C Enum qualification is added, exactly like aggregate field qualification, to disambiguate.
 \VRef[Figure]{f:EnumeratorVisibility} shows how resolution, qualification, and casting are used to disambiguate situations for enumerations @E1@ and @E2@.
 
@@ -66 +66 @@
 As in Section~\ref{s:CVisibility}, opening multiple scoped enumerations in a @with@ can result in duplicate enumeration names, but \CFA implicit type resolution and explicit qualification/casting handle this localized scenario.
 
-A partially implemented extension to enumerator scoping is providing a combination of scoped and unscoped enumerators, using individual denotations, where @'^'@ means unscoped.
-\begin{cfa}
-enum E1 { @!@A, @^@B, C };
-enum E2 @!@ { @!@A, @^@B, C };
-\end{cfa}
-For @E1@, @A@ is scoped; @B@ and @C@ are unscoped.
-For @E2@, @A@ and @C@ are scoped; @B@ is unscoped.
-Finding a use case is important to justify completing this extension.
-
 
 \section{Type Safety}
@@ -80 +71 @@
 As in Section~\ref{s:Usage}, C's implicit bidirectional conversion between enumeration and integral type raises a safety concern.
 In \CFA, the conversion is changed to unidirectional: an enumeration can be implicitly converted into an integral type, with an associated @safe@ conversion cost.
-But an integral type cannot be implicitly converted into a C enumeration because the conversion cost is set to @infinity@.
+However, an integral type cannot be implicitly converted into a C enumeration because the conversion cost is set to @infinity@.
 \begin{cfa}
 enum Bird { Penguin, Robin, Eagle };