don't recognise (| or (# if followed by a symbol character, e.g. (||)
good for STABLE, I hope
- "(|" / { ifExtension arrowsEnabled } { special IToparenbar }
+ "(|" / { ifExtension arrowsEnabled `alexAndPred` notFollowedBySymbol }
+ { special IToparenbar }
"|)" / { ifExtension arrowsEnabled } { special ITcparenbar }
}
"|)" / { ifExtension arrowsEnabled } { special ITcparenbar }
}
- "(#" { token IToubxparen }
+ "(#" / { notFollowedBySymbol } { token IToubxparen }
"#)" { token ITcubxparen }
"{|" { token ITocurlybar }
"|}" { token ITccurlybar }
"#)" { token ITcubxparen }
"{|" { token ITocurlybar }
"|}" { token ITccurlybar }
notFollowedBy char _ _ _ (_,buf) = atEnd buf || currentChar buf /= char
notFollowedBy char _ _ _ (_,buf) = atEnd buf || currentChar buf /= char
+notFollowedBySymbol _ _ _ (_,buf)
+ = atEnd buf || currentChar buf `notElem` "!#$%&*+./<=>?@\\^|-~"
+
ifExtension pred bits _ _ _ = pred bits
{-
ifExtension pred bits _ _ _ = pred bits
{-