Skip to content

EPA: no annotation for 'type' in Parser.y 'type_data_or_newtype' rule

The rule

type_data_or_newtype :: { Located (AddEpAnn, Bool, NewOrData) }
        : 'data'        { sL1 $1 (mj AnnData    $1,False,DataType) }
        | 'newtype'     { sL1 $1 (mj AnnNewtype $1,False,NewType) }
        | 'type' 'data' { sL1 $1 (mj AnnData    $1,True ,DataType) }

does not return a AnnType annotation in the third production.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information