Patch 2154: fix the type witnesses for Suspended - Darcs bug tracker

Title	fix the type witnesses for Suspended
Superseder		Nosy List	bfrk
Related Issues
Status	accepted	Assigned To
Milestone

Created on 2021-02-21.11:20:58 by bfrk, last changed 2021-04-03.19:31:28 by ganesh.

Files
File name	Status	Uploaded	Type	Edit	Remove
fix-the-type-witnesses-for-suspended.dpatch		bfrk, 2021-02-21.11:20:58	application/x-darcs-patch
patch-preview.txt		bfrk, 2021-02-21.11:20:58	text/x-darcs-patch
unnamed		bfrk, 2021-02-21.11:20:58	text/plain

See mailing list archives for discussion on individual patches.

Messages
msg22636 (view)	Author: bfrk	Date: 2021-02-21.11:20:58
1 patch for repository http://darcs.net/screened: patch e3234da5a243ee49a9a378077bd2aec568202c66 Author: Ben Franksen <ben.franksen@online.de> Date: Mon Jan 18 19:37:50 CET 2021 * fix the type witnesses for Suspended It turned out that we don't really need Suspended to be a patch type, that is, one with two witnesses: one is enough. This gets us rid of the bad typing for the Suspended patch. Attachments fix-the-type-witnesses-for-suspended.dpatch patch-preview.txt unnamed
msg22685 (view)	Author: ganesh	Date: 2021-03-28.00:13:09
Nice!

History
Date	User	Action	Args
2021-02-21 11:20:58	bfrk	create
2021-02-21 11:22:39	bfrk	set	status: needs-screening -> needs-review
2021-03-28 00:13:09	ganesh	set	status: needs-review -> accepted-pending-tests messages: + msg22685
2021-04-03 19:31:28	ganesh	set	status: accepted-pending-tests -> accepted