From bb52dc5e385a011f928f7a6c8b8497563a31c464 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 19 Jul 2017 19:42:47 +0000
Subject: Add AST checks

---
 Sil/Check.dcl | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 Sil/Check.dcl

(limited to 'Sil/Check.dcl')

diff --git a/Sil/Check.dcl b/Sil/Check.dcl
new file mode 100644
index 0000000..b222079
--- /dev/null
+++ b/Sil/Check.dcl
@@ -0,0 +1,15 @@
+definition module Sil.Check
+
+from StdOverloaded import class toString
+
+from Data.Maybe import :: Maybe
+
+from Sil.Syntax import :: Program, :: Name
+
+:: CheckError
+	= ReturnExpressionFromVoidError Name
+	| NoReturnFromNonVoidError Name
+
+instance toString CheckError
+
+checkProgram :: *(Maybe *File) Program -> *([CheckError], *Maybe *File)
-- 
cgit v1.2.3