Skip to content
This repository was archived by the owner on Aug 3, 2024. It is now read-only.

Add # as a special character #884

Merged
merged 1 commit into from
Jul 20, 2018
Merged

Add # as a special character #884

merged 1 commit into from
Jul 20, 2018

Conversation

msakai
Copy link
Contributor

@msakai msakai commented Jul 19, 2018

'#' has special meaning used for anchors and can be escaped using backslash.
Therefore it would be nice to be listed as special characters.

'#' has special meaning used for anchors and can be escaped using backslash.
Therefore it would be nice to be listed as special characters.
@alexbiehl alexbiehl merged commit 532b209 into haskell:ghc-8.4 Jul 20, 2018
@alexbiehl
Copy link
Member

Thanks!

alanz pushed a commit that referenced this pull request Mar 25, 2020
'#' has special meaning used for anchors and can be escaped using backslash.
Therefore it would be nice to be listed as special characters.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants