= map improve_avail avails
where
improve_avail (Avail n) = Avail (improve n)
- improve_avail (AvailTC n ns) = AvailTC n (map improve ns) -- n doesn't matter
+ improve_avail (AvailTC n ns) = AvailTC (improve n) (map improve ns)
improve name = setNameProvenance name
(NonLocalDef (UserImport imp_mod iloc (is_explicit name))
import Id ( Id, idType, idInfo, idUnique, isDataConId, isDataConId_maybe,
idUnfolding, setIdUnfolding, isExportedId, isDeadBinder,
idSpecialisation, setIdSpecialisation,
- idDemandInfo, setIdDemandInfo,
+ idDemandInfo,
setIdInfo,
idOccInfo, setIdOccInfo,
zapLamIdInfo, zapFragileIdInfo,