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