darcs

Patch 1556 remove some impredicativity in the test harness

Title remove some impredicativity in the test harness
Superseder Nosy List ganesh
Related Issues
Status accepted Assigned To
Milestone

Created on 2017-04-14.23:11:55 by ganesh, last changed 2017-04-20.19:01:19 by bf.

Files
File name Status Uploaded Type Edit Remove
patch-preview.txt ganesh, 2017-04-14.23:11:54 text/x-darcs-patch
remove-some-impredicativity-in-the-test-harness.dpatch ganesh, 2017-04-14.23:11:54 application/x-darcs-patch
unnamed ganesh, 2017-04-14.23:11:54 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg19442 (view) Author: ganesh Date: 2017-04-14.23:11:54
This is pretty trivial, I'll self-accept in a few days.

1 patch for repository darcs-unstable@darcs.net:screened:

patch 269ebad5f4a47b4da93c3c216a1d874e0070caff
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Sat Apr 15 00:38:13 BST 2017
  * remove some impredicativity in the test harness
  
  Impredicativity is not reliable/supported from GHC version to version
  and this case has stopped working in GHC 8.0.
Attachments
History
Date User Action Args
2017-04-14 23:11:55ganeshcreate
2017-04-16 14:59:01ganeshsetstatus: needs-screening -> needs-review
2017-04-20 19:01:19bfsetstatus: needs-review -> accepted