Changeset bb87dd0 for src/AST/Expr.hpp

Timestamp:

Nov 24, 2020, 5:48:06 PM (18 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr

Children:

4702a2c

Parents:

4a359e2

Message:

Fixing test init1-ERROR on new ast. Applying equivalent of b81fd95, #189, to new AST.

File:

• src/AST/Expr.hpp (modified) (1 diff)

src/AST/Expr.hpp

@@ -299 +299 @@
 };
 
-/// Whether a cast existed in the program source or not
+/// Inidicates whether the cast is introduced by the CFA type system.
+/// GeneratedCast for casts that the resolver introduces to force a return type
+/// ExplicitCast for casts from user code
+/// ExplicitCast for casts from desugaring advanced CFA features into simpler CFA
+/// example
+///   int * p;     // declaration
+///   (float *) p; // use, with subject cast
+/// subject cast being GeneratedCast means we are considering an interpretation with a type mismatch
+/// subject cast being ExplicitCast means someone in charge wants it that way
 enum GeneratedFlag { ExplicitCast, GeneratedCast };