Nicer cli

1 files changed, 12 insertions, 1 deletions

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