Closed jmcarthur closed 5 months ago
The parentheses get removed, creating invalid syntax.
Input haskell
data FixedList n a where Nil :: FixedList 0 a (:::) :: a -> FixedList n a -> FixedList (n + 1) a
Expected output haskell
Actual output haskell
data FixedList n a where Nil :: FixedList 0 a ::: :: a -> FixedList n a -> FixedList (n + 1) a
Problem
The parentheses get removed, creating invalid syntax.
Input haskell
Expected output haskell
Actual output haskell