From 1618a63d64a475417273cd983f4624475fe21585 Mon Sep 17 00:00:00 2001 From: kukimik <53443372+kukimik@users.noreply.github.com> Date: Fri, 12 Apr 2024 15:34:26 +0200 Subject: [PATCH 1/2] dhall-docs: Add alt text to Dhall logo --- dhall-docs/src/Dhall/Docs/Html.hs | 1 + dhall-docs/tasty/data/golden/AsText.dhall.html | 2 +- dhall-docs/tasty/data/golden/ImportAsType.dhall.html | 2 +- dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html | 2 +- .../tasty/data/golden/InvalidConsecutiveComments.dhall.html | 2 +- dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html | 2 +- dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html | 2 +- dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html | 2 +- dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html | 2 +- dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html | 2 +- dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html | 2 +- .../tasty/data/golden/JumpToLamBindingWithIndex.dhall.html | 2 +- .../tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html | 2 +- .../tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html | 2 +- dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html | 2 +- .../tasty/data/golden/JumpToLetBindingWithIndex.dhall.html | 2 +- .../tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html | 2 +- .../tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html | 2 +- dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html | 2 +- .../golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html | 2 +- ...eldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html | 2 +- ...JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html | 2 +- .../golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html | 2 +- .../JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html | 2 +- .../JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html | 2 +- ...pToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html | 2 +- ...mpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html | 2 +- ...umpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html | 2 +- ...mpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html | 2 +- dhall-docs/tasty/data/golden/JumpToSelf.dhall.html | 2 +- dhall-docs/tasty/data/golden/JumpToUrls.dhall.html | 2 +- dhall-docs/tasty/data/golden/MarkdownExample.dhall.html | 2 +- dhall-docs/tasty/data/golden/MarkdownFile.md.html | 2 +- .../tasty/data/golden/MultilineIndentationExample.dhall.html | 2 +- dhall-docs/tasty/data/golden/NoDoc.dhall.html | 2 +- .../tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html | 2 +- dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html | 2 +- dhall-docs/tasty/data/golden/Pair.dhall.html | 2 +- dhall-docs/tasty/data/golden/Plain.txt.html | 2 +- .../tasty/data/golden/RenderTypeIndexesExample.dhall.html | 2 +- dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html | 2 +- dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html | 2 +- dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html | 2 +- dhall-docs/tasty/data/golden/a/b.dhall.html | 2 +- dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html | 2 +- dhall-docs/tasty/data/golden/a/b/c.dhall.html | 2 +- dhall-docs/tasty/data/golden/a/b/c/a.dhall.html | 2 +- dhall-docs/tasty/data/golden/a/b/c/index.html | 2 +- dhall-docs/tasty/data/golden/a/b/index.html | 2 +- dhall-docs/tasty/data/golden/a/index.html | 2 +- dhall-docs/tasty/data/golden/deep/nested/folder/index.html | 2 +- .../tasty/data/golden/deep/nested/folder/my-even.dhall.html | 2 +- dhall-docs/tasty/data/golden/deep/nested/index.html | 2 +- dhall-docs/tasty/data/golden/index.html | 2 +- dhall-docs/tasty/data/golden/package.dhall.html | 2 +- 55 files changed, 55 insertions(+), 54 deletions(-) diff --git a/dhall-docs/src/Dhall/Docs/Html.hs b/dhall-docs/src/Dhall/Docs/Html.hs index 195fe344a..321caa672 100644 --- a/dhall-docs/src/Dhall/Docs/Html.hs +++ b/dhall-docs/src/Dhall/Docs/Html.hs @@ -241,6 +241,7 @@ navBar DocParams{..} = div_ [class_ "nav-bar"] $ do -- Left side of the nav-bar img_ [ class_ "dhall-icon" + , alt_ "Dhall logo." , src_ $ Data.Text.pack $ relativeResourcesPath <> "dhall-icon.svg" ] p_ [class_ "package-title"] $ toHtml packageName diff --git a/dhall-docs/tasty/data/golden/AsText.dhall.html b/dhall-docs/tasty/data/golden/AsText.dhall.html index 931488841..0e4745054 100644 --- a/dhall-docs/tasty/data/golden/AsText.dhall.html +++ b/dhall-docs/tasty/data/golden/AsText.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/ImportAsType.dhall.html b/dhall-docs/tasty/data/golden/ImportAsType.dhall.html index 4416e8559..24ed1e007 100644 --- a/dhall-docs/tasty/data/golden/ImportAsType.dhall.html +++ b/dhall-docs/tasty/data/golden/ImportAsType.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html b/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html index 3de7c201f..0b95e085f 100644 --- a/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html +++ b/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html b/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html index 10fa74443..d89918d4c 100644 --- a/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html +++ b/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html b/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html index 180fbea94..0b21d9038 100644 --- a/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html +++ b/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html b/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html index abca63e1e..6fa037c7d 100644 --- a/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html +++ b/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html b/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html index a4117bc5c..352785075 100644 --- a/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html b/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html index 3acb1da12..ae3d8a98a 100644 --- a/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html index c58993a36..b75794fcb 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html index e956841a0..9ced3689d 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html index 56bbbabd0..9f6545bcb 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html index dbb52b3c5..11c280af5 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html index c5c66cdc4..a52cbecaa 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html index 1ab0b5955..973b98f33 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html index e373c6036..2c5b701c8 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html index 38c14318c..267150f6c 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html index c1059f9f9..b6d9daea2 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html index 57f10b5b2..b5ce441c7 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html index 6a35ba890..3aaf211ea 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html index 42cb36438..f0eed883e 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html index c36ef80c6..007ec4eb3 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html index 3de7083b0..330b99b89 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html index 882e464c9..87b0fb6d4 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html index ad4ffdd76..0617aa5fc 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html index 173649e42..9465f4022 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html index 8369a946f..5f9ef9f7d 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html index de7d5ee82..69d6bc6e8 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html index 7fab4b793..021aa32ef 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToSelf.dhall.html b/dhall-docs/tasty/data/golden/JumpToSelf.dhall.html index 664b60d5e..265151a83 100644 --- a/dhall-docs/tasty/data/golden/JumpToSelf.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToSelf.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToUrls.dhall.html b/dhall-docs/tasty/data/golden/JumpToUrls.dhall.html index c825f0257..3e2f40bb9 100644 --- a/dhall-docs/tasty/data/golden/JumpToUrls.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToUrls.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/MarkdownExample.dhall.html b/dhall-docs/tasty/data/golden/MarkdownExample.dhall.html index a5557b098..cece467ee 100644 --- a/dhall-docs/tasty/data/golden/MarkdownExample.dhall.html +++ b/dhall-docs/tasty/data/golden/MarkdownExample.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/MarkdownFile.md.html b/dhall-docs/tasty/data/golden/MarkdownFile.md.html index 542f4288a..9ff558184 100644 --- a/dhall-docs/tasty/data/golden/MarkdownFile.md.html +++ b/dhall-docs/tasty/data/golden/MarkdownFile.md.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/MultilineIndentationExample.dhall.html b/dhall-docs/tasty/data/golden/MultilineIndentationExample.dhall.html index 688dfb41a..1fceb5f0b 100644 --- a/dhall-docs/tasty/data/golden/MultilineIndentationExample.dhall.html +++ b/dhall-docs/tasty/data/golden/MultilineIndentationExample.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/NoDoc.dhall.html b/dhall-docs/tasty/data/golden/NoDoc.dhall.html index 9848c69a0..4b1eea5ef 100644 --- a/dhall-docs/tasty/data/golden/NoDoc.dhall.html +++ b/dhall-docs/tasty/data/golden/NoDoc.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html b/dhall-docs/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html index 3119f5266..8fb5c05e0 100644 --- a/dhall-docs/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html +++ b/dhall-docs/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html b/dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html index 88b0b16ac..410d862a3 100644 --- a/dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html +++ b/dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/Pair.dhall.html b/dhall-docs/tasty/data/golden/Pair.dhall.html index 37188e06e..2766dce47 100644 --- a/dhall-docs/tasty/data/golden/Pair.dhall.html +++ b/dhall-docs/tasty/data/golden/Pair.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/Plain.txt.html b/dhall-docs/tasty/data/golden/Plain.txt.html index 35f7afd88..dd697dcd4 100644 --- a/dhall-docs/tasty/data/golden/Plain.txt.html +++ b/dhall-docs/tasty/data/golden/Plain.txt.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/RenderTypeIndexesExample.dhall.html b/dhall-docs/tasty/data/golden/RenderTypeIndexesExample.dhall.html index 976c8c171..358e56bc4 100644 --- a/dhall-docs/tasty/data/golden/RenderTypeIndexesExample.dhall.html +++ b/dhall-docs/tasty/data/golden/RenderTypeIndexesExample.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html b/dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html index f44968416..340afe84a 100644 --- a/dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html +++ b/dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html b/dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html index 6d71e226d..0af00d367 100644 --- a/dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html +++ b/dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html b/dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html index 4058de4ec..d0fd3ffeb 100644 --- a/dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html +++ b/dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/b.dhall.html b/dhall-docs/tasty/data/golden/a/b.dhall.html index 22f99f946..327e5b75f 100644 --- a/dhall-docs/tasty/data/golden/a/b.dhall.html +++ b/dhall-docs/tasty/data/golden/a/b.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html b/dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html index 3ef35d463..bcc816f43 100644 --- a/dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html +++ b/dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/b/c.dhall.html b/dhall-docs/tasty/data/golden/a/b/c.dhall.html index d3e4cdb96..e351d83e7 100644 --- a/dhall-docs/tasty/data/golden/a/b/c.dhall.html +++ b/dhall-docs/tasty/data/golden/a/b/c.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/b/c/a.dhall.html b/dhall-docs/tasty/data/golden/a/b/c/a.dhall.html index ab1f72c9f..005216392 100644 --- a/dhall-docs/tasty/data/golden/a/b/c/a.dhall.html +++ b/dhall-docs/tasty/data/golden/a/b/c/a.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/b/c/index.html b/dhall-docs/tasty/data/golden/a/b/c/index.html index 94d20cbd1..a6cd63154 100644 --- a/dhall-docs/tasty/data/golden/a/b/c/index.html +++ b/dhall-docs/tasty/data/golden/a/b/c/index.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/b/index.html b/dhall-docs/tasty/data/golden/a/b/index.html index 620ae5600..f50e5f29a 100644 --- a/dhall-docs/tasty/data/golden/a/b/index.html +++ b/dhall-docs/tasty/data/golden/a/b/index.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/index.html b/dhall-docs/tasty/data/golden/a/index.html index be458c62e..42ecae645 100644 --- a/dhall-docs/tasty/data/golden/a/index.html +++ b/dhall-docs/tasty/data/golden/a/index.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/deep/nested/folder/index.html b/dhall-docs/tasty/data/golden/deep/nested/folder/index.html index 4eabbed12..c9a216364 100644 --- a/dhall-docs/tasty/data/golden/deep/nested/folder/index.html +++ b/dhall-docs/tasty/data/golden/deep/nested/folder/index.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/deep/nested/folder/my-even.dhall.html b/dhall-docs/tasty/data/golden/deep/nested/folder/my-even.dhall.html index 0b2a5cec6..abc4379ca 100644 --- a/dhall-docs/tasty/data/golden/deep/nested/folder/my-even.dhall.html +++ b/dhall-docs/tasty/data/golden/deep/nested/folder/my-even.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/deep/nested/index.html b/dhall-docs/tasty/data/golden/deep/nested/index.html index 2fa3bf7e4..7e17162cf 100644 --- a/dhall-docs/tasty/data/golden/deep/nested/index.html +++ b/dhall-docs/tasty/data/golden/deep/nested/index.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/index.html b/dhall-docs/tasty/data/golden/index.html index 99bd21c25..568f2d618 100644 --- a/dhall-docs/tasty/data/golden/index.html +++ b/dhall-docs/tasty/data/golden/index.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/package.dhall.html b/dhall-docs/tasty/data/golden/package.dhall.html index 610536662..fd33b68f9 100644 --- a/dhall-docs/tasty/data/golden/package.dhall.html +++ b/dhall-docs/tasty/data/golden/package.dhall.html @@ -10,7 +10,7 @@
- +Dhall logo.

