hi, I am trying to do a simple map but LSP tells me List/map is unbound:
let Replica = https://raw.githubusercontent.com/ReplicaTest/replica-dhall/main/package.dhall
let Prelude = Replica.Prelude
-- Text/concatSep
let quoteArg : Text -> Text = \(t: Text) -> "'" ++ t ++ "'"
let wrapCmd : List Text -> Text = \(args: List Text) -> "program " ++ Prelude.Text.concatSep " " (List/map quoteArg args)
in {
wrapCmd
}
let Prelude = Replicate.Prelude doesn't bring the List magically in scope. In fact there is no such concept in dhall. Your map would be Prelude.List.map or you can define let List/map = Prelude.List.map
hi, I am trying to do a simple map but LSP tells me List/map is unbound:
How can I refer to List/map via the prelude ?
what I dont get is the difference between / and . . Is
let map = Prelude.List/map
wrong ?let Prelude = Replicate.Prelude
doesn't bring theList
magically in scope. In fact there is no such concept in dhall. Your map would bePrelude.List.map
or you can definelet List/map = Prelude.List.map