From d722a77077e89504191728cf42f7d15ddfa209a7 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 19 Jul 2017 11:46:32 +0000
Subject: Reorganise

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

(limited to 'Sil/Syntax.dcl')

diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl
index 6df64a3..5c91dc6 100644
--- a/Sil/Syntax.dcl
+++ b/Sil/Syntax.dcl
@@ -1,5 +1,7 @@
 definition module Sil.Syntax
 
+from StdOverloaded import class toString
+
 from Data.Maybe import :: Maybe
 
 :: Program =
@@ -66,3 +68,11 @@ from Data.Maybe import :: Maybe
 	| ILit Int
 
 :: Name :== String
+
+instance toString Statement
+instance toString Type
+instance toString Arg
+instance toString Application
+instance toString Op1
+instance toString Op2
+instance toString Literal
-- 
cgit v1.2.3