Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / mc21.hs
1 -- Checks that the correct type is used checking the using clause of the group
2
3 {-# OPTIONS_GHC -XMonadComprehensions -XTransformListComp #-}
4 module ShouldFail where
5 import GHC.Exts( the )
6 import GHC.List
7
8 data Unorderable = Gnorf | Pinky | Brain
9
10 foo = [ GHC.List.length x
11 | x <- [Gnorf, Brain]
12 , then group using take 5
13 ]