Trhsx.hs missing ExplicitForall in allExtensions list?

[stepcut]

Hello,

Trhsx fails on this file,

http://src.seereason.com/ghc6103/happstack-extra/src/Happstack/Server/Formlets.hs

with the error,

Trhsx.hs: Error at SrcLoc {srcFilename = "Formlets.hs", srcLine = 41,
srcColumn = 1}:
ExplicitForall is not enabled

Adding ExplicitForall to the LANGUAGE pragma itself causes GHC to
throw an error, and doesn't help Trhsx anyway.

Adding ExplicitForall to the allExtensensions list in Trhsx.hs seems
to fix it though...

Also, the Home page link listed for hsx in the .cabal file is broken.

- jeremy

[Niklas Broberg]

Hi Jeremy,

> Trhsx fails on this file,
>
> http://src.seereason.com/ghc6103/happstack-extra/src/Happstack/Server/Formlets.hs
>
> with the error,
>
> Trhsx.hs: Error at SrcLoc {srcFilename = "Formlets.hs", srcLine = 41,
> srcColumn = 1}:
> ExplicitForall is not enabled
>
> Adding ExplicitForall to the LANGUAGE pragma itself causes GHC to
> throw an error, and doesn't help Trhsx anyway.
>
> Adding ExplicitForall to the allExtensensions list in Trhsx.hs seems
> to fix it though...

ExplicitForall should be implied by RankNTypes, no idea why that isn't
picked up. I'll have a look later tonight.

I also notice that the explicit forall is actually on line 33, which I
guess is an instance of the strange line numbering you mentioned in
your other mail.

> Also, the Home page link listed for hsx in the .cabal file is broken.

Yeah, I guess a lot of things about hsx is broken these days. I wish I
had more time, there's so much to do... :-(

Cheers,

/Niklas

[stepcut]

Hello,

Trhsx calls parseModuleWithMode directly. The impliesExts stuff only
happens if you call parseFileContentsWithMode or
parseFileContentsWithComments.

I had some better examples of the line numbering issue. But I decided
to keep them in /tmp and then I rebooted :) Oh well, it will happen
again. In the examples I found so far, it seemed like the issue might
be that the {-# LINE n #-} markers are off, and that causes GHC to
report the wrong location for errors.. I'll find some fresh examples
and store them some place a bit more permanent this time :)

- jeremy

On Nov 21, 11:23 am, Niklas Broberg <niklas.brob...@gmail.com> wrote:
> Hi Jeremy,
>
> > Trhsx fails on this file,
>

> >http://src.seereason.com/ghc6103/happstack-extra/src/Happstack/Server...