Hi devs,
when compiling a snippet of code (which I have written using GHC HEAD)
with GHC 7.10.2 (from the platform) I got errors about missing
extension pragmas. I had to add two:
> {-# LANGUAGE ViewPatterns, KindSignatures, GADTs, PolyKinds,
> StandaloneDeriving, FlexibleContexts, FlexibleInstances, ScopedTypeVariables,
> TypeFamilies, PatternSynonyms, FunctionalDependencies, RankNTypes,
> UndecidableInstances #-}
> {-# LANGUAGE DataKinds, TypeOperators #-} -- 7.10??
Looks like the implications have been extended in 7.11.
I guess PolyKinds now implies DataKinds, but cannot think of what
implies TypeOperators.
Was this change by design or by accident?
Any ideas?
Cheers,
Gabor
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
