darcs

Patch 2154 fix the type witnesses for Suspended

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

Created on 2021-02-21.11:20:58 by bf, 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 bf, 2021-02-21.11:20:58 application/x-darcs-patch
patch-preview.txt bf, 2021-02-21.11:20:58 text/x-darcs-patch
unnamed bf, 2021-02-21.11:20:58 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg22636 (view) Author: bf 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
msg22685 (view) Author: ganesh Date: 2021-03-28.00:13:09
Nice!
History
Date User Action Args
2021-02-21 11:20:58bfcreate
2021-02-21 11:22:39bfsetstatus: needs-screening -> needs-review
2021-03-28 00:13:09ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg22685
2021-04-03 19:31:28ganeshsetstatus: accepted-pending-tests -> accepted