summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
6e04c7e)
Fix unused-import warning --- again!
= map improve_avail avails
where
improve_avail (Avail n) = Avail (improve n)
= 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))
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,
import Id ( Id, idType, idInfo, idUnique, isDataConId, isDataConId_maybe,
idUnfolding, setIdUnfolding, isExportedId, isDeadBinder,
idSpecialisation, setIdSpecialisation,
- idDemandInfo, setIdDemandInfo,
setIdInfo,
idOccInfo, setIdOccInfo,
zapLamIdInfo, zapFragileIdInfo,
setIdInfo,
idOccInfo, setIdOccInfo,
zapLamIdInfo, zapFragileIdInfo,