unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-14 07:51:12 +03:00
Code Issues Projects Releases Wiki Activity

@signature is now @inlineSignature

Browse Source
This commit is contained in:
Paul Chiusano 2021-05-25 10:51:58 -05:00
parent 706414dbcf
commit 24cf74d745
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
parser-typechecker/src/Unison/Lexer.hs
View File

@ -375,12 +375,12 @@ lexemes' eof = P.optional space >> do
_ <- lit "}"
pure (join s)
signature = wrap "syntax.docSignature" $ do
_ <- lit "@signatures" *> (lit " {" <|> lit "{") *> CP.space
_ <- (lit "@signatures" <|> lit "@signature") *> (lit " {" <|> lit "{") *> CP.space
s <- join <$> P.sepBy1 signatureLink comma
_ <- lit "}"
pure s
signatureInline = wrap "syntax.docSignatureInline" $ do
_ <- lit "@signature" *> (lit " {" <|> lit "{") *> CP.space
_ <- lit "@inlineSignature" *> (lit " {" <|> lit "{") *> CP.space
s <- signatureLink
_ <- lit "}"
pure s

4
unison-src/transcripts-using-base/doc.md.files/syntax.u
View File

@ -96,10 +96,10 @@ Some rendering targets also support folded source:
@foldedSource{type Optional, sqr}
You can also include just a signature, inline, with @signature{sqr},
You can also include just a signature, inline, with @inlineSignature{sqr},
or you can include one or more signatures as a block:
@signatures{sqr, Nat.+}
@signature{sqr, Nat.+}
## Inline snippets