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

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

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.
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.
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