diff --git a/CHANGELOG.md b/CHANGELOG.md --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,11 @@ +1.0.8 + +* [Support GHC 9.2](https://github.com/dhall-lang/dhall-haskell/pull/2328) +* [Build against `tasty-silver-3.3`](https://github.com/dhall-lang/dhall-haskell/pull/2307) +* [Build against `megaparsec-9.2`](https://github.com/dhall-lang/dhall-haskell/pull/2311) +* [Build against `lucid-2.11`](https://github.com/dhall-lang/dhall-haskell/pull/2327) +* [Build against `doctest-0.19`](https://github.com/dhall-lang/dhall-haskell/pull/2331) + 1.0.7 * [Add `--base-import-url` flag](https://github.com/dhall-lang/dhall-haskell/pull/2215) diff --git a/dhall-docs.cabal b/dhall-docs.cabal --- a/dhall-docs.cabal +++ b/dhall-docs.cabal @@ -1,5 +1,5 @@ Name: dhall-docs -Version: 1.0.7 +Version: 1.0.8 Cabal-Version: >=1.10 Build-Type: Simple License: BSD3 @@ -62,21 +62,22 @@ Hs-Source-Dirs: src Build-Depends: base >= 4.11.0.0 && < 5 , + base16-bytestring >= 1.0.0.0 , bytestring < 0.12, containers , - cryptonite < 0.30, + cryptohash-sha256 , directory >= 1.3.0.0 && < 1.4 , dhall >= 1.38.0 && < 1.41, file-embed >= 0.0.10.0 , filepath >= 1.4 && < 1.5 , lens-family-core >= 1.0.0 && < 2.2 , - lucid >= 2.9.12 && < 2.10, + lucid >= 2.9.12 && < 2.12, mmark >= 0.0.7.0 && < 0.8 , - megaparsec >= 7 && < 9.2 , - memory < 0.17, + -- megaparsec follows SemVer: https://github.com/mrkkrp/megaparsec/issues/469#issuecomment-927918469 + megaparsec >= 7 && < 10 , path >= 0.7.0 && < 0.10, path-io >= 1.6.0 && < 1.7 , - prettyprinter >= 1.5.1 && < 1.8 , + prettyprinter >= 1.7.0 && < 1.8 , text >= 0.11.1.0 && < 1.3 , transformers >= 0.2.0.0 && < 0.6 , mtl >= 2.2.1 && < 2.3 , @@ -121,7 +122,7 @@ base , directory, filepath < 1.5 , - doctest >= 0.7.0 && < 0.19 + doctest >= 0.7.0 Other-Extensions: OverloadedStrings RecordWildCards Default-Language: Haskell2010 @@ -137,16 +138,14 @@ dhall-docs , foldl < 1.5 , - -- hashable isn't used directly, but lucid's rendering output depends - -- on the Hashable Text instance defined in hashable. - -- See https://github.com/chrisdone/lucid/issues/107. - hashable < 1.3.1 , + -- lucid preserves input attribute order since v2.11.0 + lucid >= 2.11.0 , path , path-io , pretty >= 1.1.1.1 , tasty < 1.5 , - tasty-silver < 3.3 , + tasty-silver < 3.4 , tasty-hunit >= 0.10 && < 0.11, turtle < 1.6 , text diff --git a/src/Dhall/Docs.hs b/src/Dhall/Docs.hs --- a/src/Dhall/Docs.hs +++ b/src/Dhall/Docs.hs @@ -19,8 +19,8 @@ import Control.Applicative (optional, (<|>)) import Data.Text (Text) import Data.Version (showVersion) -import Dhall.Pretty (CharacterSet(..)) import Dhall.Docs.Core +import Dhall.Pretty (CharacterSet (..)) import Options.Applicative (Parser, ParserInfo) import Path (Abs, Dir, Path) diff --git a/src/Dhall/Docs/CodeRenderer.hs b/src/Dhall/Docs/CodeRenderer.hs --- a/src/Dhall/Docs/CodeRenderer.hs +++ b/src/Dhall/Docs/CodeRenderer.hs @@ -54,20 +54,20 @@ import Lucid import Text.Megaparsec.Pos (SourcePos (..)) -import qualified Control.Monad.Trans.Writer.Strict as Writer -import qualified Data.Maybe as Maybe +import qualified Control.Monad.Trans.Writer.Strict as Writer import qualified Data.List -import qualified Data.Set as Set -import qualified Data.Text as Text -import qualified Data.Text.Prettyprint.Doc as Pretty -import qualified Data.Text.Prettyprint.Doc.Render.Text as Pretty.Text -import qualified Dhall.Context as Context -import qualified Dhall.Core as Core -import qualified Dhall.Map as Map +import qualified Data.Maybe as Maybe +import qualified Data.Set as Set +import qualified Data.Text as Text +import qualified Dhall.Context as Context +import qualified Dhall.Core as Core +import qualified Dhall.Map as Map import qualified Dhall.Parser import qualified Dhall.Pretty -import qualified Lens.Family as Lens -import qualified Text.Megaparsec.Pos as SourcePos +import qualified Lens.Family as Lens +import qualified Prettyprinter as Pretty +import qualified Prettyprinter.Render.Text as Pretty.Text +import qualified Text.Megaparsec.Pos as SourcePos -- $setup -- >>> :set -XOverloadedStrings diff --git a/src/Dhall/Docs/Comment.hs b/src/Dhall/Docs/Comment.hs --- a/src/Dhall/Docs/Comment.hs +++ b/src/Dhall/Docs/Comment.hs @@ -24,12 +24,12 @@ import qualified Data.Either import qualified Data.Foldable -import qualified Data.List.NonEmpty as NonEmpty -import qualified Data.Maybe as Maybe +import qualified Data.List.NonEmpty as NonEmpty +import qualified Data.Maybe as Maybe import qualified Data.Text -import qualified Dhall.Parser.Token as Token +import qualified Dhall.Parser.Token as Token import qualified Text.Megaparsec -import qualified Text.Megaparsec.Pos as Megaparsec.Pos +import qualified Text.Megaparsec.Pos as Megaparsec.Pos -- | For explanation of this data-type see 'DhallComment' data CommentType = DhallDocsComment | MarkedComment | RawComment @@ -189,7 +189,7 @@ Just e -> DhallDocsText e where joinedText = Data.Text.strip $ Data.Text.unlines reIndentedLines - (_ : commentLines) = Data.Text.lines blockComment + commentLines = tail $ Data.Text.lines blockComment leadingSpaces = Data.Text.takeWhile isSpace where diff --git a/src/Dhall/Docs/Core.hs b/src/Dhall/Docs/Core.hs --- a/src/Dhall/Docs/Core.hs +++ b/src/Dhall/Docs/Core.hs @@ -60,8 +60,8 @@ import qualified Data.ByteString import qualified Data.List import qualified Data.List.NonEmpty as NonEmpty -import qualified Data.Map.Strict as Map import qualified Data.Map.Merge.Strict as Map.Merge +import qualified Data.Map.Strict as Map import qualified Data.Maybe import qualified Data.Maybe as Maybe import qualified Data.Text diff --git a/src/Dhall/Docs/Markdown.hs b/src/Dhall/Docs/Markdown.hs --- a/src/Dhall/Docs/Markdown.hs +++ b/src/Dhall/Docs/Markdown.hs @@ -8,8 +8,8 @@ import Data.Text (Text) import Lucid import Path (File, Path, Rel) -import Text.Megaparsec (ParseErrorBundle (..)) import Text.MMark (MMarkErr) +import Text.Megaparsec (ParseErrorBundle (..)) import qualified Path import qualified Text.MMark as MMark diff --git a/src/Dhall/Docs/Store.hs b/src/Dhall/Docs/Store.hs --- a/src/Dhall/Docs/Store.hs +++ b/src/Dhall/Docs/Store.hs @@ -5,17 +5,16 @@ module Dhall.Docs.Store (getDocsHomeDirectory, makeHashForDirectory) where -import Crypto.Hash (Digest, SHA256) import Dhall.Crypto (SHA256Digest (..)) import Path (Abs, Dir, Path, Rel, ()) import Path.IO (XdgDirectory (..)) -import qualified Control.Monad as Monad -import qualified Crypto.Hash as Hash -import qualified Data.ByteArray as ByteArray -import qualified Data.ByteString as ByteString -import qualified Data.ByteString.Char8 as ByteString.Char8 -import qualified Data.List as List +import qualified Control.Monad as Monad +import qualified Crypto.Hash.SHA256 +import qualified Data.ByteString as ByteString +import qualified Data.ByteString.Base16 as Base16 +import qualified Data.ByteString.Char8 as ByteString.Char8 +import qualified Data.List as List import qualified Path import qualified Path.IO @@ -41,12 +40,12 @@ makeHashForDirectory dir = do (dirs, files) <- Path.IO.listDirRecurRel dir - let context0 = Hash.hashInit + let context0 = Crypto.Hash.SHA256.init let addDir context directory = do let nameBytes = ByteString.Char8.pack (Path.toFilePath directory) - return $! Hash.hashUpdate context nameBytes + return $! Crypto.Hash.SHA256.update context nameBytes context1 <- Monad.foldM addDir context0 (List.sort dirs) @@ -55,11 +54,8 @@ contentBytes <- ByteString.readFile (Path.toFilePath (dir file)) - return $! Hash.hashUpdates context [ nameBytes, contentBytes ] + return $! Crypto.Hash.SHA256.updates context [ nameBytes, contentBytes ] context2 <- Monad.foldM addFile context1 (List.sort files) - let digest :: Digest SHA256 - digest = Hash.hashFinalize context2 - - return (SHA256Digest (ByteArray.convert digest)) + return (SHA256Digest (Crypto.Hash.SHA256.finalize context2)) diff --git a/tasty/data/golden/ImportAsType.dhall.html b/tasty/data/golden/ImportAsType.dhall.html --- a/tasty/data/golden/ImportAsType.dhall.html +++ b/tasty/data/golden/ImportAsType.dhall.html @@ -2,15 +2,15 @@ /ImportAsType.dhall - - -
- +

test-package

@@ -21,9 +21,9 @@ / test-package / -ImportAsType.dhall +ImportAsType.dhall - + Copy path to clipboard diff --git a/tasty/data/golden/InvalidBlockComment.dhall.html b/tasty/data/golden/InvalidBlockComment.dhall.html --- a/tasty/data/golden/InvalidBlockComment.dhall.html +++ b/tasty/data/golden/InvalidBlockComment.dhall.html @@ -2,15 +2,15 @@ /InvalidBlockComment.dhall - - -
- +

test-package

@@ -21,9 +21,9 @@ / test-package / -InvalidBlockComment.dhall +InvalidBlockComment.dhall - + Copy path to clipboard diff --git a/tasty/data/golden/InvalidConsecutiveComments.dhall.html b/tasty/data/golden/InvalidConsecutiveComments.dhall.html --- a/tasty/data/golden/InvalidConsecutiveComments.dhall.html +++ b/tasty/data/golden/InvalidConsecutiveComments.dhall.html @@ -2,15 +2,15 @@ /InvalidConsecutiveComments.dhall - - -
- +

test-package

@@ -21,9 +21,9 @@ / test-package / -InvalidConsecutiveComments.dhall +InvalidConsecutiveComments.dhall - + Copy path to clipboard diff --git a/tasty/data/golden/InvalidMarkdown.dhall.html b/tasty/data/golden/InvalidMarkdown.dhall.html --- a/tasty/data/golden/InvalidMarkdown.dhall.html +++ b/tasty/data/golden/InvalidMarkdown.dhall.html @@ -2,15 +2,15 @@ /InvalidMarkdown.dhall - - -
- +

test-package

@@ -21,9 +21,9 @@ / test-package / -InvalidMarkdown.dhall +InvalidMarkdown.dhall - + Copy path to clipboard @@ -35,10 +35,10 @@

Source

--| This file contains a markdown error right here `
--  did you notice it?

-
let Pair = ./Pair.dhall
+
let Pair = ./Pair.dhall
 

-
let DeliveryStatus =
    < Sent: Pair Natural Text {-| Message has been _sent_. It carries a ./Pair.dhall reference
                                    containing on the `first` field number of retries
                                    and on the `second` field the delivered text
                                -}
    | InProgress                -- | Message is on the way!
    | InQueue                   -- | Delivery for this message **hasn't** started
    >

-
in DeliveryStatus
+
let DeliveryStatus =
    < Sent: Pair Natural Text {-| Message has been _sent_. It carries a ./Pair.dhall reference
                                    containing on the `first` field number of retries
                                    and on the `second` field the delivered text
                                -}
    | InProgress                -- | Message is on the way!
    | InQueue                   -- | Delivery for this message **hasn't** started
    >

+
in DeliveryStatus
diff --git a/tasty/data/golden/JumpToDefOnUnused.dhall.html b/tasty/data/golden/JumpToDefOnUnused.dhall.html --- a/tasty/data/golden/JumpToDefOnUnused.dhall.html +++ b/tasty/data/golden/JumpToDefOnUnused.dhall.html @@ -2,15 +2,15 @@ /JumpToDefOnUnused.dhall - - -
- +

test-package

@@ -21,9 +21,9 @@ / test-package / -JumpToDefOnUnused.dhall +JumpToDefOnUnused.dhall - + Copy path to clipboard @@ -37,11 +37,11 @@

Source

{-|
`dhall-docs` will detect some names (record fields, let-bindings and lam-bindings)
are unused and therefore won't be highlighted
-}

-
let unused = 1
let used = 3

-
let unusedRecord = { foo = 1 }
let usedRecord = { foo = 1 }

-
let f =
       \(unused : Bool)
    -> \(used : Natural)
    -> \(r : { unused : Text, used : Natural}) -> used + r.used
+
let unused = 1
let used = 3

+
let unusedRecord = { foo = 1 }
let usedRecord = { foo = 1 }

+
let f =
       \(unused : Bool)
    -> \(used : Natural)
    -> \(r : { unused : Text, used : Natural}) -> used + r.used
 

-
in used + usedRecord.foo + f True 1 { unused = "foo", used = 3 }

+
in used + usedRecord.foo + f True 1 { unused = "foo", used = 3 }
diff --git a/tasty/data/golden/JumpToHereImports.dhall.html b/tasty/data/golden/JumpToHereImports.dhall.html --- a/tasty/data/golden/JumpToHereImports.dhall.html +++ b/tasty/data/golden/JumpToHereImports.dhall.html @@ -2,15 +2,15 @@ /JumpToHereImports.dhall - - -
- +

test-package

@@ -21,9 +21,9 @@ / test-package / -JumpToHereImports.dhall +JumpToHereImports.dhall - + Copy path to clipboard @@ -33,12 +33,12 @@

Source

-
let relatives =
    [ ./IndexesExample.dhall
+
let relatives =
    [ ./IndexesExample.dhall
 
    , ./MarkdownExample.dhall
 
    , ./NoDoc.dhall
 
    ]

-
let moreRelatives =
    [ ./OrdinaryAnnotation.dhall ,    ./TwoAnnotations.dhall ]

-
in relatives # moreRelatives
+
let moreRelatives =
    [ ./OrdinaryAnnotation.dhall ,    ./TwoAnnotations.dhall ]

+
in relatives # moreRelatives
diff --git a/tasty/data/golden/JumpToLamBindingComplex.dhall.html b/tasty/data/golden/JumpToLamBindingComplex.dhall.html --- a/tasty/data/golden/JumpToLamBindingComplex.dhall.html +++ b/tasty/data/golden/JumpToLamBindingComplex.dhall.html @@ -2,15 +2,15 @@ /JumpToLamBindingComplex.dhall - - -
- +

test-package

@@ -21,9 +21,9 @@ / test-package / -JumpToLamBindingComplex.dhall +JumpToLamBindingComplex.dhall - + Copy path to clipboard @@ -34,8 +34,8 @@

Source

-
{-|
A complex example of jump-to-definition on let-bindings
-}
let fun =
    λ(a : Text) ->
    λ(b : Text) ->
    λ(c : Text) ->
    λ(d : Text) ->
    [ a ++ b, b ++ c, c ++ d, d ++ a ]

-
in fun
+
{-|
A complex example of jump-to-definition on let-bindings
-}
let fun =
    λ(a : Text) ->
    λ(b : Text) ->
    λ(c : Text) ->
    λ(d : Text) ->
    [ a ++ b, b ++ c, c ++ d, d ++ a ]

+
in fun
diff --git a/tasty/data/golden/JumpToLamBindingSimple.dhall.html b/tasty/data/golden/JumpToLamBindingSimple.dhall.html --- a/tasty/data/golden/JumpToLamBindingSimple.dhall.html +++ b/tasty/data/golden/JumpToLamBindingSimple.dhall.html @@ -2,15 +2,15 @@ /JumpToLamBindingSimple.dhall - - -
- +

test-package

@@ -21,9 +21,9 @@ / test-package / -JumpToLamBindingSimple.dhall +JumpToLamBindingSimple.dhall - + Copy path to clipboard @@ -39,7 +39,7 @@

Source

{-|
This examples shows a demo of jumping to a let-binding definition. If you hover
the `a` paramter, the front-end will highlight all of its usages and if you
click it you will navigate to its definition.

-
The amount of empty lines left are intentional to show you how the browser jumps
to the declaration of a
-}
let fun = \(v : Text) ->

+
The amount of empty lines left are intentional to show you how the browser jumps
to the declaration of a
-}
let fun = \(v : Text) ->

 

 

 

@@ -92,11 +92,11 @@
 

 

 

-
    v
+
    v
 

 

 

-
in fun
+
in fun
diff --git a/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html b/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html --- a/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html +++ b/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html @@ -2,15 +2,15 @@ /JumpToLamBindingWithIndex.dhall - - -
- +

test-package

@@ -21,9 +21,9 @@ / test-package / -JumpToLamBindingWithIndex.dhall +JumpToLamBindingWithIndex.dhall - + Copy path to clipboard @@ -41,9 +41,9 @@

Source

-
{-|
On this example, we introduce the `a` variable in the two parameters of the
`fun` function and the jump-to-definition engine correctly highlights the usage
when indexes are used
-}
let fun =
    λ(a : Text) ->
    λ(a : Text) ->
    [ a@1 ++ a@0 ]

-
let example0 = assert : fun "a" "b" === ["ab"]

-
in fun
+
{-|
On this example, we introduce the `a` variable in the two parameters of the
`fun` function and the jump-to-definition engine correctly highlights the usage
when indexes are used
-}
let fun =
    λ(a : Text) ->
    λ(a : Text) ->
    [ a@1 ++ a@0 ]

+
let example0 = assert : fun "a" "b" === ["ab"]

+
in fun
 

 

 

diff --git a/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html b/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html
--- a/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html
+++ b/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToLamBindingWithQuotes.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToLamBindingWithQuotes.dhall
+JumpToLamBindingWithQuotes.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -40,9 +40,9 @@
 

 
Source

 

-
{-|
This tests shows that the feature works for quoted vars on function parameters
as well
-}
let fun =
    λ(`param 1` : Text) ->
    λ(`param 2` : Text) ->
    [ `param 1` ++ `param 2` ]

-
let example0 = assert : fun "a" "b" === ["ab"]

-
in fun
+
{-|
This tests shows that the feature works for quoted vars on function parameters
as well
-}
let fun =
    λ(`param 1` : Text) ->
    λ(`param 2` : Text) ->
    [ `param 1` ++ `param 2` ]

+
let example0 = assert : fun "a" "b" === ["ab"]

+
in fun
 

 

 

diff --git a/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html b/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html
--- a/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html
+++ b/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToLamBindingWithShadowing.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToLamBindingWithShadowing.dhall
+JumpToLamBindingWithShadowing.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -41,9 +41,9 @@
 

 
Source

 

-
{-|
On this example, the first parameter `a` is shadowed with the second declaration.
The jump-to-definintion on the usage of `a` should not highlight the first declaration,
and interacting with the first declaration should not change the others
-}
let fun =
    λ(a : Text) ->
    λ(a : Text) ->
    [ a ++ a ]

-
let example0 = assert : fun "a" "b" === ["bb"]

-
in fun
+
{-|
On this example, the first parameter `a` is shadowed with the second declaration.
The jump-to-definintion on the usage of `a` should not highlight the first declaration,
and interacting with the first declaration should not change the others
-}
let fun =
    λ(a : Text) ->
    λ(a : Text) ->
    [ a ++ a ]

+
let example0 = assert : fun "a" "b" === ["bb"]

+
in fun
 

 

 

diff --git a/tasty/data/golden/JumpToLetBindingSimple.dhall.html b/tasty/data/golden/JumpToLetBindingSimple.dhall.html
--- a/tasty/data/golden/JumpToLetBindingSimple.dhall.html
+++ b/tasty/data/golden/JumpToLetBindingSimple.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToLetBindingSimple.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToLetBindingSimple.dhall
+JumpToLetBindingSimple.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -39,7 +39,7 @@
 
Source

 

 
{-|
This examples shows a demo of jumping to a let-binding definition. If you hover
the `a` variable, the front-end will highlight all of its usages and if you
click it you will navigate to its definition.

-
The amount of empty lines left are intentional to show you how the browser jumps
to the declaration of a
-}
let a = 1

+
The amount of empty lines left are intentional to show you how the browser jumps
to the declaration of a
-}
let a = 1

 

 

 

@@ -81,7 +81,7 @@
 

 
in

 

-a
+a
 

 

 

diff --git a/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html b/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html
--- a/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html
+++ b/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToLetBindingWithIndex.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToLetBindingWithIndex.dhall
+JumpToLetBindingWithIndex.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -35,9 +35,9 @@
 

 
Source

 

-
{-|
Although we have a similar example on this [file](./RenderTypeIndexesExample.dhall),
this example showcases the jump-to-definition feature when indexes are used.
-}
let a = 1

+
{-|
Although we have a similar example on this [file](./RenderTypeIndexesExample.dhall),
this example showcases the jump-to-definition feature when indexes are used.
-}
let a = 1

 
let a = 2

-
in a@1
+
in a@1
 

 

 

diff --git a/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html b/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html
--- a/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html
+++ b/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToLetBindingWithQuotes.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToLetBindingWithQuotes.dhall
+JumpToLetBindingWithQuotes.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -34,9 +34,9 @@
 

 
Source

 

-
{-|
This test cases shows that the feature works with quoted variables
-}
let `quoted variable` = 1

-
let nonQuoted = 2

-
in `quoted variable` + `nonQuoted`
+
{-|
This test cases shows that the feature works with quoted variables
-}
let `quoted variable` = 1

+
let nonQuoted = 2

+
in `quoted variable` + `nonQuoted`
 

 

 

diff --git a/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html b/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html
--- a/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html
+++ b/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToLetBindingWithShadowing.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToLetBindingWithShadowing.dhall
+JumpToLetBindingWithShadowing.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -38,8 +38,8 @@
 
Source

 

 
{-|
On this example, the first declaration of variable `a` is shadowed with the
later declaration. The jump-to-definintion on the usage of `a`
should not highlight the first declaration, and interacting with the first
declaration should not change the others
-}
let a = 1

-
let a = 2

-
in a
+
let a = 2

+
in a
 

 

 

diff --git a/tasty/data/golden/JumpToLetbindingComplex.dhall.html b/tasty/data/golden/JumpToLetbindingComplex.dhall.html
--- a/tasty/data/golden/JumpToLetbindingComplex.dhall.html
+++ b/tasty/data/golden/JumpToLetbindingComplex.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToLetbindingComplex.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToLetbindingComplex.dhall
+JumpToLetbindingComplex.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -34,11 +34,11 @@
 

 
Source

 

-
{-|
A complex example of jump-to-definition on let-bindings
-}
let f = \(f : Natural) ->
    let a = 1 in f + a
+
{-|
A complex example of jump-to-definition on let-bindings
-}
let f = \(f : Natural) ->
    let a = 1 in f + a
 

-
let a = f 1

-
let b = a + f 3

-
in b
+
let a = f 1

+
let b = a + f 3

+
in b
 

 

 

diff --git a/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html b/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html
--- a/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html
+++ b/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToRecordFieldWhenFieldDoesNotExist.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToRecordFieldWhenFieldDoesNotExist.dhall
+JumpToRecordFieldWhenFieldDoesNotExist.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -37,8 +37,8 @@
 
Source

 

 
{-|
On this example, `dhall-docs` will detect that the variable `a` and `b` is of
record-type. If on a selector-expression the field is not found on the type,
no-link will be created

-
-}
let a = { x = "foo" }
let b = False

-
in a.y + b.`does not exist`

+
-}
let a = { x = "foo" }
let b = False

+
in a.y + b.`does not exist`

 

 

 

diff --git a/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html b/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html
--- a/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html
+++ b/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall
+JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -38,8 +38,8 @@
 

 
Source

 

-
{-|
On this example, `dhall-docs` will detect that the variable `a` is annotated
with a type, but it will ignore it anyways. On let-bindings, `dhall-docs` infers
the type of the variable from the bounded expression. As a consequence, on
this example, hovering the `x` on the selector-expression will highlight the
`x` label on the record-literal
-}
let a : Bool = { x = "foo" }

-
in a.x
+
{-|
On this example, `dhall-docs` will detect that the variable `a` is annotated
with a type, but it will ignore it anyways. On let-bindings, `dhall-docs` infers
the type of the variable from the bounded expression. As a consequence, on
this example, hovering the `x` on the selector-expression will highlight the
`x` label on the record-literal
-}
let a : Bool = { x = "foo" }

+
in a.x
 

 

 

diff --git a/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html b/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html
--- a/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html
+++ b/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall
+JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -39,8 +39,8 @@
 

 
{-|
On this example, even when the variable `a` is annotated with a record-type,
`dhall-docs` will infer the actual type from the bounded value.

 
All interactions with fields on selector-expressions won't affect the rendered-type.

-
(The example is intended to not type-check as a Dhall expression)
-}
let a : { x : Text } = { x = "foo", y = "bar" }

-
in a.x ++ a.y
+
(The example is intended to not type-check as a Dhall expression)
-}
let a : { x : Text } = { x = "foo", y = "bar" }

+
in a.x ++ a.y
 

 

 

diff --git a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html
--- a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html
+++ b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToRecordFieldWhenVarIsOfRecordType.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToRecordFieldWhenVarIsOfRecordType.dhall
+JumpToRecordFieldWhenVarIsOfRecordType.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -37,8 +37,8 @@
 

 
Source

 

-
{-|
On this example, `dhall-docs` will detect that the variable `a` is bounded
to a record-literal. When the user clicks on the `field` in the `a.field`, it
will jump to the definition of that field in the source code i.e. to the `field`
key in the record literal
-}
let a = { field = "foo" }

-
in Text/show a.field
+
{-|
On this example, `dhall-docs` will detect that the variable `a` is bounded
to a record-literal. When the user clicks on the `field` in the `a.field`, it
will jump to the definition of that field in the source code i.e. to the `field`
key in the record literal
-}
let a = { field = "foo" }

+
in Text/show a.field
 

 

 

diff --git a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html
--- a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html
+++ b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall
+JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -34,9 +34,9 @@
 

 
Source

 

-
{-|
A complex example of the jump-to-definition feature on record literals.
-}
let a =
    { foo = "bar", number = +1 }

-
let b =
    { foo = "bar", number = +1 }

-
in a.foo ++ Integer/show a.number ++ b.foo ++ Integer/show b.number
+
{-|
A complex example of the jump-to-definition feature on record literals.
-}
let a =
    { foo = "bar", number = +1 }

+
let b =
    { foo = "bar", number = +1 }

+
in a.foo ++ Integer/show a.number ++ b.foo ++ Integer/show b.number
 

 

 

diff --git a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html
--- a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html
+++ b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall
+JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -38,8 +38,8 @@
 

 
Source

 

-
{-|
On this example, `dhall-docs` will detect that the variable `a` is bounded
to a record literal. It will also detect that the `field` key from the record
literal is another record literal. When the user clicks `deep` from the
`a.field.deep`, it will jump to the definition of that variable in the source
code.
-}
let a = { field = { deep = "bar" } }

-
in Text/show a.field.deep
+
{-|
On this example, `dhall-docs` will detect that the variable `a` is bounded
to a record literal. It will also detect that the `field` key from the record
literal is another record literal. When the user clicks `deep` from the
`a.field.deep`, it will jump to the definition of that variable in the source
code.
-}
let a = { field = { deep = "bar" } }

+
in Text/show a.field.deep
 

 

 

diff --git a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html
--- a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html
+++ b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall
+JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -42,7 +42,7 @@
 

 
{-|
On this example, `dhall-docs` will detect that the argument `a` of the only
function in this file is of record type. Therefore, any interactions on selector
expressions over the `a` variable will interact with the fields on the record-type.

 
Note that the treatment for `Lam` variables is different from `Let` bindings:
the annotation doesn't affect on the later case. This can be seen in the
[test case for let bindings](./JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall)
-}

-
λ(b : Type) →
λ(c : Type) →
λ(a : { list : List b, cons : b → c → c, nil : c }) →
  List/fold b a.list c a.cons a.nil
+
λ(b : Type) →
λ(c : Type) →
λ(a : { list : List b, cons : b → c → c, nil : c }) →
  List/fold b a.list c a.cons a.nil
 

 

 

diff --git a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html
--- a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html
+++ b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall
+JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -36,8 +36,8 @@
 

 
Source

 

-
{-|
On this example, `dhall-docs` will detect that the variable `a` is bounded
to a record literal. It will also be aware that that the attribute `x`. When
the user clicks the `x` from `a.x`, it will jump to the `x` punned-entry
-}
let x = 1
let a = { x }

-
in a.x
+
{-|
On this example, `dhall-docs` will detect that the variable `a` is bounded
to a record literal. It will also be aware that that the attribute `x`. When
the user clicks the `x` from `a.x`, it will jump to the `x` punned-entry
-}
let x = 1
let a = { x }

+
in a.x
 

 

 

diff --git a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html
--- a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html
+++ b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall
+JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -37,9 +37,9 @@
 

 
Source

 

-
{-|
On this example, `dhall-docs` will detect that the variable `b` is bounded
to the value of `a`, and the later is bounded to a record-literal. All selector
expressions over `b` will interact with the record-literal assigned to `a`, since
that is the actual definition of the fields.
-}
let a = { x = 1 }
let b = a
+
{-|
On this example, `dhall-docs` will detect that the variable `b` is bounded
to the value of `a`, and the later is bounded to a record-literal. All selector
expressions over `b` will interact with the record-literal assigned to `a`, since
that is the actual definition of the fields.
-}
let a = { x = 1 }
let b = a
 

-
in a.x + b.x
+
in a.x + b.x
 

 

 

diff --git a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html
--- a/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html
+++ b/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall
+JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -38,12 +38,12 @@
 
Source

 

 
{-|
On this example, `dhall-docs` will detect that the variable `a` is bounded
to a record literal and it will be aware that it uses dot-syntax.

-
When the user clicks `x` from `a.x`, it will jump to the `x` on the record-literal.
The same applies for each other field.
-}
let a = { x.y.z = 1 }

-
let ax = a.x
-
let axy = a.x.y
-
let axyz = a.x.y.z
+
When the user clicks `x` from `a.x`, it will jump to the `x` on the record-literal.
The same applies for each other field.
-}
let a = { x.y.z = 1 }

+
let ax = a.x
+
let axy = a.x.y
+
let axyz = a.x.y.z
 

-
in ax.y.z + axy.z + axyz
+
in ax.y.z + axy.z + axyz
 

 

 

diff --git a/tasty/data/golden/JumpToSelf.dhall.html b/tasty/data/golden/JumpToSelf.dhall.html
--- a/tasty/data/golden/JumpToSelf.dhall.html
+++ b/tasty/data/golden/JumpToSelf.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToSelf.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToSelf.dhall
+JumpToSelf.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -34,8 +34,8 @@
 

 
Source

 

-
{-|
Althtough Dhall forbids cyclic imports, `dhall-docs` can handle them properly
-}
let selfs =
    [ ./JumpToSelf.dhall
-
    , ../package/JumpToSelf.dhall ]
in selfs
+
{-|
Althtough Dhall forbids cyclic imports, `dhall-docs` can handle them properly
-}
let selfs =
    [ ./JumpToSelf.dhall
+
    , ../package/JumpToSelf.dhall ]
in selfs
 

 

 

diff --git a/tasty/data/golden/JumpToUrls.dhall.html b/tasty/data/golden/JumpToUrls.dhall.html
--- a/tasty/data/golden/JumpToUrls.dhall.html
+++ b/tasty/data/golden/JumpToUrls.dhall.html
@@ -2,15 +2,15 @@
 
 
 /JumpToUrls.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-JumpToUrls.dhall
+JumpToUrls.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -37,9 +37,9 @@
 

 
{-|
Example taken from [dhall documentation](https://docs.dhall-lang.org/tutorials/Language-Tour.html#prelude)
-}

 

-
let List/generate = https://prelude.dhall-lang.org/v15.0.0/List/generate
+
let List/generate = https://prelude.dhall-lang.org/v15.0.0/List/generate
 

-
in List/generate 10 Text (\(n : Natural) -> "Result #${Natural/show n}")

+
in List/generate 10 Text (\(n : Natural) -> "Result #${Natural/show n}")

 

 

 

diff --git a/tasty/data/golden/MarkdownExample.dhall.html b/tasty/data/golden/MarkdownExample.dhall.html
--- a/tasty/data/golden/MarkdownExample.dhall.html
+++ b/tasty/data/golden/MarkdownExample.dhall.html
@@ -2,15 +2,15 @@
 
 
 /MarkdownExample.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-MarkdownExample.dhall
+MarkdownExample.dhall
 
-
+
 
 Copy path to clipboard
 
diff --git a/tasty/data/golden/MultilineIndentationExample.dhall.html b/tasty/data/golden/MultilineIndentationExample.dhall.html
--- a/tasty/data/golden/MultilineIndentationExample.dhall.html
+++ b/tasty/data/golden/MultilineIndentationExample.dhall.html
@@ -2,15 +2,15 @@
 
 
 /MultilineIndentationExample.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-MultilineIndentationExample.dhall
+MultilineIndentationExample.dhall
 
-
+
 
 Copy path to clipboard
 
diff --git a/tasty/data/golden/NoDoc.dhall.html b/tasty/data/golden/NoDoc.dhall.html
--- a/tasty/data/golden/NoDoc.dhall.html
+++ b/tasty/data/golden/NoDoc.dhall.html
@@ -2,15 +2,15 @@
 
 
 /NoDoc.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-NoDoc.dhall
+NoDoc.dhall
 
-
+
 
 Copy path to clipboard
 
diff --git a/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html b/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html
--- a/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html
+++ b/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html
@@ -2,15 +2,15 @@
 
 
 /NonDhallDocsCommentAfterValid.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-NonDhallDocsCommentAfterValid.dhall
+NonDhallDocsCommentAfterValid.dhall
 
-
+
 
 Copy path to clipboard
 
diff --git a/tasty/data/golden/OrdinaryAnnotation.dhall.html b/tasty/data/golden/OrdinaryAnnotation.dhall.html
--- a/tasty/data/golden/OrdinaryAnnotation.dhall.html
+++ b/tasty/data/golden/OrdinaryAnnotation.dhall.html
@@ -2,15 +2,15 @@
 
 
 /OrdinaryAnnotation.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-OrdinaryAnnotation.dhall
+OrdinaryAnnotation.dhall
 
-
+
 
 Copy path to clipboard
 
diff --git a/tasty/data/golden/Pair.dhall.html b/tasty/data/golden/Pair.dhall.html
--- a/tasty/data/golden/Pair.dhall.html
+++ b/tasty/data/golden/Pair.dhall.html
@@ -2,15 +2,15 @@
 
 
 /Pair.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-Pair.dhall
+Pair.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -36,9 +36,9 @@
 

 
 
{-|
Just a *Pair* right here
-}

-
let Pair
-
  : forall(A: Type) -- | Type of first position
  -> forall(B: Type) -- | Type of second position
  -> Type
  = λ(A: Type) -> λ(B: Type) -> {first: A, second: B}

-
in Pair
+
let Pair
+
  : forall(A: Type) -- | Type of first position
  -> forall(B: Type) -- | Type of second position
  -> Type
  = λ(A: Type) -> λ(B: Type) -> {first: A, second: B}

+
in Pair
 

 

 

diff --git a/tasty/data/golden/RenderTypeIndexesExample.dhall.html b/tasty/data/golden/RenderTypeIndexesExample.dhall.html
--- a/tasty/data/golden/RenderTypeIndexesExample.dhall.html
+++ b/tasty/data/golden/RenderTypeIndexesExample.dhall.html
@@ -2,15 +2,15 @@
 
 
 /RenderTypeIndexesExample.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-RenderTypeIndexesExample.dhall
+RenderTypeIndexesExample.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -36,8 +36,8 @@
 
Source

 

 
{-|
This example shows that `dhall-docs` will find render the correct type on the
index respecting variable indices
-}

-
let x : Bool = True
let x : Natural = 1

-
in x@1
+
let x : Bool = True
let x : Natural = 1

+
in x@1
 

 

 

diff --git a/tasty/data/golden/TwoAnnotations.dhall.html b/tasty/data/golden/TwoAnnotations.dhall.html
--- a/tasty/data/golden/TwoAnnotations.dhall.html
+++ b/tasty/data/golden/TwoAnnotations.dhall.html
@@ -2,15 +2,15 @@
 
 
 /TwoAnnotations.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-TwoAnnotations.dhall
+TwoAnnotations.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -36,9 +36,9 @@
 

 
Source

 

-
{-|
This expression contains type annotations on both the `let` binding and on the
body of the `let` expression.  The documentation generator prefers to use the
latter annotation.
-}
let x = 1

-
let y = Natural

-
in  x : y
+
{-|
This expression contains type annotations on both the `let` binding and on the
body of the `let` expression.  The documentation generator prefers to use the
latter annotation.
-}
let x = 1

+
let y = Natural

+
in  x : y
 

 

 

diff --git a/tasty/data/golden/a/JumpToParent.dhall.html b/tasty/data/golden/a/JumpToParent.dhall.html
--- a/tasty/data/golden/a/JumpToParent.dhall.html
+++ b/tasty/data/golden/a/JumpToParent.dhall.html
@@ -2,15 +2,15 @@
 
 
 /a/JumpToParent.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,11 +21,11 @@
 /
 test-package
 /
-a
+a
 /
-JumpToParent.dhall
+JumpToParent.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -35,9 +35,9 @@
 

 
Source

 

-
let parents =
    [ ../IndexesExample.dhall
+
let parents =
    [ ../IndexesExample.dhall
 
    ]

-
in parents
+
in parents
 

 

 

diff --git a/tasty/data/golden/a/b.dhall.html b/tasty/data/golden/a/b.dhall.html
--- a/tasty/data/golden/a/b.dhall.html
+++ b/tasty/data/golden/a/b.dhall.html
@@ -2,15 +2,15 @@
 
 
 /a/b.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,11 +21,11 @@
 /
 test-package
 /
-a
+a
 /
-b.dhall
+b.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -36,7 +36,7 @@
 
Source

 

 
{-
Hi there boys
-}

-
let b = 1 in b
+
let b = 1 in b
 

 

 

diff --git a/tasty/data/golden/a/b/JumpToGrandfather.dhall.html b/tasty/data/golden/a/b/JumpToGrandfather.dhall.html
--- a/tasty/data/golden/a/b/JumpToGrandfather.dhall.html
+++ b/tasty/data/golden/a/b/JumpToGrandfather.dhall.html
@@ -2,15 +2,15 @@
 
 
 /a/b/JumpToGrandfather.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,13 +21,13 @@
 /
 test-package
 /
-a
+a
 /
-b
+b
 /
-JumpToGrandfather.dhall
+JumpToGrandfather.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -37,9 +37,9 @@
 

 
Source

 

-
let parents =
    [ ../../IndexesExample.dhall
+
let parents =
    [ ../../IndexesExample.dhall
 
    ]

-
in parents
+
in parents
 

 

 

diff --git a/tasty/data/golden/a/b/c.dhall.html b/tasty/data/golden/a/b/c.dhall.html
--- a/tasty/data/golden/a/b/c.dhall.html
+++ b/tasty/data/golden/a/b/c.dhall.html
@@ -2,15 +2,15 @@
 
 
 /a/b/c.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,13 +21,13 @@
 /
 test-package
 /
-a
+a
 /
-b
+b
 /
-c.dhall
+c.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -38,7 +38,7 @@
 
Source

 

 
{-
Hi there boys
-}

-
let c = 1 in c
+
let c = 1 in c
 

 

 

diff --git a/tasty/data/golden/a/b/c/a.dhall.html b/tasty/data/golden/a/b/c/a.dhall.html
--- a/tasty/data/golden/a/b/c/a.dhall.html
+++ b/tasty/data/golden/a/b/c/a.dhall.html
@@ -2,15 +2,15 @@
 
 
 /a/b/c/a.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,15 +21,15 @@
 /
 test-package
 /
-a
+a
 /
-b
+b
 /
-c
+c
 /
-a.dhall
+a.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -40,7 +40,7 @@
 
Source

 

 
{-
Hi there boys
-}

-
let a = 1 in a
+
let a = 1 in a
 

 

 

diff --git a/tasty/data/golden/a/b/c/index.html b/tasty/data/golden/a/b/c/index.html
--- a/tasty/data/golden/a/b/c/index.html
+++ b/tasty/data/golden/a/b/c/index.html
@@ -2,15 +2,15 @@
 
 
 /a/b/c
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,13 +21,13 @@
 /
 test-package
 /
-a
+a
 /
-b
+b
 /
-c
+c
 
-
+
 
 Copy path to clipboard
 
diff --git a/tasty/data/golden/a/b/index.html b/tasty/data/golden/a/b/index.html
--- a/tasty/data/golden/a/b/index.html
+++ b/tasty/data/golden/a/b/index.html
@@ -2,15 +2,15 @@
 
 
 /a/b
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,11 +21,11 @@
 /
 test-package
 /
-a
+a
 /
-b
+b
 
-
+
 
 Copy path to clipboard
 
diff --git a/tasty/data/golden/a/index.html b/tasty/data/golden/a/index.html
--- a/tasty/data/golden/a/index.html
+++ b/tasty/data/golden/a/index.html
@@ -2,15 +2,15 @@
 
 
 /a
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-a
+a
 
-
+
 
 Copy path to clipboard
 
diff --git a/tasty/data/golden/deep/nested/folder/index.html b/tasty/data/golden/deep/nested/folder/index.html
--- a/tasty/data/golden/deep/nested/folder/index.html
+++ b/tasty/data/golden/deep/nested/folder/index.html
@@ -2,15 +2,15 @@
 
 
 /deep/nested/folder
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,13 +21,13 @@
 /
 test-package
 /
-deep
+deep
 /
-nested
+nested
 /
-folder
+folder
 
-
+
 
 Copy path to clipboard
 
diff --git a/tasty/data/golden/deep/nested/folder/my-even.dhall.html b/tasty/data/golden/deep/nested/folder/my-even.dhall.html
--- a/tasty/data/golden/deep/nested/folder/my-even.dhall.html
+++ b/tasty/data/golden/deep/nested/folder/my-even.dhall.html
@@ -2,15 +2,15 @@
 
 
 /deep/nested/folder/my-even.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,15 +21,15 @@
 /
 test-package
 /
-deep
+deep
 /
-nested
+nested
 /
-folder
+folder
 /
-my-even.dhall
+my-even.dhall
 
-
+
 
 Copy path to clipboard
 
@@ -46,10 +46,10 @@
 

 
Source

 

-
{-
Check if a natural is even or not returning an union data-type
-}
let my-even
-
    : Natural → < even | odd >
    = λ(n : Natural) →
        if Natural/even n then < even | odd>.even else < even | odd >.odd

-
let example0 = assert : my-even 1 === <even | odd>.odd
let example0 = assert : my-even 2 === <even | odd>.even

-
in my-even
+
{-
Check if a natural is even or not returning an union data-type
-}
let my-even
+
    : Natural → < even | odd >
    = λ(n : Natural) →
        if Natural/even n then < even | odd>.even else < even | odd >.odd

+
let example0 = assert : my-even 1 === <even | odd>.odd
let example0 = assert : my-even 2 === <even | odd>.even

+
in my-even
 

 

 

diff --git a/tasty/data/golden/deep/nested/index.html b/tasty/data/golden/deep/nested/index.html
--- a/tasty/data/golden/deep/nested/index.html
+++ b/tasty/data/golden/deep/nested/index.html
@@ -2,15 +2,15 @@
 
 
 /deep/nested
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,11 +21,11 @@
 /
 test-package
 /
-deep
+deep
 /
-nested
+nested
 
-
+
 
 Copy path to clipboard
 
diff --git a/tasty/data/golden/index.html b/tasty/data/golden/index.html
--- a/tasty/data/golden/index.html
+++ b/tasty/data/golden/index.html
@@ -2,15 +2,15 @@
 
 
 /
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,10 +21,10 @@
 /
 test-package
 /
-
+
 
 
-
+
 
 Copy path to clipboard
 
diff --git a/tasty/data/golden/package.dhall.html b/tasty/data/golden/package.dhall.html
--- a/tasty/data/golden/package.dhall.html
+++ b/tasty/data/golden/package.dhall.html
@@ -2,15 +2,15 @@
 
 
 /package.dhall
-
-
-
 
 
 
 

-
+
 
test-package

 

 

@@ -21,9 +21,9 @@
 /
 test-package
 /
-package.dhall
+package.dhall
 
-
+
 
 Copy path to clipboard