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,,