brittany keeps adding parentheses to type operator in constraint #258

Open
opened 2019-09-07 15:54:27 +02:00 by tomjaguarpaw · 0 comments
tomjaguarpaw commented 2019-09-07 15:54:27 +02:00 (Migrated from github.com)

If I start with the below program, brittany adds extra parens around (->) each time I run it.

{-# LANGUAGE TypeFamilies #-}

id :: p ~ (->) => p a a
id = Prelude.id

After running brittany several times:

{-# LANGUAGE TypeFamilies #-}

id :: p ~ ((((((((((((->)))))))))))) => p a a
id = Prelude.id
% ~/.cabal/bin/brittany --version
brittany version 0.12.0.0
Copyright (C) 2016-2018 Lennart Spitzner
There is NO WARRANTY, to the extent permitted by law.
If I start with the below program, brittany adds extra parens around `(->)` each time I run it. ```haskell {-# LANGUAGE TypeFamilies #-} id :: p ~ (->) => p a a id = Prelude.id ``` After running brittany several times: ```haskell {-# LANGUAGE TypeFamilies #-} id :: p ~ ((((((((((((->)))))))))))) => p a a id = Prelude.id ``` ``` % ~/.cabal/bin/brittany --version brittany version 0.12.0.0 Copyright (C) 2016-2018 Lennart Spitzner There is NO WARRANTY, to the extent permitted by law. ```
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#258
There is no content yet.