Ticket #28 (closed bug report: fixed)
Implement checks for what classes, instances and contexts
|Reported by:||nibro||Owned by:||nibro|
|Priority:||blocker||Milestone:||Full code support|
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.