After individual FunBinds have been parsed, they are combined in getMonoBind.

In the process, all the original FunBind fun_id's bar one are discarded, including its location.

This causes a problem for source-to-source conversions of functions such as the following

(&&& ) [] [] = []
xs &&& [] = xs
( &&& ) [] ys = ys

Where there are compound RdrNames, and each has different spacing.

I am proposing to add a (Maybe (Located id)) to the Match datatype to deal with this.

data Match id body
= Match

Maybe (Located id) -- fun_id in subsequent function equations

        [LPat id]               -- The patterns
        (Maybe (LHsType id))    -- A type signature for the result of the match
                                -- Nothing after typechecking
        (GRHSs id body)

Is this a problem?

Alan