@@ -512,7 +512,12 @@ p_pat = \case
512 SplicePat NoExt splice -> p_hsSplice splice
512 SplicePat NoExt splice -> p_hsSplice splice
513 LitPat NoExt p -> atom p
513 LitPat NoExt p -> atom p
514 NPat NoExt v _ _ -> located v (atom . ol_val)
514 NPat NoExt v _ _ -> located v (atom . ol_val)
515− NPlusKPat {} -> notImplemented "NPlusKPat"
515+ NPlusKPat NoExt n k _ _ _ -> sitcc $ do
520+ located k (atom . ol_val)
516 SigPat hswc pat -> do
521 SigPat hswc pat -> do
517 located pat p_pat
522 located pat p_pat
518 p_typeAscription hswc
523 p_typeAscription hswc