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

---
 Sil/Util.dcl | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 Sil/Util.dcl

(limited to 'Sil/Util.dcl')

diff --git a/Sil/Util.dcl b/Sil/Util.dcl
deleted file mode 100644
index 54617ce..0000000
--- a/Sil/Util.dcl
+++ /dev/null
@@ -1,27 +0,0 @@
-definition module Sil.Util
-
-from StdOverloaded import class toString, class zero
-
-from Sil.Parse import :: Token
-from Sil.Syntax import :: Program, :: Function, :: CodeBlock,
-	:: Initialisation, :: Statement, :: Type, :: Application, :: Literal
-
-:: PrintState
-
-instance zero PrintState
-
-class PrettyPrinter t where
-	print :: PrintState t -> String
-
-instance PrettyPrinter [Token]
-
-instance PrettyPrinter Program
-instance PrettyPrinter Function
-instance PrettyPrinter CodeBlock
-instance PrettyPrinter Initialisation
-instance PrettyPrinter Statement
-
-instance toString Statement
-instance toString Type
-instance toString Application
-instance toString Literal
-- 
cgit v1.2.3