unisonweb/unison
View on GitHubsymbolic names don't parse as links in doc literals
Open
#1,054 opened on Dec 11, 2019
help wanted
Repository metrics
- Stars
- (6,624 stars)
- PR merge metrics
- (Avg merge 12d 19h) (6 merged PRs in 30d)
Description
(**) : Boolean -> Boolean -> Boolean
(**) a b = a && b
doc = [: @** means && :]
gives
/home/chris/unison/scratch.u:7:11:
unexpected **
7 | doc = [: @** means && :]
(And it doesn't work as @(**) either - the parser doesn't pick that up as a link.)