Test #10589 in typecheck/should_compile/T10589

b218241d · eir@cis.upenn.edu · da69358b · b218241d
Commit b218241d authored Dec 26, 2015 by eir@cis.upenn.edu
--- a/testsuite/tests/typecheck/should_compile/T10589.hs
+++ b/testsuite/tests/typecheck/should_compile/T10589.hs
+{-# LANGUAGE LambdaCase, TypeFamilies #-}
+
+module T10589 where
+
+type family F a where
+  F a = Bool -> a
+
+foo = (\case True -> 5
+             False -> 6) :: F Int