/ test-package / JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall

Copy path to clipboard

A complex example of the jump-to-definition feature on record literals.

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