/ test-package / JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall
Copy path to clipboardOn 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)
Source
{-|
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