Changeset 7b5694d for src/ResolvExpr/Unify.h

Timestamp:

Jan 17, 2023, 2:05:52 PM (19 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master

Children:

fed6a0f

Parents:

e563edf

Message:

Header Clean-up: Moved more things from typeops to Unify.

File:

• src/ResolvExpr/Unify.h (modified) (1 diff)

src/ResolvExpr/Unify.h

@@ -85 +85 @@
         const ast::TypeEnvironment & env = {} );
 
+/// Creates the type represented by the list of returnVals in a FunctionType.
+/// The caller owns the return value.
+Type * extractResultType( FunctionType * functionType );
+/// Creates or extracts the type represented by returns in a `FunctionType`.
+ast::ptr<ast::Type> extractResultType( const ast::FunctionType * func );
+
+std::vector<ast::ptr<ast::Type>> flattenList(
+        const std::vector<ast::ptr<ast::Type>> & src, ast::TypeEnvironment & env
+);
+
 } // namespace ResolvExpr