Ticket #28 (closed bug report: fixed)

Opened 4 years ago

Last modified 4 years ago

Implement checks for what classes, instances and contexts

Reported by: nibro Owned by: nibro
Priority: blocker Milestone: Full code support
Component: parser Version:
Keywords: Cc:

Description

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.

Change History

Changed 4 years ago by nibro

  • priority changed from critical to blocker

Changed 4 years ago by nibro

  • status changed from new to closed
  • resolution set to fixed

This should now work correctly from 0.5.1. Case closed.

Note: See TracTickets for help on using tickets.