Patch 2164: add MINIMAL pragma to Eq2 - Darcs bug tracker

Created on 2021-05-02.06:54:43 by ganesh, last changed 2021-05-09.10:24:32 by ganesh.

Files
File name	Status	Uploaded	Type	Edit	Remove
add-minimal-pragma-to-eq2.dpatch		ganesh, 2021-05-02.06:54:42	application/x-darcs-patch
patch-preview.txt		ganesh, 2021-05-02.06:54:42	text/x-darcs-patch
unnamed		ganesh, 2021-05-02.06:54:42	text/plain

See mailing list archives for discussion on individual patches.

Messages
msg22736 (view)	Author: ganesh	Date: 2021-05-02.06:54:42
This means we get useful warnings if we forget to implement any of the methods. 1 patch for repository darcs-unstable@darcs.net:screened: patch d7ed8b121f17d9460fdfbfb7dee523edb7193703 Author: Ganesh Sittampalam <ganesh@earth.li> Date: Fri Apr 30 22:39:26 BST 2021 * add MINIMAL pragma to Eq2 Attachments add-minimal-pragma-to-eq2.dpatch patch-preview.txt unnamed
msg22744 (view)	Author: bfrk	Date: 2021-05-04.19:53:49
Good idea.

History
Date	User	Action	Args
2021-05-02 06:54:43	ganesh	create
2021-05-02 08:11:00	ganesh	set	status: needs-screening -> needs-review
2021-05-04 19:53:49	bfrk	set	status: needs-review -> accepted-pending-tests messages: + msg22744
2021-05-09 10:24:32	ganesh	set	status: accepted-pending-tests -> accepted