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

Roundtripping breaks when using exactPrint on single GADT-with-forall #79

Open

lspitzner opened this issue Jun 21, 2019 · 0 comments

Contributor

lspitzner commented Jun 21, 2019

Similar to #52,

data StupidExistential a where
  StupidExistential :: forall a . StupidExistential a

breaks when using exactprint on just this module element (I think layouting the whole module is fine.)

Occurs on ghc-8.6.5 but not on ghc-8.4.4.

lspitzner mentioned this issue

GADT forall does not round-trip on ghc-8.6 lspitzner/brittany#242

Open

lspitzner mentioned this issue

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

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment