#5445: programatica package compilation fails
---------------------------------+------------------------------------------
Reporter: maeder | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.2.1 | Keywords:
Testcase: | Blockedby:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: GHC rejects valid program
---------------------------------+------------------------------------------
{{{
cabal install http://www.informatik.uni-
bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-
distribution/programatica-1.0.0.2.tar.gz
}}}
fails for ghc-7.2.1 with:
{{{
[201 of 223] Compiling PropPlogic (
property/parse2/Parser/PropPlogic.hs, dist/build/PropPlogic.o )
property/parse2/Parser/PropPlogic.hs:36:25:
Couldn't match type `PosName.HsName' with `HsName'
When using functional dependencies to combine
HasPropStruct
(PropSyntaxRec.AssertionI i) (PropSyntaxRec.PropPA i),
arising from the dependency `rec -> prop'
in the instance declaration at
property/syntax/PropSyntaxRec.hs:38:10
HasPropStruct
Assertion
(HsPropStruct.PA
HsName
(PropSyntaxRec.HsExpI PosName.HsName)
HsQualType
Assertion
(PropSyntaxRec.PredicateI PosName.HsName)),
arising from a use of `quant'
at property/parse2/Parser/PropPlogic.hs:36:25-29
In the first argument of `(#)', namely `quant q n optt'
In the expression: quant q n optt # prop p
...
}}}
but succeeds for ghc-7.0.4 and ghc-7.2.0.20110728
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5445>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
