Skip to content

EPA: LANGUAGE pragmas in the body of a module have wrong PSpan

In

{-# LANGUAGE GADTs #-}
module PragmaSpans where

{-# LANGUAGE TypeFamilies #-}

The PSpan for the second pragma is the beginning of its line, rather than the location of the where token as expected.

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