GitLab

Try compiling this:

{-# OPTIONS -fglasgow-exts #-}
module Bug where
	f :: () -> (?p :: ()) => () -> ()
	f _ _ = ();

	g :: (?p :: ()) => ()
	g = f () ()

Results:

Bug.hs:7:10:
    Couldn't match expected type `{?p::()}' against inferred type `()'
    In the second argument of `f', namely `()'
    In the expression: f () ()
    In the definition of `g': g = f () ()

Expected: to compile.

Trac metadata

Trac field	Value
Version	6.6
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system	Unknown
Architecture	Unknown