Cannot define custom fixity for infix data constructors in GHCi

When compiling from a module, declaring a custom fixity for an infix data constructor is valid:

module DataFixity where

data Infix a b = a :@: b
infixl 4 :@:

And GHCi recognizes this:

$ ghci DataFixity.hs
GHCi, version 7.8.4: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
[1 of 1] Compiling DataFixity       ( DataFixity.hs, interpreted )
Ok, modules loaded: DataFixity.
λ> :i :@:
data Infix a b = a :@: b        -- Defined at DataFixity.hs:3:18
infixl 4 :@:

However, one cannot do this entirely in GHCi:

$ ghci
GHCi, version 7.8.4: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
λ> data Infix a b = a :@: b; infixl 4 :@:
λ> :i (:@:)
data Infix a b = a :@: b        -- Defined at <interactive>:2:18

GHCi simply assumes :@: has the default infix precedence.

Trac metadata

Trac field	Value
Version	7.8.4
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	GHCi
Test case
Differential revisions
BlockedBy
Related
Blocking
CC	hvr
Operating system
Architecture