id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
28,"Implement checks for what classes, instances and contexts",nibro,nibro,"Currently HSE assumes the most liberal rules possible for the use of type classes in code. Many of these are not Haskell 98, but require one or more of the MultiParamTypeClasses, FlexibleInstances and/or FlexibleContexts flags. This is one of the trickier problems with parametrising on extensions.

This is part of ticket #14.",bug report,closed,blocker,Full code support,parser,,fixed,,