testsuite: add test for #8831

Authored by austin on Mar 21 2014, 4:42 AM.

Description

testsuite: add test for Trac #8831

Signed-off-by: Austin Seipp <austin@well-typed.com>

Details

Committed
austinMar 21 2014, 10:59 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFba0c0123fb2f: Typos
Branches
Unknown
Tags
Unknown