add test for #7170

Authored by simonmar on Aug 21 2012, 9:41 AM.

Description

add test for Trac #7170

Details

Committed
simonmarAug 21 2012, 9:41 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF5ea88b6366aa: add tests for #7040
Branches
Unknown
Tags
Unknown