From c23b7cd159af38f588ce4214d6ad37ceadf3c1a6 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 27 Jul 2017 23:32:59 +0200
Subject: Centralise errors (needed for positional errors #5)

---
 Sil/Parse.dcl | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

(limited to 'Sil/Parse.dcl')

diff --git a/Sil/Parse.dcl b/Sil/Parse.dcl
index d5bf453..441bf9e 100644
--- a/Sil/Parse.dcl
+++ b/Sil/Parse.dcl
@@ -4,6 +4,7 @@ from StdOverloaded import class ==, class toString
 
 from Data.Error import :: MaybeError
 
+from Sil.Error import :: Error
 from Sil.Syntax import :: Program, :: Literal
 from Sil.Util.Parser import class name
 
@@ -38,13 +39,6 @@ instance == Token
 instance toString Token
 instance name Token
 
-:: ParseError
-	= E.a: Invalid String a & toString a
-	| Expected String
-	| UnknownError
+tokenise :: [Char] -> MaybeError Error [Token]
 
-instance toString ParseError
-
-tokenise :: [Char] -> MaybeError ParseError [Token]
-
-parse :: ([Token] -> MaybeError ParseError Program)
+parse :: ([Token] -> MaybeError Error Program)
-- 
cgit v1.2.3