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