brittany 0.12 doesn't recognised strictness annotations in GADTs #261

New Issue

2019-10-30T19:54:21+01:00

infinity0 commented

2019-10-30 19:54:21 +01:00

(Migrated from github.com)

$ cat Test.hs

{-# LANGUAGE GADTs #-}
data X where
  X :: !Int -> X

main :: IO ()
main = pure ()

$ brittany Test.hs
ERROR: brittany pretty printer returned syntactically invalid result.
70
$ brittany --version
brittany version 0.12.0.0
Copyright (C) 2016-2018 Lennart Spitzner
There is NO WARRANTY, to the extent permitted by law.

~~~~ $ cat Test.hs ~~~~ ```haskell {-# LANGUAGE GADTs #-} data X where X :: !Int -> X main :: IO () main = pure () ``` ~~~~ $ brittany Test.hs ERROR: brittany pretty printer returned syntactically invalid result. 70 $ brittany --version brittany version 0.12.0.0 Copyright (C) 2016-2018 Lennart Spitzner There is NO WARRANTY, to the extent permitted by law. ~~~~

lspitzner commented

2019-10-31 15:03:21 +01:00

(Migrated from github.com)

This very likely is the same underlying issue as #242, so

this comes down to a bug in ghc-exactprint (https://github.com/alanz/ghc-exactprint/issues/79).
Does not appear wtih ghc<8.6.

(We really want our own GADT layouting to avoid this ..)

This very likely is the same underlying issue as #242, so - this comes down to a bug in ghc-exactprint (https://github.com/alanz/ghc-exactprint/issues/79). - Does not appear wtih `ghc<8.6`. (We really want our own GADT layouting to avoid this ..)

Sign in to join this conversation.

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: hexagoxel/brittany#261