Commit cd339ef0 authored by Joshua Price's avatar Joshua Price Committed by Marge Bot

Make Unicode brackets opening/closing tokens (#18225)

The tokens `[|`, `|]`, `(|`, and `|)` are opening/closing tokens as
described in GHC Proposal #229. This commit makes the unicode
variants (`⟦`, `⟧`, `⦇`, and `⦈`) act the same as their ASCII
counterparts.
parent b420fb24
Pipeline #19769 failed with stages
in 449 minutes and 49 seconds