Fix coalton-mode not to treat #\" as a string literal. (#1762)
#3846
| Job | Run time |
|---|---|
| 3m 36s | |
| 6m 38s | |
| 10m 14s |
#\" as a string literal. (#1762)
#3846
| Job | Run time |
|---|---|
| 3m 36s | |
| 6m 38s | |
| 10m 14s |