Changeset 3f9a8d0 for src/AST/Type.hpp

Timestamp:

Feb 26, 2024, 8:17:20 AM (19 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

f1149ac

Parents:

1bb76ad (diff), a4da45e (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

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

src/AST/Type.hpp

@@ -362 +362 @@
 using EnumInstType = SueInstType<EnumDecl>;
 
+class EnumPosType final : public Type {
+public:
+        readonly<EnumInstType> instance;
+        const Type * accept( Visitor & v ) const override { return v.visit( this ); }
+        EnumPosType( const EnumInstType * instance ): instance(instance) {}
+        
+private:
+        EnumPosType * clone() const override { return new EnumPosType{ *this }; }
+        MUTATE_FRIEND
+};
+
 /// An instance of a trait type.
 class TraitInstType final : public BaseInstType {