test-package

From 99cfaf44a040879d5df2e6dd0c2fea7f162cee1b Mon Sep 17 00:00:00 2001 From: kukimik <53443372+kukimik@users.noreply.github.com> Date: Fri, 12 Apr 2024 15:37:57 +0200 Subject: [PATCH 2/2] dhall-docs: Remove redundant type attribute from script tag --- dhall-docs/src/Dhall/Docs/Html.hs | 3 +-- dhall-docs/tasty/data/golden/AsText.dhall.html | 2 +- dhall-docs/tasty/data/golden/ImportAsType.dhall.html | 2 +- dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html | 2 +- .../tasty/data/golden/InvalidConsecutiveComments.dhall.html | 2 +- dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html | 2 +- dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html | 2 +- dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html | 2 +- dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html | 2 +- .../tasty/data/golden/JumpToLamBindingComplex.dhall.html | 2 +- dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html | 2 +- .../tasty/data/golden/JumpToLamBindingWithIndex.dhall.html | 2 +- .../tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html | 2 +- .../tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html | 2 +- dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html | 2 +- .../tasty/data/golden/JumpToLetBindingWithIndex.dhall.html | 2 +- .../tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html | 2 +- .../tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html | 2 +- .../tasty/data/golden/JumpToLetbindingComplex.dhall.html | 2 +- .../golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html | 2 +- ...ldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html | 2 +- ...umpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html | 2 +- .../golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html | 2 +- .../JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html | 2 +- .../JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html | 2 +- ...ToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html | 2 +- ...pToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html | 2 +- ...mpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html | 2 +- ...pToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html | 2 +- dhall-docs/tasty/data/golden/JumpToSelf.dhall.html | 2 +- dhall-docs/tasty/data/golden/JumpToUrls.dhall.html | 2 +- dhall-docs/tasty/data/golden/MarkdownExample.dhall.html | 2 +- dhall-docs/tasty/data/golden/MarkdownFile.md.html | 2 +- .../tasty/data/golden/MultilineIndentationExample.dhall.html | 2 +- dhall-docs/tasty/data/golden/NoDoc.dhall.html | 2 +- .../tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html | 2 +- dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html | 2 +- dhall-docs/tasty/data/golden/Pair.dhall.html | 2 +- dhall-docs/tasty/data/golden/Plain.txt.html | 2 +- .../tasty/data/golden/RenderTypeIndexesExample.dhall.html | 2 +- dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html | 2 +- dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html | 2 +- dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html | 2 +- dhall-docs/tasty/data/golden/a/b.dhall.html | 2 +- dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html | 2 +- dhall-docs/tasty/data/golden/a/b/c.dhall.html | 2 +- dhall-docs/tasty/data/golden/a/b/c/a.dhall.html | 2 +- dhall-docs/tasty/data/golden/a/b/c/index.html | 2 +- dhall-docs/tasty/data/golden/a/b/index.html | 2 +- dhall-docs/tasty/data/golden/a/index.html | 2 +- dhall-docs/tasty/data/golden/deep/nested/folder/index.html | 2 +- .../tasty/data/golden/deep/nested/folder/my-even.dhall.html | 2 +- dhall-docs/tasty/data/golden/deep/nested/index.html | 2 +- dhall-docs/tasty/data/golden/index.html | 2 +- dhall-docs/tasty/data/golden/package.dhall.html | 2 +- 55 files changed, 55 insertions(+), 56 deletions(-) diff --git a/dhall-docs/src/Dhall/Docs/Html.hs b/dhall-docs/src/Dhall/Docs/Html.hs index 321caa672..12b1cbfc2 100644 --- a/dhall-docs/src/Dhall/Docs/Html.hs +++ b/dhall-docs/src/Dhall/Docs/Html.hs @@ -278,8 +278,7 @@ stylesheet path = script :: FilePath -> Html () script relativeResourcesPath = script_ - [ type_ "text/javascript" - , src_ $ Data.Text.pack $ relativeResourcesPath <> "index.js"] + [ src_ $ Data.Text.pack $ relativeResourcesPath <> "index.js"] ("" :: Text) toUnixPath :: String -> Text diff --git a/dhall-docs/tasty/data/golden/AsText.dhall.html b/dhall-docs/tasty/data/golden/AsText.dhall.html index 0e4745054..90d6644e6 100644 --- a/dhall-docs/tasty/data/golden/AsText.dhall.html +++ b/dhall-docs/tasty/data/golden/AsText.dhall.html @@ -4,7 +4,7 @@ /AsText.dhall - diff --git a/dhall-docs/tasty/data/golden/ImportAsType.dhall.html b/dhall-docs/tasty/data/golden/ImportAsType.dhall.html index 24ed1e007..df0578084 100644 --- a/dhall-docs/tasty/data/golden/ImportAsType.dhall.html +++ b/dhall-docs/tasty/data/golden/ImportAsType.dhall.html @@ -4,7 +4,7 @@ /ImportAsType.dhall - diff --git a/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html b/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html index 0b95e085f..19c79ebbf 100644 --- a/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html +++ b/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html @@ -4,7 +4,7 @@ /InvalidBlockComment.dhall - diff --git a/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html b/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html index d89918d4c..73569b0bd 100644 --- a/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html +++ b/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html @@ -4,7 +4,7 @@ /InvalidConsecutiveComments.dhall - diff --git a/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html b/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html index 0b21d9038..4bde43f73 100644 --- a/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html +++ b/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html @@ -4,7 +4,7 @@ /InvalidMarkdown.dhall - diff --git a/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html b/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html index 6fa037c7d..6b668c696 100644 --- a/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html +++ b/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html @@ -4,7 +4,7 @@ /InvalidMarkdownFile.md - diff --git a/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html b/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html index 352785075..39a5b5709 100644 --- a/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html @@ -4,7 +4,7 @@ /JumpToDefOnUnused.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html b/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html index ae3d8a98a..6bf138ec6 100644 --- a/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html @@ -4,7 +4,7 @@ /JumpToHereImports.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html index b75794fcb..cb56808d7 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html @@ -4,7 +4,7 @@ /JumpToLamBindingComplex.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html index 9ced3689d..a9c6c44b1 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html @@ -4,7 +4,7 @@ /JumpToLamBindingSimple.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html index 9f6545bcb..66b84507e 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html @@ -4,7 +4,7 @@ /JumpToLamBindingWithIndex.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html index 11c280af5..163110334 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html @@ -4,7 +4,7 @@ /JumpToLamBindingWithQuotes.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html index a52cbecaa..0c53c4f64 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html @@ -4,7 +4,7 @@ /JumpToLamBindingWithShadowing.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html index 973b98f33..6c98009c1 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html @@ -4,7 +4,7 @@ /JumpToLetBindingSimple.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html index 2c5b701c8..71726bfb5 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html @@ -4,7 +4,7 @@ /JumpToLetBindingWithIndex.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html index 267150f6c..154ab18e9 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html @@ -4,7 +4,7 @@ /JumpToLetBindingWithQuotes.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html index b6d9daea2..aceade42d 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html @@ -4,7 +4,7 @@ /JumpToLetBindingWithShadowing.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html index b5ce441c7..1c340e8ac 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html @@ -4,7 +4,7 @@ /JumpToLetbindingComplex.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html index 3aaf211ea..23db10a90 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html @@ -4,7 +4,7 @@ /JumpToRecordFieldWhenFieldDoesNotExist.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html index f0eed883e..0ee3d133c 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html @@ -4,7 +4,7 @@ /JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html index 007ec4eb3..b00889781 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html @@ -4,7 +4,7 @@ /JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html index 330b99b89..22a49a9ad 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html @@ -4,7 +4,7 @@ /JumpToRecordFieldWhenVarIsOfRecordType.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html index 87b0fb6d4..96aa99fa8 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html @@ -4,7 +4,7 @@ /JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html index 0617aa5fc..f69ff447f 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html @@ -4,7 +4,7 @@ /JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html index 9465f4022..75646e11e 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html @@ -4,7 +4,7 @@ /JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html index 5f9ef9f7d..61e9145ae 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html @@ -4,7 +4,7 @@ /JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html index 69d6bc6e8..18a36c1ea 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html @@ -4,7 +4,7 @@ /JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html index 021aa32ef..046d22bfe 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html @@ -4,7 +4,7 @@ /JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToSelf.dhall.html b/dhall-docs/tasty/data/golden/JumpToSelf.dhall.html index 265151a83..b607d26a2 100644 --- a/dhall-docs/tasty/data/golden/JumpToSelf.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToSelf.dhall.html @@ -4,7 +4,7 @@ /JumpToSelf.dhall - diff --git a/dhall-docs/tasty/data/golden/JumpToUrls.dhall.html b/dhall-docs/tasty/data/golden/JumpToUrls.dhall.html index 3e2f40bb9..4f62f1e31 100644 --- a/dhall-docs/tasty/data/golden/JumpToUrls.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToUrls.dhall.html @@ -4,7 +4,7 @@ /JumpToUrls.dhall - diff --git a/dhall-docs/tasty/data/golden/MarkdownExample.dhall.html b/dhall-docs/tasty/data/golden/MarkdownExample.dhall.html index cece467ee..774d0a250 100644 --- a/dhall-docs/tasty/data/golden/MarkdownExample.dhall.html +++ b/dhall-docs/tasty/data/golden/MarkdownExample.dhall.html @@ -4,7 +4,7 @@ /MarkdownExample.dhall - diff --git a/dhall-docs/tasty/data/golden/MarkdownFile.md.html b/dhall-docs/tasty/data/golden/MarkdownFile.md.html index 9ff558184..c88b52ddb 100644 --- a/dhall-docs/tasty/data/golden/MarkdownFile.md.html +++ b/dhall-docs/tasty/data/golden/MarkdownFile.md.html @@ -4,7 +4,7 @@ /MarkdownFile.md - diff --git a/dhall-docs/tasty/data/golden/MultilineIndentationExample.dhall.html b/dhall-docs/tasty/data/golden/MultilineIndentationExample.dhall.html index 1fceb5f0b..6efe8f51a 100644 --- a/dhall-docs/tasty/data/golden/MultilineIndentationExample.dhall.html +++ b/dhall-docs/tasty/data/golden/MultilineIndentationExample.dhall.html @@ -4,7 +4,7 @@ /MultilineIndentationExample.dhall - diff --git a/dhall-docs/tasty/data/golden/NoDoc.dhall.html b/dhall-docs/tasty/data/golden/NoDoc.dhall.html index 4b1eea5ef..bb6086ef4 100644 --- a/dhall-docs/tasty/data/golden/NoDoc.dhall.html +++ b/dhall-docs/tasty/data/golden/NoDoc.dhall.html @@ -4,7 +4,7 @@ /NoDoc.dhall - diff --git a/dhall-docs/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html b/dhall-docs/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html index 8fb5c05e0..6708a679e 100644 --- a/dhall-docs/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html +++ b/dhall-docs/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html @@ -4,7 +4,7 @@ /NonDhallDocsCommentAfterValid.dhall - diff --git a/dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html b/dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html index 410d862a3..e4c34e5c9 100644 --- a/dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html +++ b/dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html @@ -4,7 +4,7 @@ /OrdinaryAnnotation.dhall - diff --git a/dhall-docs/tasty/data/golden/Pair.dhall.html b/dhall-docs/tasty/data/golden/Pair.dhall.html index 2766dce47..0a1d322ff 100644 --- a/dhall-docs/tasty/data/golden/Pair.dhall.html +++ b/dhall-docs/tasty/data/golden/Pair.dhall.html @@ -4,7 +4,7 @@ /Pair.dhall - diff --git a/dhall-docs/tasty/data/golden/Plain.txt.html b/dhall-docs/tasty/data/golden/Plain.txt.html index dd697dcd4..68554c710 100644 --- a/dhall-docs/tasty/data/golden/Plain.txt.html +++ b/dhall-docs/tasty/data/golden/Plain.txt.html @@ -4,7 +4,7 @@ /Plain.txt - diff --git a/dhall-docs/tasty/data/golden/RenderTypeIndexesExample.dhall.html b/dhall-docs/tasty/data/golden/RenderTypeIndexesExample.dhall.html index 358e56bc4..6ea5669ad 100644 --- a/dhall-docs/tasty/data/golden/RenderTypeIndexesExample.dhall.html +++ b/dhall-docs/tasty/data/golden/RenderTypeIndexesExample.dhall.html @@ -4,7 +4,7 @@ /RenderTypeIndexesExample.dhall - diff --git a/dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html b/dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html index 340afe84a..8d05fcc8f 100644 --- a/dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html +++ b/dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html @@ -4,7 +4,7 @@ /StandaloneTextFile.txt - diff --git a/dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html b/dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html index 0af00d367..ae494e548 100644 --- a/dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html +++ b/dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html @@ -4,7 +4,7 @@ /TwoAnnotations.dhall - diff --git a/dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html b/dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html index d0fd3ffeb..bc72cd901 100644 --- a/dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html +++ b/dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html @@ -4,7 +4,7 @@ /a/JumpToParent.dhall - diff --git a/dhall-docs/tasty/data/golden/a/b.dhall.html b/dhall-docs/tasty/data/golden/a/b.dhall.html index 327e5b75f..50c885fc6 100644 --- a/dhall-docs/tasty/data/golden/a/b.dhall.html +++ b/dhall-docs/tasty/data/golden/a/b.dhall.html @@ -4,7 +4,7 @@ /a/b.dhall - diff --git a/dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html b/dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html index bcc816f43..e0bd7a391 100644 --- a/dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html +++ b/dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html @@ -4,7 +4,7 @@ /a/b/JumpToGrandfather.dhall - diff --git a/dhall-docs/tasty/data/golden/a/b/c.dhall.html b/dhall-docs/tasty/data/golden/a/b/c.dhall.html index e351d83e7..42e57625f 100644 --- a/dhall-docs/tasty/data/golden/a/b/c.dhall.html +++ b/dhall-docs/tasty/data/golden/a/b/c.dhall.html @@ -4,7 +4,7 @@ /a/b/c.dhall - diff --git a/dhall-docs/tasty/data/golden/a/b/c/a.dhall.html b/dhall-docs/tasty/data/golden/a/b/c/a.dhall.html index 005216392..468790162 100644 --- a/dhall-docs/tasty/data/golden/a/b/c/a.dhall.html +++ b/dhall-docs/tasty/data/golden/a/b/c/a.dhall.html @@ -4,7 +4,7 @@ /a/b/c/a.dhall - diff --git a/dhall-docs/tasty/data/golden/a/b/c/index.html b/dhall-docs/tasty/data/golden/a/b/c/index.html index a6cd63154..bf132f581 100644 --- a/dhall-docs/tasty/data/golden/a/b/c/index.html +++ b/dhall-docs/tasty/data/golden/a/b/c/index.html @@ -4,7 +4,7 @@ /a/b/c - diff --git a/dhall-docs/tasty/data/golden/a/b/index.html b/dhall-docs/tasty/data/golden/a/b/index.html index f50e5f29a..4df764de9 100644 --- a/dhall-docs/tasty/data/golden/a/b/index.html +++ b/dhall-docs/tasty/data/golden/a/b/index.html @@ -4,7 +4,7 @@ /a/b - diff --git a/dhall-docs/tasty/data/golden/a/index.html b/dhall-docs/tasty/data/golden/a/index.html index 42ecae645..ba5a7666f 100644 --- a/dhall-docs/tasty/data/golden/a/index.html +++ b/dhall-docs/tasty/data/golden/a/index.html @@ -4,7 +4,7 @@ /a - diff --git a/dhall-docs/tasty/data/golden/deep/nested/folder/index.html b/dhall-docs/tasty/data/golden/deep/nested/folder/index.html index c9a216364..bdae47331 100644 --- a/dhall-docs/tasty/data/golden/deep/nested/folder/index.html +++ b/dhall-docs/tasty/data/golden/deep/nested/folder/index.html @@ -4,7 +4,7 @@ /deep/nested/folder - diff --git a/dhall-docs/tasty/data/golden/deep/nested/folder/my-even.dhall.html b/dhall-docs/tasty/data/golden/deep/nested/folder/my-even.dhall.html index abc4379ca..67efd22ed 100644 --- a/dhall-docs/tasty/data/golden/deep/nested/folder/my-even.dhall.html +++ b/dhall-docs/tasty/data/golden/deep/nested/folder/my-even.dhall.html @@ -4,7 +4,7 @@ /deep/nested/folder/my-even.dhall - diff --git a/dhall-docs/tasty/data/golden/deep/nested/index.html b/dhall-docs/tasty/data/golden/deep/nested/index.html index 7e17162cf..bab2d3d3c 100644 --- a/dhall-docs/tasty/data/golden/deep/nested/index.html +++ b/dhall-docs/tasty/data/golden/deep/nested/index.html @@ -4,7 +4,7 @@ /deep/nested - diff --git a/dhall-docs/tasty/data/golden/index.html b/dhall-docs/tasty/data/golden/index.html index 568f2d618..a3d854b4f 100644 --- a/dhall-docs/tasty/data/golden/index.html +++ b/dhall-docs/tasty/data/golden/index.html @@ -4,7 +4,7 @@ / - diff --git a/dhall-docs/tasty/data/golden/package.dhall.html b/dhall-docs/tasty/data/golden/package.dhall.html index fd33b68f9..f157731f9 100644 --- a/dhall-docs/tasty/data/golden/package.dhall.html +++ b/dhall-docs/tasty/data/golden/package.dhall.html @@ -4,7 +4,7 @@ /package.dhall -