From 7fd732d4e2972148875eaa489ff719f4d4ffab63 Mon Sep 17 00:00:00 2001
From: pieter
Date: Wed, 12 Jan 2000 16:48:46 +0000
Subject: function isNotEmpty added

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@74 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/utilities.dcl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'frontend/utilities.dcl')

diff --git a/frontend/utilities.dcl b/frontend/utilities.dcl
index a7a58d5..2315a73 100644
--- a/frontend/utilities.dcl
+++ b/frontend/utilities.dcl
@@ -21,6 +21,8 @@ isSpecialChar	:: ! Char	-> Bool
 	For Lists
 */
 
+isNotEmpty :: ![a] -> Bool
+
 mapSt :: !(.a -> (.st -> (.c,.st))) ![.a] !.st -> (![.c],!.st)
 
 app2St :: !(!.(.a -> .(.st -> (.c,.st))),!.(.e -> .(.st -> (.f,.st)))) !(.a,.e) !.st -> (!(.c,.f),!.st)
-- 
cgit v1.2.3