From 921200f7d3790ba5a1f61d750b6d84bf917db966 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 1 Feb 2016 17:47:57 +0100
Subject: Void return type

---
 CleanC.dcl | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'CleanC.dcl')

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
 
-- 
cgit v1.2.3