darcs

Patch 1974 remove redundant forall in type signature

Title remove redundant forall in type signature
Superseder Nosy List bf
Related Issues
Status accepted Assigned To
Milestone

Created on 2020-01-30.17:21:14 by bf, last changed 2020-02-15.22:14:25 by ganesh.

Files
File name Status Uploaded Type Edit Remove
patch-preview.txt bf, 2020-01-30.17:21:14 text/x-darcs-patch
remove-redundant-forall-in-type-signature.dpatch bf, 2020-01-30.17:21:14 application/x-darcs-patch
unnamed bf, 2020-01-30.17:21:14 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg21762 (view) Author: bf Date: 2020-01-30.17:21:14
1 patch for repository http://darcs.net/screened:

patch ad2028d7ee93db14c961a09e048305940cdf3dd2
Author: Ben Franksen <ben.franksen@online.de>
Date:   Tue Jan 28 10:00:15 CET 2020
  * remove redundant forall in type signature
Attachments
msg21827 (view) Author: ganesh Date: 2020-02-15.20:34:07
Fine
History
Date User Action Args
2020-01-30 17:21:14bfcreate
2020-01-30 17:22:00bfsetstatus: needs-screening -> needs-review
2020-02-15 20:34:07ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg21827
2020-02-15 22:14:25ganeshsetstatus: accepted-pending-tests -> accepted