X-Git-Url: https://gitweb.ps.run/toc/blobdiff_plain/c4231c6faf4e1b4650b075c641b0bb8c053739e4..66a27d2fc7c1ad4e97de76d4982168a0fed9920a:/src/check.h

diff --git a/src/check.h b/src/check.h
deleted file mode 100644
index 091b646..0000000
--- a/src/check.h
+++ /dev/null
@@ -1,47 +0,0 @@
-#pragma once
-
-#include "repr.h"
-
-bool checkStmt(
-  const Stmt & s,
-  std::vector<Namespace> namespaces,
-  std::vector<Variable> vars)
-{
-  return true;
-}
-
-bool checkFunction(
-  const Function & f,
-  std::vector<Namespace> namespaces,
-  std::vector<Variable> vars)
-{
-  vars.insert(vars.end(), f.parameters.begin(), f.parameters.end());
-  vars.insert(vars.end(), f.body.variables.begin(), f.body.variables.end());
-  for (auto s : f.body.statements)
-  {
-    if (!checkStmt(s, namespaces, vars))
-      return false;
-  }
-  return true;
-}
-
-bool checkProgram(const Program & p)
-{
-  for (auto f : p.functions)
-  {
-    if (!checkFunction(f, p.namespaces, p.variables))
-      return false;
-  }
-  for (auto s : p.structs)
-  {
-    std::vector<Variable> vars = p.variables;
-    for (auto v : s.members)
-      vars.push_back(v);
-    for (auto f : s.methods)
-    {
-      if (!checkFunction(f, p.namespaces, vars))
-        return false;
-    }
-  }
-  return true;
-}
\ No newline at end of file