search

haskell-suite / haskell-names

Haskell suite library for name resolution
52 stars 17 forks source link

haskell-src-exts one-ast patch, version 2 #77

Closed ddssff closed 8 years ago

ddssff commented 8 years ago

Here are my notes about the changes:

  1. Change all imports of Language.Haskell.Exts.Annotated.* to Language.Haskell.Exts.*
  2. all the Simplified functions are replaced by calls to dropAnn
  3. All the Simplified types are replaced by the corresponding annotated type with the type parameter ().
  4. There is a new EWildcard argument, and EThingWith now subsumes the EThingAll constructor. I turned the EThingAll case into an EThingWith case with suitable arguments for the (..) case. I think there is more to do here to handle all the possible EThingWith values. (see Exports.hs)
  5. New field of TypeFamDecl constructor - ignored like the others
  6. New field of TyBang constructor - ignored like the others
  7. New field of ClsTyFam constructor - ignored like the others
  8. Added new calls to deriveGTraversable for types InjectivityInfo, ResultSig, Unpackedness, and EWildcard