Void return typeHEADmaster

1 files changed, 7 insertions, 3 deletions

diff --git a/CleanC.dcl b/CleanC.dcl
index a385a50..d0257c6 100644
--- a/CleanC.dcl
+++ b/CleanC.dcl
@@ -23,12 +23,16 @@ SOFTWARE. */
 definition module CleanC
 
 from StdClass import class toInt, class toString, class toReal,
-                     class fromInt, class fromString, class fromReal
+                     class fromInt, class fromString, class fromReal,
+                     class ==
 
 :: State
 
-:: CType = Int | String | Real
-:: CParam = CI Int | CS String | CR Real
+:: CType = Int | String | Real | Void
+:: CParam = CI Int | CS String | CR Real | CV
+
+instance == CType
+instance == CParam
 
 cNewState :: *State