Patch 2390: Fix missing import in D.R.PatchIndex - Darcs bug tracker

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

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

Files
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.

Messages
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. Attachments fix-missing-import-in-d_r_patchindex.dpatch patch-preview.txt
msg23898 (view)	Author: bfrk	Date: 2024-05-23.06:53:44
To me this looks like a bugfix in the compiler.

History
Date	User	Action	Args
2024-05-18 00:44:39	ganesh	create
2024-05-18 20:11:36	ganesh	set	status: needs-screening -> needs-review
2024-05-23 06:53:46	bfrk	set	status: needs-review -> accepted-pending-tests messages: + msg23898
2024-05-24 15:03:49	bfrk	set	status: accepted-pending-tests -> accepted