programatica package compilation fails
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
Trac metadata
Trac field | Value |
---|---|
Version | 7.2.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |