id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
37	Multiple contexts are mis-handled	nibro	nibro	"HSE complains about multiple class contexts in type signatures.
{{{
multipleCtx :: Eq a => Show a => a
multipleCtx = undefined
}}}
This should be accepted if explicit forall is enabled by any extension. HSE rejects it regardless of flags. 

However, if the second context is parenthesised, i.e. 
{{{
multipleCtxt :: Eq a => (Show a => a)
}}}
then HSE accepts it even without e.g. Rank2Types. 

HSE's behavior should be the same with or without the parenthesis, and should exclude the type in both cases with no flags, and accept it in both cases when Rank2Types is not on."	bug report	closed	major	Full code support	parser	0.5.4	fixed