Skip to content

Parse error with "where" and file-ending comment

Consider the following file:

{-# LANGUAGE TypeFamilies #-}

type family F a
type instance where
  F Int = Bool

{-

-}

If there is a file-ending newline, after the comment, the file parses. If there is not a file-ending newline, I get a parse error.

I wrote the code dealing with type instance where notation, but this seems more related to parsing issues (which I know little about) than type instance where. Please correct me if I'm wrong.

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