Getting error for DA.MAP module

Questions
1

HI There, I’m using
import qualified DA.Map as Map
import DA.Map (Map)
But while compiling am getting this below error

error: Module ‘DA.Map’ does not export ‘Map’

And daml version using is : 1.10.0 and 1.13.0

Please help me on the same, Thank you

1 Like
2

In 1.10, the default Daml-LF version does not support DA.Map. Instead, only for your 1.10 build, you must manually set the Daml-LF version to 1.11, as demonstrated here for 1.8. (The Daml-LF version is separate from your SDK version, which is the “daml version” you refer to.)

You do not need to do anything for SDK 1.11 or later, because the default Daml-LF version supports DA.Map.

1 Like
3

Thank you it works in V 1.11.0 for me

2 Likes