brittany icon indicating copy to clipboard operation
brittany copied to clipboard

brittany keeps adding parentheses to type operator in constraint

Open tomjaguarpaw opened this issue 5 years ago • 0 comments

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.

tomjaguarpaw avatar Sep 07 '19 13:09 tomjaguarpaw