diff options
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T15586.hs | 12 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T15586.hs b/testsuite/tests/typecheck/should_compile/T15586.hs new file mode 100644 index 0000000000..e8fd4f3bd2 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T15586.hs @@ -0,0 +1,12 @@ +{-# LANGUAGE GADTs #-} + +module STree where + +data STree a where + STreeIM :: { + l :: v a , + stree :: a + } -> STree a + +insert :: STree a -> STree a +insert s = s { stree = undefined } diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 64df3a89d4..c3a90ee24c 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -649,3 +649,4 @@ test('T15412', normal, compile, ['']) test('T15141', normal, compile, ['']) test('T15473', normal, compile_fail, ['']) test('T15499', normal, compile, ['']) +test('T15586', normal, compile, ['']) |