Change from 7.10.3 to current master
Alan & Kim Zimmerman
alan.zimm at gmail.com
Sun Dec 20 18:55:23 UTC 2015
I am in the process of updating ghc-exactprint for current GHC master.
One of the tests has the following in it
-----------------------------
{-# LANGUAGE TypeOperators #-}
type family (r1 :++: r2); infixr 5 :++:
type instance r :++: Nil = r
type instance r1 :++: r2 :> a = (r1 :++: r2) :> a
------------------------------
Current GHC master rejects this with
/tmp/Foo.hs:5:15: error:
Malformed head of type or class declaration: r1 :++: r2 :> a
Is this expected, or a bug?
Alan
More information about the ghc-devs
mailing list