Qualified record field assignments require explicit qualified imports of the record fields
When you import two modules with overlap in field names you can import them qualified and use 'Module'.field
in record assignments. However, this does not work with import qualified Module
alone: you need specifically from Module import qualified :: Record {..}
. Is this intentional? I would expect that import qualified Module
is enough.
For example:
definition module a
:: T = { x :: Int }
definition module b
:: T = { x :: Int }
module c
import qualified a
import qualified b
from a import qualified :: T{..} // <-- why are these two lines needed?
from b import qualified :: T{..}
Start = {'b'.T | 'b'.x = 5}.'b'.x