Skip to content

Alter type of parseDeclaration and parseTypeSignature entry points

Currently the type of the two mentioned entry points is

parseDeclaration :: P (OrdList (LHsDecl RdrName))

and

parseTypeSignature :: P (Located (OrdList (LHsDecl RdrName)))

It turns out that in both cases, OrdList is always a singleton so the additional wrapping is redundant. I propose that the parser is modified in order to reflect this so that this is clearer to end users. The end result being that both entry points have type P (LHsDecl RdrName)

Trac metadata
Trac field Value
Version 7.10.1
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC agibiansky
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information