Skip to content

Change representation of HsGetField and HsProjection

This is a subtask of issue #19463:

  • Add type instance Anno FieldLabelString = SrcSpan to GHC.Hs.Expr
  • Add type instance Anno (HsFieldLabel (GhcPass p)) = SrcSpan to GHC.Hs.Expr
  • Change HsFieldLabel's Located FieldLabelString to XRec pass FieldLabelString
  • Change FieldLabelStrings [Located (HsFieldLabel p)] to FieldLabelStrings [XRec p (HsFieldLabel p)]
  • Rename HsFieldLabel to DotFieldOcc (renaming fields accordingly);
  • Change occurrences of Located (HsFieldLabel p) in HsGetField and HsProjection to XRec p (DotFieldOcc p).
Edited by Shayne Fletcher
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information