aboutsummaryrefslogtreecommitdiff
path: root/frontend/comparedefimp.icl
diff options
context:
space:
mode:
authorjohnvg2002-06-17 11:53:07 +0000
committerjohnvg2002-06-17 11:53:07 +0000
commitb9d3c2066f3cd10cf0fcda8fb2a6148b6a93ad88 (patch)
treeb518ce7cc52adbb04939e00ac74fd6068238c93b /frontend/comparedefimp.icl
parentremoved double alternative for TVI_TypeKind in <<< (diff)
removed ignored !'s
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1099 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.icl')
-rw-r--r--frontend/comparedefimp.icl4
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl
index bb35b8f..2538fb7 100644
--- a/frontend/comparedefimp.icl
+++ b/frontend/comparedefimp.icl
@@ -354,7 +354,7 @@ where
}
:: TypesCorrespondMonad
- :== !*TypesCorrespondState -> *(!Bool, !*TypesCorrespondState)
+ :== *TypesCorrespondState -> *(!Bool, !*TypesCorrespondState)
:: ExpressionsCorrespondState =
{ ec_icl_correspondences :: !.{# Int },
@@ -369,7 +369,7 @@ where
}
:: ExpressionsCorrespondMonad
- :== !*ExpressionsCorrespondState -> *ExpressionsCorrespondState
+ :== *ExpressionsCorrespondState -> *ExpressionsCorrespondState
:: Conversions :== {#Index}