File: rnfail020.stderr

package info (click to toggle)
ghc-cvs 20040725-2
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 68,484 kB
  • ctags: 19,658
  • sloc: haskell: 251,945; ansic: 109,709; asm: 24,961; sh: 12,825; perl: 5,786; makefile: 5,334; xml: 3,884; python: 682; yacc: 650; lisp: 477; cpp: 337; ml: 76; fortran: 24; csh: 18
file content (11 lines) | stat: -rw-r--r-- 395 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
 

rnfail020.hs:12:3:
    All of the type variables in the constraint `Eq a' are already in scope
	(at least one must be universally quantified here)
    In the type signature: unionSets :: (Eq a) => Set a -> Set a -> Set a
    In the definition of `unionSetB':
	unionSetB (s1 :: Set a) s2
		    = unionSets s1 s2
		    where
			unionSets :: (Eq a) => Set a -> Set a -> Set a
			unionSets a b = a