From bfc6c3ed6388ca9dab023c79486cb95783fc6ff2 Mon Sep 17 00:00:00 2001 From: Paul Chiusano Date: Fri, 2 Apr 2021 18:45:57 -0500 Subject: [PATCH] Fill in missing case in Pretty.map --- parser-typechecker/src/Unison/Runtime/IOSource.hs | 2 +- unison-src/new-runtime-transcripts/doc.md.files/syntax.u | 7 ++++--- unison-src/new-runtime-transcripts/doc.output.md | 2 +- 3 files changed, 6 insertions(+), 5 deletions(-) diff --git a/parser-typechecker/src/Unison/Runtime/IOSource.hs b/parser-typechecker/src/Unison/Runtime/IOSource.hs index 34049d018..525455b45 100644 --- a/parser-typechecker/src/Unison/Runtime/IOSource.hs +++ b/parser-typechecker/src/Unison/Runtime/IOSource.hs @@ -750,7 +750,7 @@ Pretty.map f p = Wrap _ p -> Wrap () (go p) OrElse _ p1 p2 -> OrElse () (go p1) (go p2) Indent _ i0 iN p -> Indent () (go i0) (go iN) (go p) - -- Append _ ps -> Append () (List.map go ps) + Annotated.Append _ ps -> Annotated.Append () (List.map go ps) Pretty (go (Pretty.get p)) Pretty.empty : Pretty txt diff --git a/unison-src/new-runtime-transcripts/doc.md.files/syntax.u b/unison-src/new-runtime-transcripts/doc.md.files/syntax.u index 89f7b9dfc..2a51c00fc 100644 --- a/unison-src/new-runtime-transcripts/doc.md.files/syntax.u +++ b/unison-src/new-runtime-transcripts/doc.md.files/syntax.u @@ -1,12 +1,13 @@ -doc.guide = {{ TODO - uncomment the below }} - ---- doc.guide = {{ + testing +}} --- # Unison documentation format The syntax tries to be close to markdown. + + ## Basic formatting Paragraphs are separated by one or more blanklines. There's syntax for bold, italics, and strikethrough text: diff --git a/unison-src/new-runtime-transcripts/doc.output.md b/unison-src/new-runtime-transcripts/doc.output.md index 43b3fa2a0..de4e15599 100644 --- a/unison-src/new-runtime-transcripts/doc.output.md +++ b/unison-src/new-runtime-transcripts/doc.output.md @@ -67,6 +67,6 @@ The `docs ImportantConstant` command will look for `ImportantConstant.doc` in th .> display doc.guide - TODO - uncomment the below + testing ```