Re: [GHC] #3719: Literate code with #