Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Tags aren't generated for GADT constructors with :: on different line #65

Open
ntc2 opened this issue Mar 6, 2019 · 0 comments
Open

Tags aren't generated for GADT constructors with :: on different line #65

ntc2 opened this issue Mar 6, 2019 · 0 comments

Comments

@ntc2
Copy link

ntc2 commented Mar 6, 2019

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

This is in the same vein as Issues #16 and #40.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ntc2