testsuite/tests/typecheck/should_compile/tc207.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16


-- Tests enhanced polymorphism

module ShouldCompile where

foo xs = let 
	   f :: Eq a => [a] -> [a]
	   f [] = []
	   f xs | null (g [True]) = [] 
		| otherwise       = tail (g xs) 

	   g :: Eq b => [b] -> [b]
	   g [] = []
	   g xs | null (f "hello") = [] 
		| otherwise       = tail (f xs) 
 	in f xs