From 1af150e798c1580be42bc9e8f3880edbeb6fef29 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 27 Apr 2016 10:37:13 +0200
Subject: Nicer cli

---
 Smurf.dcl | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'Smurf.dcl')

diff --git a/Smurf.dcl b/Smurf.dcl
index c4f1c45..7d75a6d 100644
--- a/Smurf.dcl
+++ b/Smurf.dcl
@@ -1,6 +1,12 @@
 definition module Smurf
 
-from StdOverloaded import class zero, class toString
+from StdOverloaded import
+	class zero,
+	class toString,
+	class toChar, class fromChar,
+	class ==
+
+from GenEq import generic gEq
 
 from Data.Maybe import ::Maybe
 
@@ -18,7 +24,12 @@ from Data.Maybe import ::Maybe
            , store :: Store
            }
 
+derive gEq Stm
+
+instance == Stm
 instance toString Stm
+instance toChar Stm
+instance fromChar Stm
 
 instance zero State
 instance toString State
-- 
cgit v1.2.3