search

forsyde / forsyde-deep

Other
1 stars 2 forks source link

GHC 7.8.4 compatibility #30

Closed HWoidt closed 8 years ago

HWoidt commented 8 years ago

Issue by HWoidt Monday Feb 08, 2016 at 10:50 GMT Originally opened as https://gits-15.sys.kth.se/ingo/forsyde-deep/issues/30

It would be nice to have ghc 7.8.4 compatibility if possible since this is still a popular release.

HWoidt commented 8 years ago

Comment by HWoidt Friday Feb 12, 2016 at 16:34 GMT

There have been quite some changes from 7.8 to 7.10, many of them touching sensitive areas of this implementation:

  1. polymorphic Data.Typeable
  2. type solver automatically derives Typeable on the spot
  3. TH: Type and Pred became synonyms => some constructors of Pred were deleted
  4. Traversable and Foldable in Prelude

The third change is particularly ugly to solve as it would need some preprocessor ifdefs (which are by themselves super ugly) in several places that involve quite a bit of logic and pattern matching. I would not like to start doing this until we have fully automated tests for both compiler versions (i.e. travisCI).

HWoidt commented 8 years ago

Comment by ingo-sander Friday Feb 12, 2016 at 19:26 GMT

Not really needed, if 7.10 works.