From 9749d58f09b59876f337596bd8f335be0ae3b033 Mon Sep 17 00:00:00 2001 From: Adam Sampson Date: Fri, 30 May 2008 12:24:46 +0000 Subject: [PATCH] Remove an obsolete comment. --- frontends/ParseOccam.hs | 2 -- 1 file changed, 2 deletions(-) diff --git a/frontends/ParseOccam.hs b/frontends/ParseOccam.hs index 0bb6292..e69ceff 100644 --- a/frontends/ParseOccam.hs +++ b/frontends/ParseOccam.hs @@ -1047,8 +1047,6 @@ retypesReshapes :: OccParser () retypesReshapes = sRETYPES <|> sRESHAPES --- FIXME: Retypes checking is currently disabled; it will be moved into a --- separate pass. retypesAbbrev :: OccParser A.Specification retypesAbbrev = do m <- md