defaultInterpretOptions is not inherited from parent record about dhall-haskell

[PierreR]

@Gabriel439 Thanks for the quick fix ! Works like a charm.

[PierreR]

@Gabriel439 I am now using a list and it doesn't bubble down ...

{ userName       = "John Doe"
, additionalRepos = [ { checkout = "vcsh clone git://github.com/PierreR/dotfiles.git",
                        push = "vcsh dotfiles push [email protected]:PierreR/dotfiles.git" }
                    ]                            ]
}

data MrRepo
  = MrRepo
  { _checkout :: LText
  , _push     :: LText
  } deriving (Generic, Show)

data BoxConfig
  = BoxConfig
  { _userName        :: LText
  , _additionalRepos :: Vector MrRepo
  } deriving (Generic, Show)

Error: Expression doesn't match annotation
/vagrant/config/box : { additionalRepos : List { _checkout : Text, _push : Text }, userName : Text }

[Gabriella439]

Latter issue fixed by e7e799f

[PierreR]

Thanks for the quick fix !

[Gabriella439]

You're welcome!