From b56b655f0bea1922999305d8e88bf16e874098a3 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 20 Jul 2017 08:24:33 +0000
Subject: Add checks for locals with type Void

---
 Sil/Syntax.dcl | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'Sil/Syntax.dcl')

diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl
index 42097c5..1aa0c8b 100644
--- a/Sil/Syntax.dcl
+++ b/Sil/Syntax.dcl
@@ -84,6 +84,15 @@ instance allStatements Function
 instance allStatements CodeBlock
 instance allStatements Statement
 
+class allCodeBlocks a :: a -> [CodeBlock]
+instance allCodeBlocks Function
+instance allCodeBlocks CodeBlock
+instance allCodeBlocks Statement
+
+class allLocals a :: a -> [(Type, Name)]
+instance allLocals Function
+instance allLocals CodeBlock
+
 /**
  * Size of an expression on the stack
  */
-- 
cgit v1.2.3