#5001: makeCorePair: arity missing
------------------------------------------------+---------------------------
Reporter: maeder | Owner:
Type: bug | Status: new
Priority: high | Milestone: 7.4.1
Component: Compiler | Version: 7.0.2
Resolution: | Keywords:
Testcase: | Blockedby:
Difficulty: | Os:
Unknown/Multiple
Blocking: | Architecture:
Unknown/Multiple
Failure: Incorrect warning at compile-time |
------------------------------------------------+---------------------------
Comment(by maeder):
http://www.informatik.uni-
bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-
distribution/daily/Hets-0.98.tar.gz is a (large) package that exhibits the
message
{{{
cabal install -f -uniform -f -programatica -f -gtkglade -f -hexpat -f
-haskeline -f -sever -f -tar http://www.informatik.uni-
bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-
distribution/daily/Hets-0.98.tar.gz
...
[456 of 603] Compiling Comorphisms.Prop2QBF ( Comorphisms/Prop2QBF.hs,
dist/build/hets/hets-tmp/Comorphisms/Prop2QBF.o )
[457 of 603] Compiling Comorphisms.CommonLogic_ModuleElimination (
Comorphisms/CommonLogic_ModuleElimination.hs, dist/build/hets/hets-
tmp/Comorphisms/CommonLogic_ModuleElimination.o )
makeCorePair: arity missing $cmap_symbol{v avUa9} [lid]
[458 of 603] Compiling Comorphisms.Prop2CommonLogic (
Comorphisms/Prop2CommonLogic.hs, dist/build/hets/hets-
tmp/Comorphisms/Prop2CommonLogic.o )
makeCorePair: arity missing $cmap_symbol{v avV3A} [lid]
[459 of 603] Compiling Comorphisms.SoftFOL2CommonLogic (
Comorphisms/SoftFOL2CommonLogic.hs, dist/build/hets/hets-
tmp/Comorphisms/SoftFOL2CommonLogic.o )
Comorphisms/SoftFOL2CommonLogic.hs:34:1:
Warning: In the use of `Map.foldWithKey'
(imported from Data.Map):
Deprecated: "Use foldrWithKey instead"
makeCorePair: arity missing $cmap_symbol{v avVGP} [lid]
[460 of 603] Compiling OWL2.DMU2OWL2 ( OWL2/DMU2OWL2.hs,
dist/build/hets/hets-tmp/OWL2/DMU2OWL2.o )
makeCorePair: arity missing $cmap_sentence{v avYc9} [lid]
makeCorePair: arity missing $cmap_symbol{v avYcc} [lid]
[461 of 603] Compiling OWL2.OWL22CommonLogic ( OWL2/OWL22CommonLogic.hs,
dist/build/hets/hets-tmp/OWL2/OWL22CommonLogic.o )
makeCorePair: arity missing $cmap_sentence{v avZIZ} [lid]
[462 of 603] Compiling OWL2.Propositional2OWL2 (
OWL2/Propositional2OWL2.hs, dist/build/hets/hets-
tmp/OWL2/Propositional2OWL2.o )
makeCorePair: arity missing $cmap_morphism{v awcgs} [lid]
makeCorePair: arity missing $cmap_sentence{v awcgv} [lid]
makeCorePair: arity missing $cmap_symbol{v awcgy} [lid]
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5001#comment:12>
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
