Re: [poll] ghc --make extension