Describe the bug This pattern synonym (for example): pattern P a <- C a where P a = C a on the first formatting is converted to: pattern P a ...
確定! 回上一頁