#7150: unjustified overlapping instances error
-------------------------+--------------------------------------------------
Reporter: maeder | Owner:
Type: bug | Status: new
Priority: highest | Milestone: 7.6.1
Component: Compiler | Version: 7.6.1-rc1
Keywords: | Os: Solaris
Architecture: x86 | Failure: GHC rejects valid program
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
-------------------------+--------------------------------------------------
Comment(by maeder):
Brilliant, was it fixed by other patches? My compilation sequence is:
{{{
-bash-3.00$ gmake
ghc-pkg: cannot find package HaXml
ghc-pkg: cannot find package HaXml
ghc-pkg: cannot find package tar
ghc-pkg: cannot find package glade
ghc-pkg: cannot find package haskeline
ghc-pkg: cannot find package hexpat
ghc-pkg: cannot find package HTTP
ghc-pkg: cannot find package uni-uDrawGraph
ghc-pkg: cannot find package programatica
ghc-pkg: cannot find package warp
ghc-pkg: cannot find package wai-extra
ghc-pkg: cannot find package parsec1
ghc -optl-s -XTemplateHaskell -threaded -rtsopts --make -o hets hets.hs
-fcontext-stack=26 -DNOHTTP -DUNIX -Wall -fwarn-tabs -fwarn-
unrecognised-pragmas -fno-warn-orphans -fno-warn-unused-do-bind
[ 1 of 502] Compiling Common.LogicT ( Common/LogicT.hs,
Common/LogicT.o )
[ 2 of 502] Compiling Common.SFKT ( Common/SFKT.hs, Common/SFKT.o )
[ 3 of 502] Compiling Common.Unlit ( Common/Unlit.hs, Common/Unlit.o
)
[ 4 of 502] Compiling CASL.CompositionTable.Keywords (
CASL/CompositionTable/Keywords.hs, CASL/CompositionTable/Keywords.o )
[ 5 of 502] Compiling CASL.CompositionTable.CompositionTable (
CASL/CompositionTable/CompositionTable.hs,
CASL/CompositionTable/CompositionTable.o )
[ 6 of 502] Compiling CASL.CompositionTable.ToXml (
CASL/CompositionTable/ToXml.hs, CASL/CompositionTable/ToXml.o )
[ 7 of 502] Compiling Maude.Util ( Maude/Util.hs, Maude/Util.o )
[ 8 of 502] Compiling Framework.WriteLogicUtils (
Framework/WriteLogicUtils.hs, Framework/WriteLogicUtils.o )
[ 9 of 502] Compiling THF.As ( THF/As.hs, THF/As.o )
[ 10 of 502] Compiling Common.Lattice ( Common/Lattice.hs,
Common/Lattice.o )
[ 11 of 502] Compiling Common.Partial ( Common/Partial.hs,
Common/Partial.o )
[ 12 of 502] Compiling HolLight.Term ( HolLight/Term.hs,
HolLight/Term.o )
[ 13 of 502] Compiling HolLight.Sublogic ( HolLight/Sublogic.hs,
HolLight/Sublogic.o )
[ 14 of 502] Compiling CSL.Keywords ( CSL/Keywords.hs, CSL/Keywords.o
)
[ 15 of 502] Compiling CSL.TreePO ( CSL/TreePO.hs, CSL/TreePO.o )
[ 16 of 502] Compiling FreeCAD.As ( FreeCAD/As.hs, FreeCAD/As.o )
[ 17 of 502] Compiling FreeCAD.VecTools ( FreeCAD/VecTools.hs,
FreeCAD/VecTools.o )
[ 18 of 502] Compiling FreeCAD.Brep ( FreeCAD/Brep.hs, FreeCAD/Brep.o
)
[ 19 of 502] Compiling FreeCAD.XMLPrinter ( FreeCAD/XMLPrinter.hs,
FreeCAD/XMLPrinter.o )
[ 20 of 502] Compiling Isabelle.IsaStrings ( Isabelle/IsaStrings.hs,
Isabelle/IsaStrings.o )
[ 21 of 502] Compiling Isabelle.IsaSign ( Isabelle/IsaSign.hs,
Isabelle/IsaSign.o )
[ 22 of 502] Compiling Isabelle.IsaConsts ( Isabelle/IsaConsts.hs,
Isabelle/IsaConsts.o )
[ 23 of 502] Compiling Isabelle.ATC_Isabelle ( Isabelle/ATC_Isabelle.hs,
Isabelle/ATC_Isabelle.o )
[ 24 of 502] Compiling Common.SZSOntology ( Common/SZSOntology.hs,
Common/SZSOntology.o )
[ 25 of 502] Compiling Common.Timing ( Common/Timing.hs,
Common/Timing.o )
[ 26 of 502] Compiling GUI.ConsoleUtils ( GUI/ConsoleUtils.hs,
GUI/ConsoleUtils.o )
[ 27 of 502] Compiling GUI.Utils ( GUI/Utils.hs, GUI/Utils.o )
[ 28 of 502] Compiling OWL2.XMLKeywords ( OWL2/XMLKeywords.hs,
OWL2/XMLKeywords.o )
[ 29 of 502] Compiling Common.Lib.State ( Common/Lib/State.hs,
Common/Lib/State.o )
[ 30 of 502] Compiling OWL2.ColonKeywords ( OWL2/ColonKeywords.hs,
OWL2/ColonKeywords.o )
[ 31 of 502] Compiling Common.ProofTree ( Common/ProofTree.hs,
Common/ProofTree.o )
[ 32 of 502] Compiling ATC.ProofTree ( ATC/ProofTree.hs,
ATC/ProofTree.o )
[ 33 of 502] Compiling Common.IO ( Common/IO.hs, Common/IO.o )
[ 34 of 502] Compiling Driver.Version ( Driver/Version.hs,
Driver/Version.o )
[ 35 of 502] Compiling Common.Taxonomy ( Common/Taxonomy.hs,
Common/Taxonomy.o )
[ 36 of 502] Compiling Common.InjMap ( Common/InjMap.hs,
Common/InjMap.o )
[ 37 of 502] Compiling Common.OrderedMap ( Common/OrderedMap.hs,
Common/OrderedMap.o )
[ 38 of 502] Compiling ATC.OrderedMap ( ATC/OrderedMap.hs,
ATC/OrderedMap.o )
[ 39 of 502] Compiling Common.Lib.Graph ( Common/Lib/Graph.hs,
Common/Lib/Graph.o )
[ 40 of 502] Compiling Taxonomy.MMiSSOntology ( Taxonomy/MMiSSOntology.hs,
Taxonomy/MMiSSOntology.o )
[ 41 of 502] Compiling ATC.Graph ( ATC/Graph.hs, ATC/Graph.o )
[ 42 of 502] Compiling Common.Lib.SizedList ( Common/Lib/SizedList.hs,
Common/Lib/SizedList.o )
[ 43 of 502] Compiling Common.Amalgamate ( Common/Amalgamate.hs,
Common/Amalgamate.o )
[ 44 of 502] Compiling Common.LaTeX_maps ( Common/LaTeX_maps.hs,
Common/LaTeX_maps.o )
[ 45 of 502] Compiling Common.Lib.Pretty ( Common/Lib/Pretty.hs,
Common/Lib/Pretty.o )
[ 46 of 502] Compiling Common.Keywords ( Common/Keywords.hs,
Common/Keywords.o )
[ 47 of 502] Compiling OWL2.Keywords ( OWL2/Keywords.hs,
OWL2/Keywords.o )
[ 48 of 502] Compiling Common.Lib.MapSet ( Common/Lib/MapSet.hs,
Common/Lib/MapSet.o )
[ 49 of 502] Compiling Common.Lib.Rel ( Common/Lib/Rel.hs,
Common/Lib/Rel.o )
[ 50 of 502] Compiling Common.ATerm.ConvInstances (
Common/ATerm/ConvInstances.hs, Common/ATerm/ConvInstances.o )
Common/ATerm/ConvInstances.hs:29:19: Warning:
In the use of `mkTyCon' (imported from Data.Typeable):
Deprecated: "either derive Typeable, or use mkTyCon3 instead"
Common/ATerm/ConvInstances.hs:40:16: Warning:
In the use of `mkTyCon' (imported from Data.Typeable):
Deprecated: "either derive Typeable, or use mkTyCon3 instead"
Common/ATerm/ConvInstances.hs:58:16: Warning:
In the use of `mkTyCon' (imported from Data.Typeable):
Deprecated: "either derive Typeable, or use mkTyCon3 instead"
Common/ATerm/ConvInstances.hs:74:13: Warning:
In the use of `mkTyCon' (imported from Data.Typeable):
Deprecated: "either derive Typeable, or use mkTyCon3 instead"
Common/ATerm/ConvInstances.hs:89:8: Warning:
In the use of `mkTyCon' (imported from Data.Typeable):
Deprecated: "either derive Typeable, or use mkTyCon3 instead"
[ 51 of 502] Compiling FreeCAD.ATC_FreeCAD ( FreeCAD/ATC_FreeCAD.hs,
FreeCAD/ATC_FreeCAD.o )
[ 52 of 502] Compiling Common.Parsec ( Common/Parsec.hs,
Common/Parsec.o )
[ 53 of 502] Compiling Common.LaTeX_funs ( Common/LaTeX_funs.hs,
Common/LaTeX_funs.o )
[ 54 of 502] Compiling Common.PrintLaTeX ( Common/PrintLaTeX.hs,
Common/PrintLaTeX.o )
[ 55 of 502] Compiling Common.XPath ( Common/XPath.hs, Common/XPath.o
)
[ 56 of 502] Compiling CASL.Kif ( CASL/Kif.hs, CASL/Kif.o )
[ 57 of 502] Compiling THF.ParseTHF0 ( THF/ParseTHF0.hs,
THF/ParseTHF0.o )
[ 58 of 502] Compiling THF.ParseTHF ( THF/ParseTHF.hs, THF/ParseTHF.o
)
[ 59 of 502] Compiling Maude.Parse ( Maude/Parse.hs, Maude/Parse.o )
[ 60 of 502] Compiling Maude.Language ( Maude/Language.hs,
Maude/Language.o )
[ 61 of 502] Compiling CASL.CompositionTable.ParseSparQ (
CASL/CompositionTable/ParseSparQ.hs, CASL/CompositionTable/ParseSparQ.o )
[ 62 of 502] Compiling Common.XmlParser ( Common/XmlParser.hs,
Common/XmlParser.o )
[ 63 of 502] Compiling Common.Utils ( Common/Utils.hs, Common/Utils.o
)
[ 64 of 502] Compiling Common.ProverTools ( Common/ProverTools.hs,
Common/ProverTools.o )
[ 65 of 502] Compiling Interfaces.Command ( Interfaces/Command.hs,
Interfaces/Command.o )
[ 66 of 502] Compiling Common.Id ( Common/Id.hs, Common/Id.o )
[ 67 of 502] Compiling Common.Lexer ( Common/Lexer.hs, Common/Lexer.o
)
[ 68 of 502] Compiling Common.IRI ( Common/IRI.hs, Common/IRI.o )
[ 69 of 502] Compiling Common.AS_Annotation ( Common/AS_Annotation.hs,
Common/AS_Annotation.o )
[ 70 of 502] Compiling Common.GlobalAnnotations (
Common/GlobalAnnotations.hs, Common/GlobalAnnotations.o )
[ 71 of 502] Compiling Common.ProofUtils ( Common/ProofUtils.hs,
Common/ProofUtils.o )
[ 72 of 502] Compiling Isabelle.MarkSimp ( Isabelle/MarkSimp.hs,
Isabelle/MarkSimp.o )
[ 73 of 502] Compiling Common.ConvertLiteral ( Common/ConvertLiteral.hs,
Common/ConvertLiteral.o )
[ 74 of 502] Compiling Common.Prec ( Common/Prec.hs, Common/Prec.o )
[ 75 of 502] Compiling Common.Doc ( Common/Doc.hs, Common/Doc.o )
[ 76 of 502] Compiling Common.DocUtils ( Common/DocUtils.hs,
Common/DocUtils.o )
[ 77 of 502] Compiling Common.DefaultMorphism ( Common/DefaultMorphism.hs,
Common/DefaultMorphism.o )
[ 78 of 502] Compiling ATC.DefaultMorphism ( ATC/DefaultMorphism.hs,
ATC/DefaultMorphism.o )
[ 79 of 502] Compiling HolLight.Helper ( HolLight/Helper.hs,
HolLight/Helper.o )
[ 80 of 502] Compiling HolLight.Sentence ( HolLight/Sentence.hs,
HolLight/Sentence.o )
[ 81 of 502] Compiling THF.PrintTHF ( THF/PrintTHF.hs, THF/PrintTHF.o
)
[ 82 of 502] Compiling CASL.CompositionTable.Pretty (
CASL/CompositionTable/Pretty.hs, CASL/CompositionTable/Pretty.o )
[ 83 of 502] Compiling Common.Token ( Common/Token.hs, Common/Token.o
)
[ 84 of 502] Compiling Common.AnnoParser ( Common/AnnoParser.hs,
Common/AnnoParser.o )
[ 85 of 502] Compiling OMDoc.DataTypes ( OMDoc/DataTypes.hs,
OMDoc/DataTypes.o )
[ 86 of 502] Compiling CASL.OMDoc ( CASL/OMDoc.hs, CASL/OMDoc.o )
[ 87 of 502] Compiling CommonLogic.OMDoc ( CommonLogic/OMDoc.hs,
CommonLogic/OMDoc.o )
[ 88 of 502] Compiling ATC.Id ( ATC/Id.hs, ATC/Id.o )
[ 89 of 502] Compiling ATC.IRI ( ATC/IRI.hs, ATC/IRI.o )
[ 90 of 502] Compiling ATC.AS_Annotation ( ATC/AS_Annotation.hs,
ATC/AS_Annotation.o )
[ 91 of 502] Compiling Common.AnnoState ( Common/AnnoState.hs,
Common/AnnoState.o )
[ 92 of 502] Compiling Common.Item ( Common/Item.hs, Common/Item.o )
[ 93 of 502] Compiling Framework.AS ( Framework/AS.hs, Framework/AS.o
)
[ 94 of 502] Compiling Framework.ATC_Framework (
Framework/ATC_Framework.hs, Framework/ATC_Framework.o )
[ 95 of 502] Compiling OWL2.AS ( OWL2/AS.hs, OWL2/AS.o )
[ 96 of 502] Compiling OWL2.Symbols ( OWL2/Symbols.hs, OWL2/Symbols.o
)
[ 97 of 502] Compiling OWL2.Sign ( OWL2/Sign.hs, OWL2/Sign.o )
[ 98 of 502] Compiling OWL2.ShipSyntax ( OWL2/ShipSyntax.hs,
OWL2/ShipSyntax.o )
[ 99 of 502] Compiling OWL2.MS ( OWL2/MS.hs, OWL2/MS.o )
[100 of 502] Compiling OWL2.MS2Ship ( OWL2/MS2Ship.hs, OWL2/MS2Ship.o
)
[101 of 502] Compiling OWL2.Theorem ( OWL2/Theorem.hs, OWL2/Theorem.o
)
[102 of 502] Compiling OWL2.Function ( OWL2/Function.hs,
OWL2/Function.o )
[103 of 502] Compiling OWL2.Profiles ( OWL2/Profiles.hs,
OWL2/Profiles.o )
[104 of 502] Compiling OWL2.Parse ( OWL2/Parse.hs, OWL2/Parse.o )
[105 of 502] Compiling OWL2.ManchesterParser ( OWL2/ManchesterParser.hs,
OWL2/ManchesterParser.o )
[106 of 502] Compiling OWL2.Print ( OWL2/Print.hs, OWL2/Print.o )
[107 of 502] Compiling OWL2.ManchesterPrint ( OWL2/ManchesterPrint.hs,
OWL2/ManchesterPrint.o )
[108 of 502] Compiling Common.SetColimit ( Common/SetColimit.hs,
Common/SetColimit.o )
[109 of 502] Compiling SoftFOL.Sign ( SoftFOL/Sign.hs, SoftFOL/Sign.o
)
[110 of 502] Compiling SoftFOL.ATC_SoftFOL ( SoftFOL/ATC_SoftFOL.hs,
SoftFOL/ATC_SoftFOL.o )
[111 of 502] Compiling SoftFOL.Print ( SoftFOL/Print.hs,
SoftFOL/Print.o )
[112 of 502] Compiling SoftFOL.Conversions ( SoftFOL/Conversions.hs,
SoftFOL/Conversions.o )
[113 of 502] Compiling SoftFOL.PrintTPTP ( SoftFOL/PrintTPTP.hs,
SoftFOL/PrintTPTP.o )
[114 of 502] Compiling SoftFOL.Morphism ( SoftFOL/Morphism.hs,
SoftFOL/Morphism.o )
[115 of 502] Compiling SoftFOL.Translate ( SoftFOL/Translate.hs,
SoftFOL/Translate.o )
[116 of 502] Compiling Isabelle.Translate ( Isabelle/Translate.hs,
Isabelle/Translate.o )
[117 of 502] Compiling Isabelle.IsaPrint ( Isabelle/IsaPrint.hs,
Isabelle/IsaPrint.o )
[118 of 502] Compiling FreeCAD.PrintAs ( FreeCAD/PrintAs.hs,
FreeCAD/PrintAs.o )
[119 of 502] Compiling FreeCAD.Translator ( FreeCAD/Translator.hs,
FreeCAD/Translator.o )
[120 of 502] Compiling CSL.AS_BASIC_CSL ( CSL/AS_BASIC_CSL.hs,
CSL/AS_BASIC_CSL.o )
[121 of 502] Compiling CSL.Lemma_Export ( CSL/Lemma_Export.hs,
CSL/Lemma_Export.o )
[122 of 502] Compiling CSL.Print_AS ( CSL/Print_AS.hs, CSL/Print_AS.o
)
[123 of 502] Compiling CSL.Fold ( CSL/Fold.hs, CSL/Fold.o )
[124 of 502] Compiling CSL.ASUtils ( CSL/ASUtils.hs, CSL/ASUtils.o )
[125 of 502] Compiling CSL.Parse_AS_Basic ( CSL/Parse_AS_Basic.hs,
CSL/Parse_AS_Basic.o )
[126 of 502] Compiling CSL.Tools ( CSL/Tools.hs, CSL/Tools.o )
[127 of 502] Compiling QBF.AS_BASIC_QBF ( QBF/AS_BASIC_QBF.hs,
QBF/AS_BASIC_QBF.o )
[128 of 502] Compiling QBF.Parse_AS_Basic ( QBF/Parse_AS_Basic.hs,
QBF/Parse_AS_Basic.o )
[129 of 502] Compiling QBF.Tools ( QBF/Tools.hs, QBF/Tools.o )
[130 of 502] Compiling Propositional.AS_BASIC_Propositional (
Propositional/AS_BASIC_Propositional.hs,
Propositional/AS_BASIC_Propositional.o )
[131 of 502] Compiling Propositional.Tools ( Propositional/Tools.hs,
Propositional/Tools.o )
[132 of 502] Compiling Propositional.Fold ( Propositional/Fold.hs,
Propositional/Fold.o )
[133 of 502] Compiling Propositional.Parse_AS_Basic (
Propositional/Parse_AS_Basic.hs, Propositional/Parse_AS_Basic.o )
[134 of 502] Compiling HasCASL.As ( HasCASL/As.hs, HasCASL/As.o )
[135 of 502] Compiling HasCASL.FoldTerm ( HasCASL/FoldTerm.hs,
HasCASL/FoldTerm.o )
[136 of 502] Compiling HasCASL.FoldType ( HasCASL/FoldType.hs,
HasCASL/FoldType.o )
[137 of 502] Compiling HasCASL.HToken ( HasCASL/HToken.hs,
HasCASL/HToken.o )
[138 of 502] Compiling HasCASL.AsUtils ( HasCASL/AsUtils.hs,
HasCASL/AsUtils.o )
[139 of 502] Compiling HasCASL.ParseTerm ( HasCASL/ParseTerm.hs,
HasCASL/ParseTerm.o )
[140 of 502] Compiling HasCASL.SymbItem ( HasCASL/SymbItem.hs,
HasCASL/SymbItem.o )
[141 of 502] Compiling HasCASL.ParseItem ( HasCASL/ParseItem.hs,
HasCASL/ParseItem.o )
[142 of 502] Compiling CASL.AS_Basic_CASL ( CASL/AS_Basic_CASL.hs,
CASL/AS_Basic_CASL.o )
[143 of 502] Compiling CASL.Fold ( CASL/Fold.hs, CASL/Fold.o )
[144 of 502] Compiling CASL.Kif2CASL ( CASL/Kif2CASL.hs,
CASL/Kif2CASL.o )
[145 of 502] Compiling CASL.ToDoc ( CASL/ToDoc.hs, CASL/ToDoc.o )
[146 of 502] Compiling CASL.ToItem ( CASL/ToItem.hs, CASL/ToItem.o )
[147 of 502] Compiling CASL.Simplify ( CASL/Simplify.hs,
CASL/Simplify.o )
[148 of 502] Compiling CASL.ShowMixfix ( CASL/ShowMixfix.hs,
CASL/ShowMixfix.o )
[149 of 502] Compiling CASL.Formula ( CASL/Formula.hs, CASL/Formula.o
)
[150 of 502] Compiling CASL.SymbolParser ( CASL/SymbolParser.hs,
CASL/SymbolParser.o )
[151 of 502] Compiling CASL.SortItem ( CASL/SortItem.hs,
CASL/SortItem.o )
[152 of 502] Compiling CASL.OpItem ( CASL/OpItem.hs, CASL/OpItem.o )
[153 of 502] Compiling CASL.Parse_AS_Basic ( CASL/Parse_AS_Basic.hs,
CASL/Parse_AS_Basic.o )
[154 of 502] Compiling CommonLogic.AS_CommonLogic (
CommonLogic/AS_CommonLogic.hs, CommonLogic/AS_CommonLogic.o )
[155 of 502] Compiling CommonLogic.Tools ( CommonLogic/Tools.hs,
CommonLogic/Tools.o )
CommonLogic/Tools.hs:90:21: Warning:
This binding for `s' shadows the existing binding
bound at CommonLogic/Tools.hs:88:36
[156 of 502] Compiling CommonLogic.Lexer_KIF ( CommonLogic/Lexer_KIF.hs,
CommonLogic/Lexer_KIF.o )
[157 of 502] Compiling CommonLogic.Parse_KIF ( CommonLogic/Parse_KIF.hs,
CommonLogic/Parse_KIF.o )
[158 of 502] Compiling CommonLogic.Lexer_CLIF ( CommonLogic/Lexer_CLIF.hs,
CommonLogic/Lexer_CLIF.o )
[159 of 502] Compiling CommonLogic.Parse_CLIF ( CommonLogic/Parse_CLIF.hs,
CommonLogic/Parse_CLIF.o )
[160 of 502] Compiling CommonLogic.ExpandCurie (
CommonLogic/ExpandCurie.hs, CommonLogic/ExpandCurie.o )
[161 of 502] Compiling CASL.Utils ( CASL/Utils.hs, CASL/Utils.o )
[162 of 502] Compiling SoftFOL.ParseTPTP ( SoftFOL/ParseTPTP.hs,
SoftFOL/ParseTPTP.o )
[163 of 502] Compiling THF.Cons ( THF/Cons.hs, THF/Cons.o )
[164 of 502] Compiling Modal.AS_Modal ( Modal/AS_Modal.hs,
Modal/AS_Modal.o )
[165 of 502] Compiling Modal.Utils ( Modal/Utils.hs, Modal/Utils.o )
[166 of 502] Compiling Modal.Parse_AS ( Modal/Parse_AS.hs,
Modal/Parse_AS.o )
[167 of 502] Compiling LF.AS ( LF/AS.hs, LF/AS.o )
[168 of 502] Compiling LF.Parse ( LF/Parse.hs, LF/Parse.o )
[169 of 502] Compiling Maude.AS_Maude ( Maude/AS_Maude.hs,
Maude/AS_Maude.o )
[170 of 502] Compiling Maude.Meta.HasName ( Maude/Meta/HasName.hs,
Maude/Meta/HasName.o )
[171 of 502] Compiling Maude.Symbol ( Maude/Symbol.hs, Maude/Symbol.o
)
[172 of 502] Compiling Maude.Printing ( Maude/Printing.hs,
Maude/Printing.o )
[173 of 502] Compiling Maude.Meta.AsSymbol ( Maude/Meta/AsSymbol.hs,
Maude/Meta/AsSymbol.o )
[174 of 502] Compiling Maude.Meta.HasSorts ( Maude/Meta/HasSorts.hs,
Maude/Meta/HasSorts.o )
[175 of 502] Compiling Maude.Meta.HasOps ( Maude/Meta/HasOps.hs,
Maude/Meta/HasOps.o )
[176 of 502] Compiling Maude.Meta.HasLabels ( Maude/Meta/HasLabels.hs,
Maude/Meta/HasLabels.o )
[177 of 502] Compiling Maude.Meta ( Maude/Meta.hs, Maude/Meta.o )
[178 of 502] Compiling Maude.Sentence ( Maude/Sentence.hs,
Maude/Sentence.o )
[179 of 502] Compiling Maude.Sign ( Maude/Sign.hs, Maude/Sign.o )
[180 of 502] Compiling Maude.Shellout ( Maude/Shellout.hs,
Maude/Shellout.o )
[181 of 502] Compiling SoftFOL.DFGParser ( SoftFOL/DFGParser.hs,
SoftFOL/DFGParser.o )
[182 of 502] Compiling Common.ExtSign ( Common/ExtSign.hs,
Common/ExtSign.o )
[183 of 502] Compiling ATC.ExtSign ( ATC/ExtSign.hs, ATC/ExtSign.o )
[184 of 502] Compiling Common.Result ( Common/Result.hs,
Common/Result.o )
[185 of 502] Compiling Common.ResultT ( Common/ResultT.hs,
Common/ResultT.o )
[186 of 502] Compiling Logic.Prover ( Logic/Prover.hs, Logic/Prover.o
)
[187 of 502] Compiling SoftFOL.ProverState ( SoftFOL/ProverState.hs,
SoftFOL/ProverState.o )
[188 of 502] Compiling CSL.Reduce_Interface ( CSL/Reduce_Interface.hs,
CSL/Reduce_Interface.o )
[189 of 502] Compiling OMDoc.XmlInterface ( OMDoc/XmlInterface.hs,
OMDoc/XmlInterface.o )
[190 of 502] Compiling Common.Consistency ( Common/Consistency.hs,
Common/Consistency.o )
[191 of 502] Compiling ATC.Prover ( ATC/Prover.hs, ATC/Prover.o )
[192 of 502] Compiling Common.AnalyseAnnos ( Common/AnalyseAnnos.hs,
Common/AnalyseAnnos.o )
[193 of 502] Compiling Common.ToXml ( Common/ToXml.hs, Common/ToXml.o
)
[194 of 502] Compiling Common.XUpdate ( Common/XUpdate.hs,
Common/XUpdate.o )
[195 of 502] Compiling OWL2.StaticAnalysis ( OWL2/StaticAnalysis.hs,
OWL2/StaticAnalysis.o )
[196 of 502] Compiling OWL2.Extract ( OWL2/Extract.hs, OWL2/Extract.o
)
[197 of 502] Compiling OWL2.XML ( OWL2/XML.hs, OWL2/XML.o )
[198 of 502] Compiling OWL2.XMLConversion ( OWL2/XMLConversion.hs,
OWL2/XMLConversion.o )
[199 of 502] Compiling OWL2.Morphism ( OWL2/Morphism.hs,
OWL2/Morphism.o )
[200 of 502] Compiling OWL2.ColimSign ( OWL2/ColimSign.hs,
OWL2/ColimSign.o )
[201 of 502] Compiling OWL2.Sublogic ( OWL2/Sublogic.hs,
OWL2/Sublogic.o )
[202 of 502] Compiling OWL2.ProfilesAndSublogics (
OWL2/ProfilesAndSublogics.hs, OWL2/ProfilesAndSublogics.o )
[203 of 502] Compiling OWL2.ProverState ( OWL2/ProverState.hs,
OWL2/ProverState.o )
[204 of 502] Compiling OWL2.Conservativity ( OWL2/Conservativity.hs,
OWL2/Conservativity.o )
[205 of 502] Compiling OWL2.Rename ( OWL2/Rename.hs, OWL2/Rename.o )
[206 of 502] Compiling Interfaces.GenericATPState (
Interfaces/GenericATPState.hs, Interfaces/GenericATPState.o )
[207 of 502] Compiling GUI.GenericATP ( GUI/GenericATP.hs,
GUI/GenericATP.o )
[208 of 502] Compiling Proofs.BatchProcessing ( Proofs/BatchProcessing.hs,
Proofs/BatchProcessing.o )
[209 of 502] Compiling OWL2.ProvePellet ( OWL2/ProvePellet.hs,
OWL2/ProvePellet.o )
[210 of 502] Compiling OWL2.Taxonomy ( OWL2/Taxonomy.hs,
OWL2/Taxonomy.o )
[211 of 502] Compiling OWL2.ProveFact ( OWL2/ProveFact.hs,
OWL2/ProveFact.o )
[212 of 502] Compiling ATC.Result ( ATC/Result.hs, ATC/Result.o )
[213 of 502] Compiling OWL2.ATC_OWL2 ( OWL2/ATC_OWL2.hs,
OWL2/ATC_OWL2.o )
[214 of 502] Compiling ATC.GlobalAnnotations ( ATC/GlobalAnnotations.hs,
ATC/GlobalAnnotations.o )
[215 of 502] Compiling SoftFOL.ProveMetis ( SoftFOL/ProveMetis.hs,
SoftFOL/ProveMetis.o )
[216 of 502] Compiling Isabelle.IsaParse ( Isabelle/IsaParse.hs,
Isabelle/IsaParse.o )
[217 of 502] Compiling Isabelle.IsaProve ( Isabelle/IsaProve.hs,
Isabelle/IsaProve.o )
[218 of 502] Compiling CSL.Sign ( CSL/Sign.hs, CSL/Sign.o )
[219 of 502] Compiling CSL.Morphism ( CSL/Morphism.hs, CSL/Morphism.o
)
[220 of 502] Compiling CSL.Symbol ( CSL/Symbol.hs, CSL/Symbol.o )
[221 of 502] Compiling CSL.ReduceProve ( CSL/ReduceProve.hs,
CSL/ReduceProve.o )
[222 of 502] Compiling CSL.Analysis ( CSL/Analysis.hs, CSL/Analysis.o
)
[223 of 502] Compiling CSL.ATC_CSL ( CSL/ATC_CSL.hs, CSL/ATC_CSL.o )
[224 of 502] Compiling HolLight.Sign ( HolLight/Sign.hs,
HolLight/Sign.o )
[225 of 502] Compiling HolLight.ATC_HolLight ( HolLight/ATC_HolLight.hs,
HolLight/ATC_HolLight.o )
[226 of 502] Compiling Propositional.Sign ( Propositional/Sign.hs,
Propositional/Sign.o )
[227 of 502] Compiling QBF.Morphism ( QBF/Morphism.hs, QBF/Morphism.o
)
[228 of 502] Compiling QBF.Symbol ( QBF/Symbol.hs, QBF/Symbol.o )
[229 of 502] Compiling QBF.Sublogic ( QBF/Sublogic.hs, QBF/Sublogic.o
)
[230 of 502] Compiling QBF.ProverState ( QBF/ProverState.hs,
QBF/ProverState.o )
[231 of 502] Compiling QBF.ATC_QBF ( QBF/ATC_QBF.hs, QBF/ATC_QBF.o )
[232 of 502] Compiling QBF.Analysis ( QBF/Analysis.hs, QBF/Analysis.o
)
[233 of 502] Compiling QBF.ProveDepQBF ( QBF/ProveDepQBF.hs,
QBF/ProveDepQBF.o )
[234 of 502] Compiling Propositional.Morphism ( Propositional/Morphism.hs,
Propositional/Morphism.o )
[235 of 502] Compiling Propositional.Symbol ( Propositional/Symbol.hs,
Propositional/Symbol.o )
[236 of 502] Compiling Propositional.Sublogic ( Propositional/Sublogic.hs,
Propositional/Sublogic.o )
[237 of 502] Compiling Propositional.ATC_Propositional (
Propositional/ATC_Propositional.hs, Propositional/ATC_Propositional.o )
[238 of 502] Compiling Propositional.Analysis ( Propositional/Analysis.hs,
Propositional/Analysis.o )
[239 of 502] Compiling HasCASL.Le ( HasCASL/Le.hs, HasCASL/Le.o )
[240 of 502] Compiling HasCASL.Builtin ( HasCASL/Builtin.hs,
HasCASL/Builtin.o )
[241 of 502] Compiling HasCASL.PrintAs ( HasCASL/PrintAs.hs,
HasCASL/PrintAs.o )
[242 of 502] Compiling HasCASL.ToItem ( HasCASL/ToItem.hs,
HasCASL/ToItem.o )
[243 of 502] Compiling HasCASL.Sublogic ( HasCASL/Sublogic.hs,
HasCASL/Sublogic.o )
[244 of 502] Compiling HasCASL.MapTerm ( HasCASL/MapTerm.hs,
HasCASL/MapTerm.o )
[245 of 502] Compiling HasCASL.ATC_HasCASL ( HasCASL/ATC_HasCASL.hs,
HasCASL/ATC_HasCASL.o )
[246 of 502] Compiling HasCASL.ClassAna ( HasCASL/ClassAna.hs,
HasCASL/ClassAna.o )
[247 of 502] Compiling HasCASL.PrintLe ( HasCASL/PrintLe.hs,
HasCASL/PrintLe.o )
[248 of 502] Compiling HasCASL.TypeMixAna ( HasCASL/TypeMixAna.hs,
HasCASL/TypeMixAna.o )
[249 of 502] Compiling HasCASL.TypeAna ( HasCASL/TypeAna.hs,
HasCASL/TypeAna.o )
[250 of 502] Compiling HasCASL.Merge ( HasCASL/Merge.hs,
HasCASL/Merge.o )
[251 of 502] Compiling HasCASL.Unify ( HasCASL/Unify.hs,
HasCASL/Unify.o )
[252 of 502] Compiling HasCASL.VarDecl ( HasCASL/VarDecl.hs,
HasCASL/VarDecl.o )
[253 of 502] Compiling HasCASL.RawSym ( HasCASL/RawSym.hs,
HasCASL/RawSym.o )
[254 of 502] Compiling HasCASL.Symbol ( HasCASL/Symbol.hs,
HasCASL/Symbol.o )
[255 of 502] Compiling HasCASL.SimplifyTerm ( HasCASL/SimplifyTerm.hs,
HasCASL/SimplifyTerm.o )
[256 of 502] Compiling HasCASL.ConvertTypePattern (
HasCASL/ConvertTypePattern.hs, HasCASL/ConvertTypePattern.o )
[257 of 502] Compiling HasCASL.DataAna ( HasCASL/DataAna.hs,
HasCASL/DataAna.o )
[258 of 502] Compiling HasCASL.SubtypeDecl ( HasCASL/SubtypeDecl.hs,
HasCASL/SubtypeDecl.o )
[259 of 502] Compiling HasCASL.Constrain ( HasCASL/Constrain.hs,
HasCASL/Constrain.o )
[260 of 502] Compiling HasCASL.MinType ( HasCASL/MinType.hs,
HasCASL/MinType.o )
[261 of 502] Compiling HasCASL.ProgEq ( HasCASL/ProgEq.hs,
HasCASL/ProgEq.o )
[262 of 502] Compiling HasCASL.TypeRel ( HasCASL/TypeRel.hs,
HasCASL/TypeRel.o )
[263 of 502] Compiling Common.ConvertMixfixToken (
Common/ConvertMixfixToken.hs, Common/ConvertMixfixToken.o )
[264 of 502] Compiling Common.Earley ( Common/Earley.hs,
Common/Earley.o )
[265 of 502] Compiling HasCASL.MixAna ( HasCASL/MixAna.hs,
HasCASL/MixAna.o )
[266 of 502] Compiling HasCASL.TypeCheck ( HasCASL/TypeCheck.hs,
HasCASL/TypeCheck.o )
[267 of 502] Compiling HasCASL.OpDecl ( HasCASL/OpDecl.hs,
HasCASL/OpDecl.o )
[268 of 502] Compiling HasCASL.TypeDecl ( HasCASL/TypeDecl.hs,
HasCASL/TypeDecl.o )
[269 of 502] Compiling HasCASL.AsToLe ( HasCASL/AsToLe.hs,
HasCASL/AsToLe.o )
[270 of 502] Compiling HasCASL.Morphism ( HasCASL/Morphism.hs,
HasCASL/Morphism.o )
[271 of 502] Compiling HasCASL.SymbolMapAnalysis (
HasCASL/SymbolMapAnalysis.hs, HasCASL/SymbolMapAnalysis.o )
[272 of 502] Compiling CASL.Sign ( CASL/Sign.hs, CASL/Sign.o )
[273 of 502] Compiling CASL_DL.PredefinedCASLAxioms (
CASL_DL/PredefinedCASLAxioms.hs, CASL_DL/PredefinedCASLAxioms.o )
[274 of 502] Compiling CASL.Inject ( CASL/Inject.hs, CASL/Inject.o )
[275 of 502] Compiling CASL.Project ( CASL/Project.hs, CASL/Project.o
)
[276 of 502] Compiling Modal.ModalSign ( Modal/ModalSign.hs,
Modal/ModalSign.o )
[277 of 502] Compiling Modal.Print_AS ( Modal/Print_AS.hs,
Modal/Print_AS.o )
[278 of 502] Compiling Modal.ModalSystems ( Modal/ModalSystems.hs,
Modal/ModalSystems.o )
[279 of 502] Compiling CASL.Morphism ( CASL/Morphism.hs,
CASL/Morphism.o )
[280 of 502] Compiling CASL.MapSentence ( CASL/MapSentence.hs,
CASL/MapSentence.o )
[281 of 502] Compiling CASL.Amalgamability ( CASL/Amalgamability.hs,
CASL/Amalgamability.o )
[282 of 502] Compiling CASL.Sublogic ( CASL/Sublogic.hs,
CASL/Sublogic.o )
[283 of 502] Compiling CASL.ATC_CASL ( CASL/ATC_CASL.hs,
CASL/ATC_CASL.o )
[284 of 502] Compiling Modal.ATC_Modal ( Modal/ATC_Modal.hs,
Modal/ATC_Modal.o )
[285 of 502] Compiling CASL.CCC.OnePoint ( CASL/CCC/OnePoint.hs,
CASL/CCC/OnePoint.o )
[286 of 502] Compiling CASL.Taxonomy ( CASL/Taxonomy.hs,
CASL/Taxonomy.o )
[287 of 502] Compiling CASL.Quantification ( CASL/Quantification.hs,
CASL/Quantification.o )
[288 of 502] Compiling CASL.Induction ( CASL/Induction.hs,
CASL/Induction.o )
[289 of 502] Compiling CASL.OMDocImport ( CASL/OMDocImport.hs,
CASL/OMDocImport.o )
[290 of 502] Compiling CASL.OMDocExport ( CASL/OMDocExport.hs,
CASL/OMDocExport.o )
[291 of 502] Compiling CASL.MixfixParser ( CASL/MixfixParser.hs,
CASL/MixfixParser.o )
[292 of 502] Compiling CASL.Overload ( CASL/Overload.hs,
CASL/Overload.o )
[293 of 502] Compiling CASL.StaticAna ( CASL/StaticAna.hs,
CASL/StaticAna.o )
[294 of 502] Compiling CASL.Freeness ( CASL/Freeness.hs,
CASL/Freeness.o )
[295 of 502] Compiling CASL.SymbolMapAnalysis ( CASL/SymbolMapAnalysis.hs,
CASL/SymbolMapAnalysis.o )
[296 of 502] Compiling CASL.SimplifySen ( CASL/SimplifySen.hs,
CASL/SimplifySen.o )
[297 of 502] Compiling CASL.Disambiguate ( CASL/Disambiguate.hs,
CASL/Disambiguate.o )
[298 of 502] Compiling CASL.Monoton ( CASL/Monoton.hs, CASL/Monoton.o
)
[299 of 502] Compiling CASL.CCC.TermFormula ( CASL/CCC/TermFormula.hs,
CASL/CCC/TermFormula.o )
[300 of 502] Compiling CASL.CCC.TerminationProof (
CASL/CCC/TerminationProof.hs, CASL/CCC/TerminationProof.o )
[301 of 502] Compiling CASL.CCC.FreeTypes ( CASL/CCC/FreeTypes.hs,
CASL/CCC/FreeTypes.o )
[302 of 502] Compiling CommonLogic.Sign ( CommonLogic/Sign.hs,
CommonLogic/Sign.o )
[303 of 502] Compiling CommonLogic.Morphism ( CommonLogic/Morphism.hs,
CommonLogic/Morphism.o )
[304 of 502] Compiling CommonLogic.Symbol ( CommonLogic/Symbol.hs,
CommonLogic/Symbol.o )
[305 of 502] Compiling CommonLogic.Sublogic ( CommonLogic/Sublogic.hs,
CommonLogic/Sublogic.o )
[306 of 502] Compiling CommonLogic.ATC_CommonLogic (
CommonLogic/ATC_CommonLogic.hs, CommonLogic/ATC_CommonLogic.o )
[307 of 502] Compiling CommonLogic.Analysis ( CommonLogic/Analysis.hs,
CommonLogic/Analysis.o )
[308 of 502] Compiling CommonLogic.OMDocExport (
CommonLogic/OMDocExport.hs, CommonLogic/OMDocExport.o )
[309 of 502] Compiling CommonLogic.OMDocImport (
CommonLogic/OMDocImport.hs, CommonLogic/OMDocImport.o )
[310 of 502] Compiling DFOL.Utils ( DFOL/Utils.hs, DFOL/Utils.o )
[311 of 502] Compiling DFOL.AS_DFOL ( DFOL/AS_DFOL.hs, DFOL/AS_DFOL.o
)
[312 of 502] Compiling DFOL.Symbol ( DFOL/Symbol.hs, DFOL/Symbol.o )
[313 of 502] Compiling DFOL.Parse_AS_DFOL ( DFOL/Parse_AS_DFOL.hs,
DFOL/Parse_AS_DFOL.o )
[314 of 502] Compiling DFOL.Sign ( DFOL/Sign.hs, DFOL/Sign.o )
[315 of 502] Compiling DFOL.Morphism ( DFOL/Morphism.hs,
DFOL/Morphism.o )
[316 of 502] Compiling DFOL.Comorphism ( DFOL/Comorphism.hs,
DFOL/Comorphism.o )
[317 of 502] Compiling DFOL.ATC_DFOL ( DFOL/ATC_DFOL.hs,
DFOL/ATC_DFOL.o )
[318 of 502] Compiling DFOL.Analysis_DFOL ( DFOL/Analysis_DFOL.hs,
DFOL/Analysis_DFOL.o )
[319 of 502] Compiling DFOL.Colimit ( DFOL/Colimit.hs, DFOL/Colimit.o
)
[320 of 502] Compiling Comorphisms.PPolyTyConsHOL2IsaUtils (
Comorphisms/PPolyTyConsHOL2IsaUtils.hs,
Comorphisms/PPolyTyConsHOL2IsaUtils.o )
[321 of 502] Compiling Propositional.Prop2CASLHelpers (
Propositional/Prop2CASLHelpers.hs, Propositional/Prop2CASLHelpers.o )
[322 of 502] Compiling THF.Sign ( THF/Sign.hs, THF/Sign.o )
[323 of 502] Compiling THF.Print ( THF/Print.hs, THF/Print.o )
[324 of 502] Compiling THF.ProverState ( THF/ProverState.hs,
THF/ProverState.o )
[325 of 502] Compiling THF.Translate ( THF/Translate.hs,
THF/Translate.o )
[326 of 502] Compiling THF.HasCASL2THF0Buildins (
THF/HasCASL2THF0Buildins.hs, THF/HasCASL2THF0Buildins.o )
[327 of 502] Compiling THF.ATC_THF ( THF/ATC_THF.hs, THF/ATC_THF.o )
[328 of 502] Compiling THF.StaticAnalysisTHF ( THF/StaticAnalysisTHF.hs,
THF/StaticAnalysisTHF.o )
[329 of 502] Compiling THF.ProveLeoII ( THF/ProveLeoII.hs,
THF/ProveLeoII.o )
[330 of 502] Compiling Modal.StatAna ( Modal/StatAna.hs,
Modal/StatAna.o )
[331 of 502] Compiling LF.Sign ( LF/Sign.hs, LF/Sign.o )
[332 of 502] Compiling LF.Morphism ( LF/Morphism.hs, LF/Morphism.o )
[333 of 502] Compiling LF.Twelf2GR ( LF/Twelf2GR.hs, LF/Twelf2GR.o )
[334 of 502] Compiling LF.MorphParser ( LF/MorphParser.hs,
LF/MorphParser.o )
[335 of 502] Compiling LF.Framework ( LF/Framework.hs, LF/Framework.o
)
[336 of 502] Compiling LF.ATC_LF ( LF/ATC_LF.hs, LF/ATC_LF.o )
[337 of 502] Compiling LF.Analysis ( LF/Analysis.hs, LF/Analysis.o )
[338 of 502] Compiling LF.ComorphFram ( LF/ComorphFram.hs,
LF/ComorphFram.o )
[339 of 502] Compiling Maude.Morphism ( Maude/Morphism.hs,
Maude/Morphism.o )
[340 of 502] Compiling Maude.ATC_Maude ( Maude/ATC_Maude.hs,
Maude/ATC_Maude.o )
[341 of 502] Compiling Common.ConvertGlobalAnnos (
Common/ConvertGlobalAnnos.hs, Common/ConvertGlobalAnnos.o )
[342 of 502] Compiling CASL.CompositionTable.ComputeTable (
CASL/CompositionTable/ComputeTable.hs,
CASL/CompositionTable/ComputeTable.o )
[343 of 502] Compiling ATC.Consistency ( ATC/Consistency.hs,
ATC/Consistency.o )
[344 of 502] Compiling Common.LibName ( Common/LibName.hs,
Common/LibName.o )
[345 of 502] Compiling Logic.Logic ( Logic/Logic.hs, Logic/Logic.o )
[346 of 502] Compiling Logic.ExtSign ( Logic/ExtSign.hs,
Logic/ExtSign.o )
[347 of 502] Compiling HasCASL.Logic_HasCASL ( HasCASL/Logic_HasCASL.hs,
HasCASL/Logic_HasCASL.o )
[348 of 502] Compiling Propositional.Logic_Propositional (
Propositional/Logic_Propositional.hs, Propositional/Logic_Propositional.o
)
[349 of 502] Compiling QBF.Logic_QBF ( QBF/Logic_QBF.hs,
QBF/Logic_QBF.o )
[350 of 502] Compiling HolLight.Logic_HolLight (
HolLight/Logic_HolLight.hs, HolLight/Logic_HolLight.o )
[351 of 502] Compiling CSL.Logic_CSL ( CSL/Logic_CSL.hs,
CSL/Logic_CSL.o )
[352 of 502] Compiling Isabelle.Logic_Isabelle (
Isabelle/Logic_Isabelle.hs, Isabelle/Logic_Isabelle.o )
[353 of 502] Compiling SoftFOL.Logic_SoftFOL ( SoftFOL/Logic_SoftFOL.hs,
SoftFOL/Logic_SoftFOL.o )
SoftFOL/Logic_SoftFOL.hs:42:1: Warning:
The import of `SoftFOL.ProveMetis' is redundant
except perhaps to import instances from `SoftFOL.ProveMetis'
To import instances alone, use: import SoftFOL.ProveMetis()
[354 of 502] Compiling DMU.Logic_DMU ( DMU/Logic_DMU.hs,
DMU/Logic_DMU.o )
[355 of 502] Compiling OWL2.Logic_OWL2 ( OWL2/Logic_OWL2.hs,
OWL2/Logic_OWL2.o )
[356 of 502] Compiling Comorphisms.DynLogicList (
Comorphisms/DynLogicList.hs, Comorphisms/DynLogicList.o )
[357 of 502] Compiling CASL.ColimSign ( CASL/ColimSign.hs,
CASL/ColimSign.o )
[358 of 502] Compiling CommonLogic.Logic_CommonLogic (
CommonLogic/Logic_CommonLogic.hs, CommonLogic/Logic_CommonLogic.o )
[359 of 502] Compiling DFOL.Logic_DFOL ( DFOL/Logic_DFOL.hs,
DFOL/Logic_DFOL.o )
[360 of 502] Compiling THF.Logic_THF ( THF/Logic_THF.hs,
THF/Logic_THF.o )
[361 of 502] Compiling LF.Logic_LF ( LF/Logic_LF.hs, LF/Logic_LF.o )
[362 of 502] Compiling Maude.Logic_Maude ( Maude/Logic_Maude.hs,
Maude/Logic_Maude.o )
[363 of 502] Compiling Framework.Logic_Framework (
Framework/Logic_Framework.hs, Framework/Logic_Framework.o )
[364 of 502] Compiling Static.DgUtils ( Static/DgUtils.hs,
Static/DgUtils.o )
[365 of 502] Compiling Static.XGraph ( Static/XGraph.hs,
Static/XGraph.o )
[366 of 502] Compiling Static.XSimplePath ( Static/XSimplePath.hs,
Static/XSimplePath.o )
[367 of 502] Compiling ATC.LibName ( ATC/LibName.hs, ATC/LibName.o )
[368 of 502] Compiling Logic.Coerce ( Logic/Coerce.hs, Logic/Coerce.o
)
[369 of 502] Compiling Logic.Comorphism ( Logic/Comorphism.hs,
Logic/Comorphism.o )
[370 of 502] Compiling Logic.Modification ( Logic/Modification.hs,
Logic/Modification.o )
[371 of 502] Compiling Logic.Morphism ( Logic/Morphism.hs,
Logic/Morphism.o )
[372 of 502] Compiling Logic.Grothendieck ( Logic/Grothendieck.hs,
Logic/Grothendieck.o )
[373 of 502] Compiling Static.GTheory ( Static/GTheory.hs,
Static/GTheory.o )
[374 of 502] Compiling Syntax.AS_Structured ( Syntax/AS_Structured.hs,
Syntax/AS_Structured.o )
[375 of 502] Compiling Syntax.AS_Architecture ( Syntax/AS_Architecture.hs,
Syntax/AS_Architecture.o )
[376 of 502] Compiling Syntax.AS_Library ( Syntax/AS_Library.hs,
Syntax/AS_Library.o )
[377 of 502] Compiling Syntax.Print_AS_Structured (
Syntax/Print_AS_Structured.hs, Syntax/Print_AS_Structured.o )
[378 of 502] Compiling Syntax.Print_AS_Architecture (
Syntax/Print_AS_Architecture.hs, Syntax/Print_AS_Architecture.o )
[379 of 502] Compiling Static.FromXmlUtils ( Static/FromXmlUtils.hs,
Static/FromXmlUtils.o )
[380 of 502] Compiling Comorphisms.HasCASL2THF0 (
Comorphisms/HasCASL2THF0.hs, Comorphisms/HasCASL2THF0.o )
[381 of 502] Compiling Comorphisms.HasCASL2HasCASL (
Comorphisms/HasCASL2HasCASL.hs, Comorphisms/HasCASL2HasCASL.o )
[382 of 502] Compiling Comorphisms.HolLight2Isabelle (
Comorphisms/HolLight2Isabelle.hs, Comorphisms/HolLight2Isabelle.o )
[383 of 502] Compiling Comorphisms.HasCASL2IsabelleHOL (
Comorphisms/HasCASL2IsabelleHOL.hs, Comorphisms/HasCASL2IsabelleHOL.o )
Comorphisms/HasCASL2IsabelleHOL.hs:61:44:
Overlapping instances for Category Env Morphism
arising from a use of `sourceSublogic'
Matching instances:
instance Category Env Morphism
-- Defined at HasCASL/Logic_HasCASL.hs:74:10
There exists a (perhaps superclass) match:
(The choice depends on the instantiation of `'
To pick the first instance above, use -XIncoherentInstances
when compiling the other instance declarations)
In the second argument of `isSubElem', namely `sourceSublogic cid'
In the expression: sl `isSubElem` sourceSublogic cid
In the expression:
if sl `isSubElem` sourceSublogic cid then Just () else Nothing
gmake: *** [hets] Fehler 1
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7150#comment:14>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
