Add a test for Trac #15586
[ghc.git] / testsuite / tests / typecheck / should_compile / T15586.hs
1 {-# LANGUAGE GADTs #-}
2
3 module STree where
4
5 data STree a where
6 STreeIM :: {
7 l :: v a ,
8 stree :: a
9 } -> STree a
10
11 insert :: STree a -> STree a
12 insert s = s { stree = undefined }