code works in 7.0 but hangs in 7.2/7.4 due to changes in type checker (most likely)
|Reported by:||JeremyShaw||Owned by:||simonpj|
|Operating System:||Linux||Architecture:||x86_64 (amd64)|
|Type of failure:||Incorrect result at runtime||Test Case:||typecheck/should_run/T5751|
|Related Tickets:||Differential Revisions:|
I have a function with the lovely type signature:
homePage :: (Happstack m, MonadRoute m, MonadUser m, HasAppConf m, ToMessage (HSX.XML m), MonadRender m, Ontology.MkURL (URL m), EmbedAsAttr m (Attr String (URL m))) => m Response
The code works fine in 7.0 but hangs (at runtime) under 7.2 and 7.4rc1.
If I change that type signature to the more specific type:
homePage :: AppPart' Response
Then the code starts working again.
This bug reminds me a lot of these previously closed bugs:
I will follow up with an isolated test case in the next couple days. It will likely take some time to tease out the relevant parts of the code into something more manageable.