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

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.

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:55	ganesh	create
2017-04-16 14:59:01	ganesh	set	status: needs-screening -> needs-review
2017-04-20 19:01:19	bfrk	set	status: needs-review -> accepted

Patch 1556 remove some impredicativity in the test harness

Attachments