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