diff options
| author | pieter | 2000-01-12 16:48:46 +0000 |
|---|---|---|
| committer | pieter | 2000-01-12 16:48:46 +0000 |
| commit | 7fd732d4e2972148875eaa489ff719f4d4ffab63 (patch) | |
| tree | 4a59bf0cefb3613b96df15d4d516f3f631e4aa5f /frontend/utilities.dcl | |
| parent | replaced all known errors (diff) | |
function isNotEmpty added
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@74 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/utilities.dcl')
| -rw-r--r-- | frontend/utilities.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
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) |