lib/typecheck/CheckSubroutine.cpp File Reference

Type check logic supporting subroutine declarations and definitions. More...

#include "Scope.h"
#include "Stencil.h"
#include "TypeCheck.h"
#include "comma/ast/AstRewriter.h"
#include "comma/ast/Expr.h"
#include "comma/ast/Decl.h"
#include "comma/ast/Stmt.h"
#include "comma/ast/TypeRef.h"
#include "comma/basic/PrimitiveOps.h"

Go to the source code of this file.

---

Detailed Description

Type check logic supporting subroutine declarations and definitions.

Definition in file CheckSubroutine.cpp.