remove cryptic comment

1 files changed, 0 insertions, 48 deletions

diff --git a/testdata/accept/loopIssue.lc b/testdata/accept/loopIssue.lc
index bb0ae165..82fdd552 100644
--- a/testdata/accept/loopIssue.lc
+++ b/testdata/accept/loopIssue.lc
@@ -45,51 +45,3 @@ main = -- case 3: [] of x : xs -> x
 -}
 
 
-{-
-
-- fix label
-
-  FixLabel Exp Exp      -- a kifejezések különböző mértékben redukáltak
-
-  minden fix-unfoldnál megjelenik
-    bal oldal: unfold nélkül
-    jobb oldal: unfold fix      -- belül újabb fix-label várható
-
-  kicsit több helyen használjuk a jobb oldalt, mint a pm labelnél:
-    - egyenlőségvizsgálat: először bal, aztán jobb oldal
-    - print: jobb oldal
-    - freeE: először bal, aztán jobb oldal?  max debruijn segít?
-
-  mikor tűnik el:
-      nincs oka eltűnni
-    - többszörös FixLabel eltűnik? (egyenlőségvizsgálat hatékonysága miatt?)
-        ha nem tűnik el, akkor is lehet úgy definiálni az (==)-t, mintha eltűnne:
-            FixLabel a b == FixLabel a' b' = a == a' || recfixunlabel b == recfixunlabel b'
-            FixLabel a b == c = recfixunlabel{-felesleges-} b == c
-            c == FixLabel a b = c == recfixunlabel{-felesleges-} b
-    - substE, app_: megmarad
-
-
-- fix label vs. polymorphism
-
-- fix label vs. pm label
-
-- fix label vs. labelend
-
-
-
-a = Inf a
-  -->
-fixlab a (Inf (fixlab a (Inf ...))) 
-
-a = a
-  -->
-
-fixlab a (fixlab a (...))
-
-
-
-
-
--}
-