Test #10589 in typecheck/should_compile/T10589
authorRichard Eisenberg <eir@cis.upenn.edu>
Sat, 26 Dec 2015 18:04:44 +0000 (13:04 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Sat, 26 Dec 2015 19:00:50 +0000 (14:00 -0500)
testsuite/tests/typecheck/should_compile/T10589.hs [new file with mode: 0644]

diff --git a/testsuite/tests/typecheck/should_compile/T10589.hs b/testsuite/tests/typecheck/should_compile/T10589.hs
new file mode 100644 (file)
index 0000000..5ba1c4f
--- /dev/null
@@ -0,0 +1,9 @@
+{-# LANGUAGE LambdaCase, TypeFamilies #-}
+
+module T10589 where
+
+type family F a where
+  F a = Bool -> a
+
+foo = (\case True -> 5
+             False -> 6) :: F Int