Remove an obsolete comment.
This commit is contained in:
parent
104bdf5d0a
commit
9749d58f09
|
@ -1047,8 +1047,6 @@ retypesReshapes :: OccParser ()
|
||||||
retypesReshapes
|
retypesReshapes
|
||||||
= sRETYPES <|> sRESHAPES
|
= sRETYPES <|> sRESHAPES
|
||||||
|
|
||||||
-- FIXME: Retypes checking is currently disabled; it will be moved into a
|
|
||||||
-- separate pass.
|
|
||||||
retypesAbbrev :: OccParser A.Specification
|
retypesAbbrev :: OccParser A.Specification
|
||||||
retypesAbbrev
|
retypesAbbrev
|
||||||
= do m <- md
|
= do m <- md
|
||||||
|
|
Loading…
Reference in New Issue
Block a user