From 1349a9331834df8847bda9d9c5fde5312079bcdb Mon Sep 17 00:00:00 2001
From: ronny
Date: Tue, 12 Feb 2002 09:17:15 +0000
Subject: removed useless strictness annotations

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1017 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backend/backendconvert.icl | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'backend')

diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl
index 6a75b15..fc4c5f3 100644
--- a/backend/backendconvert.icl
+++ b/backend/backendconvert.icl
@@ -33,9 +33,7 @@ sfoldr op r l s
 :: BackEndBody :== BackendBody
 BackEndBody x :== BackendBody x
 
-
-:: BEMonad a :== St !*BackEndState !a
-
+:: BEMonad a :== *BackEndState -> *(!a,!*BackEndState)
 :: BackEnder :== *BackEndState -> *BackEndState
 
 //
-- 
cgit v1.2.3