Changeset c6b4432 for src/Tuples/Tuples.h

Timestamp:

Nov 8, 2023, 2:01:11 PM (7 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

3e4bf0d, f5ec35a

Parents:

790d835

Message:

Remove BaseSyntaxNode? and clean-up.

File:

• src/Tuples/Tuples.h (modified) (2 diffs)

src/Tuples/Tuples.h

@@ -21 +21 @@
 #include "AST/Fwd.hpp"
 #include "AST/Node.hpp"
-#include "SynTree/Expression.h"
-#include "SynTree/Declaration.h"
-#include "SynTree/Type.h"
-
-#include "ResolvExpr/AlternativeFinder.h"
 #include "ResolvExpr/CandidateFinder.hpp"
 
 namespace Tuples {
         // TupleAssignment.cc
-        void handleTupleAssignment( ResolvExpr::AlternativeFinder & currentFinder, UntypedExpr * assign,
-                std::vector< ResolvExpr::AlternativeFinder >& args );
         void handleTupleAssignment(
                 ResolvExpr::CandidateFinder & finder, const ast::UntypedExpr * assign,
@@ -38 +31 @@
         // TupleExpansion.cc
         /// expands z.[a, b.[x, y], c] into [z.a, z.b.x, z.b.y, z.c], inserting UniqueExprs as appropriate
-        void expandMemberTuples( std::list< Declaration * > & translationUnit );
         void expandMemberTuples( ast::TranslationUnit & translationUnit );
 
         /// replaces tuple-related elements, such as TupleType, TupleExpr, TupleAssignExpr, etc.
-        void expandTuples( std::list< Declaration * > & translationUnit );
         void expandTuples( ast::TranslationUnit & translaionUnit );
 
         /// replaces UniqueExprs with a temporary variable and one call
-        void expandUniqueExpr( std::list< Declaration * > & translationUnit );
         void expandUniqueExpr( ast::TranslationUnit & translationUnit );
 
         /// returns VoidType if any of the expressions have Voidtype, otherwise TupleType of the Expression result types
-        Type * makeTupleType( const std::list< Expression * > & exprs );
         const ast::Type * makeTupleType( const std::vector<ast::ptr<ast::Expr>> & exprs );
 
         /// returns a TypeInstType if `type` is a ttype, nullptr otherwise
-        TypeInstType * isTtype( Type * type );
-        const TypeInstType * isTtype( const Type * type );
         const ast::TypeInstType * isTtype( const ast::Type * type );
 
         /// returns true if the expression may contain side-effects.
-        bool maybeImpure( const Expression * expr );
         bool maybeImpure( const ast::Expr * expr );
 
         /// Returns true if the expression may contain side-effect,
         /// ignoring the presence of unique expressions.
-        bool maybeImpureIgnoreUnique( const Expression * expr );
         bool maybeImpureIgnoreUnique( const ast::Expr * expr );
 } // namespace Tuples