For example, in what follows we only get tags for C1 and C3, and not for ThisConstructorNameIsLongSoImPuttingTheTypeOnTheNextLine:
{-# LANGUAGE GADTs #-}
data D a where
C1 :: Int -> D Int
ThisConstructorNameIsLongSoImPuttingTheTypeOnTheNextLine
:: Int -> Bool -> D String
C3 :: Int
-> Bool
-> D Int
For example, in what follows we only get tags for
C1
andC3
, and not forThisConstructorNameIsLongSoImPuttingTheTypeOnTheNextLine
:This is in the same vein as Issues #16 and #40.