Patch 2390 Fix missing import in D.R.PatchIndex

Title Fix missing import in D.R.PatchIndex
Superseder Nosy List ganesh
Related Issues
Status accepted Assigned To

Created on 2024-05-18.00:44:39 by ganesh, last changed 2024-05-24.15:03:49 by bfrk.

File name Status Uploaded Type Edit Remove
fix-missing-import-in-d_r_patchindex.dpatch ganesh, 2024-05-18.00:44:38 application/x-darcs-patch
patch-preview.txt ganesh, 2024-05-18.00:44:38 text/x-darcs-patch
See mailing list archives for discussion on individual patches.
msg23825 (view) Author: ganesh Date: 2024-05-18.00:44:38
1 patch for repository darcs-unstable@darcs.net:/opt/darcs/screened:

patch afbb973b343cb91b0b8ea057c28bf23d03c7de2c
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Mon May 13 11:05:33 BST 2024
  * Fix missing import in D.R.PatchIndex

  GHC 9.10 complains about it, not sure why earlier
  versions don't.
msg23898 (view) Author: bfrk Date: 2024-05-23.06:53:44
To me this looks like a bugfix in the compiler.
Date User Action Args
2024-05-18 00:44:39ganeshcreate
2024-05-18 20:11:36ganeshsetstatus: needs-screening -> needs-review
2024-05-23 06:53:46bfrksetstatus: needs-review -> accepted-pending-tests
messages: + msg23898
2024-05-24 15:03:49bfrksetstatus: accepted-pending-tests -> accepted