/ test-package / JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall
Copy path to clipboardOn 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
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