1 files changed, 26 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/gadt-dim8.hs b/testsuite/tests/gadt/gadt-dim8.hs
new file mode 100644
index 0000000000..9735c73fdf
--- /dev/null
+++ b/testsuite/tests/gadt/gadt-dim8.hs
@@ -0,0 +1,26 @@
+{-# LANGUAGE GADTs #-}
+
+module ShouldSucceed5 where 
+
+
+data T a where 
+  C :: T Bool 
+  D :: T Int 
+
+
+data Y a where 
+  E :: T Bool 
+
+
+-- should succeed, the first branch is simply inaccessible 
+foo :: T Bool -> Bool 
+foo (D) = True 
+foo (C) = False 
+
+-- should succeed, the branch is inaccessible and not een type checked
+baz :: Y Int -> Int 
+baz (E) = "dimitris!"   
+
+
+
+