support qualified names for invoking a quasiquoter

Consider

module M

import qualified A (qq)
import qualified B (qq)

In 7.0.3, the quasiquotation syntax [A.qq|...|] is rejected with parse error on input A.qq'`.

Because of the stage-restriction, the only option is to create an auxiliary module

module AB where

import qualified A; import qualified B

qqA = A.qq
qqB = B.qq

and import that into M. This is a pretty heavy-weight workaround.

Is there a reason qualified names are disallowed for invoking a quasiquoter?

Trac metadata

Trac field	Value
Version	7.0.3
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler (Parser)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture