Skip to content

API Annotations: Parens not attached correctly for ClassDecl

For the file

module ClassParens where

class LiftingMonad  (trans :: MTrans) where
  proof :: Monad m :- Monad (trans m)

class LiftingMonad2  ((trans :: MTrans)) where
  proof :: Monad m :- Monad (trans m)

The parens around the kinded tyvars should be attached to the class declaration as a whole, they are attached to the tyvar instead, outside the span.

An annotation must always be within the span it is contained in.

Trac metadata
Trac field Value
Version 8.6.3
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