Ticket #7150 (closed bug: fixed)

Opened 10 months ago

Last modified 10 months ago

unjustified overlapping instances error

Reported by: maeder Owned by:
Priority: highest Milestone: 7.6.1
Component: Compiler Version: 7.6.1-rc1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: GHC rejects valid program Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

When compiling hets ( http://trac.informatik.uni-bremen.de:8080/hets/wiki/HetsForDevelopers) using ghc-7.6.0.20120810 I get the following error 

[489 of 664] 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 [incoherent] 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

Note, that only a single instance is listed and that the choice is empty. Adding -XIncoherentInstances does also not help to get it compiled.

Change History

Changed 10 months ago by simonpj

  • difficulty set to Unknown

How can I reproduce? I tried 

svn co https://svn-agbkb.informatik.uni-bremen.de/uni/trunk

and got lots of files, but there is no module HasCASL2IsabelleHOL.

Step by step instructions would be great.

Simon

Changed 10 months ago by maeder

It's hard to reproduce, since some sources must be generated first. 

svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk Hets
cd Hets
make

The minimal packages required are listed in  http://trac.informatik.uni-bremen.de:8080/hets/browser/trunk/Hets.cabal but "cabal install" will not generate missing source files (and will try to install more packages if not tuned with -f options)!

Therefore you need to call "make" and ignore "ghc-pkg: cannot find package" messages.

(text and network packages needed patches) My current minimal packages are as follows: 

-bash-3.00$ ghc-pkg list
/local/home/maeder/lib/ghc-7.6.0.20120810/package.conf.d:
    Cabal-1.16.0
    array-0.4.0.1
    base-4.6.0.0
    bin-package-db-0.0.0.0
    binary-0.5.1.1
    bytestring-0.10.0.0
    containers-0.5.0.0
    deepseq-1.3.0.1
    directory-1.1.1.0
    filepath-1.3.0.1
    (ghc-7.6.0.20120810)
    ghc-prim-0.3.0.0
    (haskell2010-1.1.1.0)
    (haskell98-2.0.0.2)
    hoopl-3.9.0.0
    hpc-0.6.0.0
    integer-gmp-0.5.0.0
    mtl-2.1.2
    old-locale-1.0.0.5
    old-time-1.1.0.1
    pretty-1.1.1.0
    process-1.1.0.2
    rts-1.0
    template-haskell-2.8.0.0
    time-1.4.0.1
    transformers-0.3.0.0
    unix-2.6.0.0

/home/maeder/.ghc/i386-solaris2-7.6.0.20120810/package.conf.d:
    aterm-0.1.0.1
    fgl-5.4.2.4
    network-2.3.0.14
    parsec-3.1.3
    text-0.11.2.2
    utf8-string-0.3.7
    xml-1.3.12

-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        -DRDFLOGIC -DCASLEXTENSIONS  -Wall -fwarn-tabs -fwarn-unrecognised-pragmas -fno-warn-orphans -fno-warn-unused-do-bind  
[474 of 627] Compiling Comorphisms.HasCASL2IsabelleHOL ( Comorphisms/HasCASL2IsabelleHOL.hs, Comorphisms/HasCASL2IsabelleHOL.o )

Comorphisms/HasCASL2IsabelleHOL.hs:61:44:
...

Changed 10 months ago by simonpj

Is there a flag I can give to 'make' to say "build with this particular GHC"? Eg 

make WITH_GHC=/home/simnpj/test/ghc

I want to build with HEAD not the installed GHC on my machine

Changed 10 months ago by maeder

Look into "var.mk", there variables HC and HCPGK are set.

Changed 10 months ago by simonpj

  • priority changed from normal to highest
  • milestone set to 7.6.1

Changed 10 months ago by simonpj

OK I set HC and HCPKG, typed 'make' and ended up with 

make
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 hexpat
ghc-pkg: cannot find package HTTP
ghc-pkg: cannot find package uni-uDrawGraph
ghc-pkg: cannot find package warp
ghc-pkg: cannot find package wai-extra
ghc-pkg: cannot find package parsec1
/home/simonpj/5builds/HEAD/inplace/bin/ghc-stage2 -optl-s -XTemplateHaskell -threaded -rtsopts --make -o hets hets.hs -fcontext-stack=26    -DNOHTTP -DUNIX        -DRDFLOGIC -DCASLEXTENSIONS  -Wall -fwarn-tabs -fwarn-unrecognised-pragmas -fno-warn-orphans -fno-warn-unused-do-bind  

OMDoc/Import.hs:87:8:
    Could not find module `Network.URI'
    Use -v to see a list of the files searched for.
make: *** [hets] Error 1

So are you saying that I first need to manually install (some of) the packages you listed? And modify some of them (you mentioned patching)?

I'm willing to follow instructions.

Changed 10 months ago by maeder

Yes, you need to install the packages listed (by ghc-pkg) above (including network)

Changed 10 months ago by simonpj

You mentioned patching some. But which? And how?

Changed 10 months ago by maeder

The text package should be installable meanwhile by "cabal install", The network package had too strict constraints for dependencies. I downloaded it and relaxed them. 

-bash-3.00$ diff network.cabal~ network.cabal
42c42
<     base >= 3 && < 4.6,
---
>     base >= 3 && < 4.7,

-bash-3.00$ diff -w Network/BSD.hsc~ Network/BSD.hsc
115c115
< import Prelude hiding (catch)
---
> import Prelude

Changed 10 months ago by maeder

If you uncomment the flags -DRDFLOGIC -DCASLEXTENSIONS in (line 115 of) var.mk, fewer files need to be compiled to get to the error.

Changed 10 months ago by simonpj

OK I have managed to get a lot further. Now I'm stuck on this 

OMDoc/Import.hs:182:27:
    Couldn't match expected type `System.Time.ClockTime'
                with actual type `time-1.4.0.1:Data.Time.Clock.UTC.UTCTime'
    In the second argument of `setFilePath', namely `mt'
    In the expression: setFilePath fp mt
    In the second argument of `($)', namely
      `setFilePath fp mt $ emptyLibName s'

Any ideas for how to fix this? I'd be happy to tell any furhter info that might help. My ghc-pkg list is below 

simonpj@cam-05-unx:~/tmp/Hets$ /home/simonpj/5builds/HEAD/inplace/bin/ghc-pkg list
/5playpen/simonpj/HEAD/inplace/lib/package.conf.d:
    Cabal-1.17.0
    array-0.4.0.1
    base-4.6.0.0
    bin-package-db-0.0.0.0
    binary-0.5.1.1
    bytestring-0.10.0.0
    containers-0.5.0.0
    deepseq-1.3.0.1
    directory-1.1.1.0
    dph-base-0.6.0.1
    (dph-lifted-base-0.6.0.1)
    (dph-lifted-boxed-0.6.0.1)
    (dph-lifted-copy-0.6.0.1)
    (dph-lifted-vseg-0.6.0.1)
    (dph-prim-interface-0.6.0.1)
    (dph-prim-par-0.6.0.1)
    (dph-prim-seq-0.6.0.1)
    filepath-1.3.0.1
    (ghc-7.7)
    ghc-prim-0.3.0.0
    haskeline-0.7.0.2
    (haskell2010-1.1.1.0)
    (haskell98-2.0.0.2)
    hoopl-3.9.0.0
    hpc-0.6.0.0
    integer-gmp-0.5.0.0
    old-locale-1.0.0.5
    old-time-1.1.0.1
    pretty-1.1.1.0
    primitive-0.4.0.1
    process-1.1.0.2
    random-1.0.1.1
    rts-1.0
    template-haskell-2.8.0.0
    terminfo-0.3.2.4
    time-1.4.0.1
    transformers-0.3.0.0
    unix-2.6.0.0
    vector-0.9.1
    xhtml-3000.2.1

/home/simonpj/.ghc/x86_64-linux-7.7/package.conf.d:
    HaXml-1.23.3
    aterm-0.1.0.1
    fgl-5.4.2.4
    mtl-2.1.2
    network-2.3.0.14
    parsec-3.1.3
    polyparse-1.8
    programatica-1.0.0.4
    text-0.11.2.3
    utf8-string-0.3.7
    xml-1.3.12

Changed 10 months ago by maeder

It seems that you got further than I ever came. Can you try to comment out this bit 

-bash-3.00$ diff OMDoc/Import.hs~ OMDoc/Import.hs
181,182c181
<   mt <- getModificationTime fp
<   return $ setFilePath fp mt $ emptyLibName s
---
>   return $ emptyLibName s

Changed 10 months ago by simonpj

OK that helped. I had a similar error in Static/AnalysisLibrary which I fixed with an error thunk thus: 

  let mt = error "urk"
--  mt <- if checkUri file then return noTime
--    else lift $ getModificationTime file

But then everything compiled. No overlapping instance error. Now what?

Simon 

...
[492 of 502] Compiling Static.AnalysisLibrary ( Static/AnalysisLibrary.hs, Static/AnalysisLibrary.o )
[493 of 502] Compiling Driver.AnaLib    ( Driver/AnaLib.hs, Driver/AnaLib.o )
[494 of 502] Compiling CMDL.DgCommands  ( CMDL/DgCommands.hs, CMDL/DgCommands.o )
[495 of 502] Compiling CMDL.ProveCommands ( CMDL/ProveCommands.hs, CMDL/ProveCommands.o )
[496 of 502] Compiling CMDL.ConsCommands ( CMDL/ConsCommands.hs, CMDL/ConsCommands.o )
[497 of 502] Compiling CMDL.Commands    ( CMDL/Commands.hs, CMDL/Commands.o )
[498 of 502] Compiling CMDL.ParseProofScript ( CMDL/ParseProofScript.hs, CMDL/ParseProofScript.o )
[499 of 502] Compiling CMDL.ProcessScript ( CMDL/ProcessScript.hs, CMDL/ProcessScript.o )
[500 of 502] Compiling CMDL.Interface   ( CMDL/Interface.hs, CMDL/Interface.o )
[501 of 502] Compiling PGIP.XMLparsing  ( PGIP/XMLparsing.hs, PGIP/XMLparsing.o )
[502 of 502] Compiling Main             ( hets.hs, hets.o )
Linking hets ...
simonpj@cam-05-unx:~/tmp/Hets$

Changed 10 months ago 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

Changed 10 months ago by maeder

(after "gmake clean")

Changed 10 months ago by simonpj

I did fix some stuff to do with kinds that *could* have made this go wrong. I think we'll declare it fixed, but perhaps you can compile the HEAD compiler and try?

My compilation sequence from clean is below 

simonpj@cam-05-unx:~/tmp/Hets$ make
ghc-pkg: cannot find package tar
ghc-pkg: cannot find package glade
ghc-pkg: cannot find package hexpat
ghc-pkg: cannot find package HTTP
ghc-pkg: cannot find package uni-uDrawGraph
ghc-pkg: cannot find package warp
ghc-pkg: cannot find package wai-extra
ghc-pkg: cannot find package parsec1
/home/simonpj/5builds/HEAD/inplace/bin/ghc-stage2 -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 )
[384 of 502] Compiling Comorphisms.PCoClTyConsHOL2IsabelleHOL ( Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs, Comorphisms/PCoClTyConsHOL2IsabelleHOL.o )
[385 of 502] Compiling Comorphisms.MonadicHasCASLTranslation ( Comorphisms/MonadicHasCASLTranslation.hs, Comorphisms/MonadicHasCASLTranslation.o )
[386 of 502] Compiling Comorphisms.PCoClTyConsHOL2PairsInIsaHOL ( Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs, Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.o )
[387 of 502] Compiling Comorphisms.HasCASL2PCoClTyConsHOL ( Comorphisms/HasCASL2PCoClTyConsHOL.hs, Comorphisms/HasCASL2PCoClTyConsHOL.o )
[388 of 502] Compiling Comorphisms.QBF2Prop ( Comorphisms/QBF2Prop.hs, Comorphisms/QBF2Prop.o )
[389 of 502] Compiling Comorphisms.Prop2QBF ( Comorphisms/Prop2QBF.hs, Comorphisms/Prop2QBF.o )
[390 of 502] Compiling OWL2.DMU2OWL2    ( OWL2/DMU2OWL2.hs, OWL2/DMU2OWL2.o )
[391 of 502] Compiling OWL2.OWL22CommonLogic ( OWL2/OWL22CommonLogic.hs, OWL2/OWL22CommonLogic.o )
[392 of 502] Compiling OWL2.Propositional2OWL2 ( OWL2/Propositional2OWL2.hs, OWL2/Propositional2OWL2.o )
[393 of 502] Compiling Syntax.Parse_AS_Structured ( Syntax/Parse_AS_Structured.hs, Syntax/Parse_AS_Structured.o )
[394 of 502] Compiling Syntax.Parse_AS_Architecture ( Syntax/Parse_AS_Architecture.hs, Syntax/Parse_AS_Architecture.o )
[395 of 502] Compiling FreeCAD.Logic_FreeCAD ( FreeCAD/Logic_FreeCAD.hs, FreeCAD/Logic_FreeCAD.o )
[396 of 502] Compiling CASL.Qualify     ( CASL/Qualify.hs, CASL/Qualify.o )
[397 of 502] Compiling CASL.Logic_CASL  ( CASL/Logic_CASL.hs, CASL/Logic_CASL.o )
[398 of 502] Compiling Comorphisms.LogicList ( Comorphisms/LogicList.hs, Comorphisms/LogicList.o )
[399 of 502] Compiling Comorphisms.CASL2PCFOL ( Comorphisms/CASL2PCFOL.hs, Comorphisms/CASL2PCFOL.o )
[400 of 502] Compiling Comorphisms.CASL2SubCFOL ( Comorphisms/CASL2SubCFOL.hs, Comorphisms/CASL2SubCFOL.o )
[401 of 502] Compiling Comorphisms.CASL2HasCASL ( Comorphisms/CASL2HasCASL.hs, Comorphisms/CASL2HasCASL.o )
[402 of 502] Compiling Comorphisms.CFOL2IsabelleHOL ( Comorphisms/CFOL2IsabelleHOL.hs, Comorphisms/CFOL2IsabelleHOL.o )
[403 of 502] Compiling Comorphisms.SuleCFOL2SoftFOL ( Comorphisms/SuleCFOL2SoftFOL.hs, Comorphisms/SuleCFOL2SoftFOL.o )
[404 of 502] Compiling Comorphisms.Prop2CASL ( Comorphisms/Prop2CASL.hs, Comorphisms/Prop2CASL.o )
[405 of 502] Compiling Comorphisms.CASL2Prop ( Comorphisms/CASL2Prop.hs, Comorphisms/CASL2Prop.o )
[406 of 502] Compiling Comorphisms.CASL2TopSort ( Comorphisms/CASL2TopSort.hs, Comorphisms/CASL2TopSort.o )
[407 of 502] Compiling Comorphisms.DFOL2CASL ( Comorphisms/DFOL2CASL.hs, Comorphisms/DFOL2CASL.o )
[408 of 502] Compiling OWL2.OWL22CASL   ( OWL2/OWL22CASL.hs, OWL2/OWL22CASL.o )
[409 of 502] Compiling OWL2.CASL2OWL    ( OWL2/CASL2OWL.hs, OWL2/CASL2OWL.o )
[410 of 502] Compiling Modal.Logic_Modal ( Modal/Logic_Modal.hs, Modal/Logic_Modal.o )
[411 of 502] Compiling Comorphisms.CASL2Modal ( Comorphisms/CASL2Modal.hs, Comorphisms/CASL2Modal.o )
[412 of 502] Compiling Comorphisms.Modal2CASL ( Comorphisms/Modal2CASL.hs, Comorphisms/Modal2CASL.o )
[413 of 502] Compiling Modifications.ModalEmbedding ( Modifications/ModalEmbedding.hs, Modifications/ModalEmbedding.o )
[414 of 502] Compiling Comorphisms.LogicGraph ( Comorphisms/LogicGraph.hs, Comorphisms/LogicGraph.o )
[415 of 502] Compiling Static.WACocone  ( Static/WACocone.hs, Static/WACocone.o )
[416 of 502] Compiling Comorphisms.KnownProvers ( Comorphisms/KnownProvers.hs, Comorphisms/KnownProvers.o )
[417 of 502] Compiling Proofs.AbstractState ( Proofs/AbstractState.hs, Proofs/AbstractState.o )
[418 of 502] Compiling CASL.CompositionTable.ModelChecker ( CASL/CompositionTable/ModelChecker.hs, CASL/CompositionTable/ModelChecker.o )
[419 of 502] Compiling Isabelle.CreateTheories ( Isabelle/CreateTheories.hs, Isabelle/CreateTheories.o )
[420 of 502] Compiling SoftFOL.CreateDFGDoc ( SoftFOL/CreateDFGDoc.hs, SoftFOL/CreateDFGDoc.o )
[421 of 502] Compiling Syntax.Parse_AS_Library ( Syntax/Parse_AS_Library.hs, Syntax/Parse_AS_Library.o )
[422 of 502] Compiling ATC.Grothendieck ( ATC/Grothendieck.hs, ATC/Grothendieck.o )
[423 of 502] Compiling ATC.AS_Structured ( ATC/AS_Structured.hs, ATC/AS_Structured.o )
[424 of 502] Compiling ATC.AS_Architecture ( ATC/AS_Architecture.hs, ATC/AS_Architecture.o )
[425 of 502] Compiling ATC.Sml_cats     ( ATC/Sml_cats.hs, ATC/Sml_cats.o )
[426 of 502] Compiling Common.SExpr     ( Common/SExpr.hs, Common/SExpr.o )
[427 of 502] Compiling CASL.ToSExpr     ( CASL/ToSExpr.hs, CASL/ToSExpr.o )
[428 of 502] Compiling ATC.AS_Library   ( ATC/AS_Library.hs, ATC/AS_Library.o )
[429 of 502] Compiling Syntax.Print_AS_Library ( Syntax/Print_AS_Library.hs, Syntax/Print_AS_Library.o )
[430 of 502] Compiling Syntax.ToXml     ( Syntax/ToXml.hs, Syntax/ToXml.o )
[431 of 502] Compiling ATC.DgUtils      ( ATC/DgUtils.hs, ATC/DgUtils.o )
[432 of 502] Compiling ATC.XGraph       ( ATC/XGraph.hs, ATC/XGraph.o )
[433 of 502] Compiling VSE.As           ( VSE/As.hs, VSE/As.o )
[434 of 502] Compiling VSE.Fold         ( VSE/Fold.hs, VSE/Fold.o )
[435 of 502] Compiling VSE.Ana          ( VSE/Ana.hs, VSE/Ana.o )
[436 of 502] Compiling VSE.ToSExpr      ( VSE/ToSExpr.hs, VSE/ToSExpr.o )
[437 of 502] Compiling VSE.Parse        ( VSE/Parse.hs, VSE/Parse.o )
[438 of 502] Compiling VSE.ATC_VSE      ( VSE/ATC_VSE.hs, VSE/ATC_VSE.o )
[439 of 502] Compiling VSE.Logic_VSE    ( VSE/Logic_VSE.hs, VSE/Logic_VSE.o )
[440 of 502] Compiling Static.DevGraph  ( Static/DevGraph.hs, Static/DevGraph.o )
[441 of 502] Compiling Interfaces.DataTypes ( Interfaces/DataTypes.hs, Interfaces/DataTypes.o )
[442 of 502] Compiling Static.History   ( Static/History.hs, Static/History.o )
[443 of 502] Compiling Static.ComputeTheory ( Static/ComputeTheory.hs, Static/ComputeTheory.o )
[444 of 502] Compiling Static.PrintDevGraph ( Static/PrintDevGraph.hs, Static/PrintDevGraph.o )
[445 of 502] Compiling Static.ToXml     ( Static/ToXml.hs, Static/ToXml.o )
[446 of 502] Compiling Interfaces.History ( Interfaces/History.hs, Interfaces/History.o )
[447 of 502] Compiling CMDL.Utils       ( CMDL/Utils.hs, CMDL/Utils.o )
[448 of 502] Compiling Static.CheckGlobalContext ( Static/CheckGlobalContext.hs, Static/CheckGlobalContext.o )
[449 of 502] Compiling Static.DotGraph  ( Static/DotGraph.hs, Static/DotGraph.o )
[450 of 502] Compiling Proofs.StatusUtils ( Proofs/StatusUtils.hs, Proofs/StatusUtils.o )
[451 of 502] Compiling ATC.DevGraph     ( ATC/DevGraph.hs, ATC/DevGraph.o )
[452 of 502] Compiling Static.ArchDiagram ( Static/ArchDiagram.hs, Static/ArchDiagram.o )
[453 of 502] Compiling Framework.Analysis ( Framework/Analysis.hs, Framework/Analysis.o )
[454 of 502] Compiling Proofs.ComputeColimit ( Proofs/ComputeColimit.hs, Proofs/ComputeColimit.o )
[455 of 502] Compiling Proofs.NormalForm ( Proofs/NormalForm.hs, Proofs/NormalForm.o )
[456 of 502] Compiling Proofs.EdgeUtils ( Proofs/EdgeUtils.hs, Proofs/EdgeUtils.o )
[457 of 502] Compiling Proofs.Global    ( Proofs/Global.hs, Proofs/Global.o )
[458 of 502] Compiling Proofs.Local     ( Proofs/Local.hs, Proofs/Local.o )
[459 of 502] Compiling Proofs.HideTheoremShift ( Proofs/HideTheoremShift.hs, Proofs/HideTheoremShift.o )
[460 of 502] Compiling Proofs.SimpleTheoremHideShift ( Proofs/SimpleTheoremHideShift.hs, Proofs/SimpleTheoremHideShift.o )
[461 of 502] Compiling Proofs.TheoremHideShift ( Proofs/TheoremHideShift.hs, Proofs/TheoremHideShift.o )
[462 of 502] Compiling Proofs.Automatic ( Proofs/Automatic.hs, Proofs/Automatic.o )
[463 of 502] Compiling Proofs.QualifyNames ( Proofs/QualifyNames.hs, Proofs/QualifyNames.o )
[464 of 502] Compiling Proofs.DGFlattening ( Proofs/DGFlattening.hs, Proofs/DGFlattening.o )
[465 of 502] Compiling Proofs.Freeness  ( Proofs/Freeness.hs, Proofs/Freeness.o )
[466 of 502] Compiling Proofs.Composition ( Proofs/Composition.hs, Proofs/Composition.o )
[467 of 502] Compiling Proofs.Conservativity ( Proofs/Conservativity.hs, Proofs/Conservativity.o )
[468 of 502] Compiling Proofs.TriangleCons ( Proofs/TriangleCons.hs, Proofs/TriangleCons.o )
[469 of 502] Compiling Interfaces.CmdAction ( Interfaces/CmdAction.hs, Interfaces/CmdAction.o )
[470 of 502] Compiling Driver.Options   ( Driver/Options.hs, Driver/Options.o )
[471 of 502] Compiling CMDL.DataTypes   ( CMDL/DataTypes.hs, CMDL/DataTypes.o )
[472 of 502] Compiling PGIP.XMLstate    ( PGIP/XMLstate.hs, PGIP/XMLstate.o )
[473 of 502] Compiling LF.Twelf2DG      ( LF/Twelf2DG.hs, LF/Twelf2DG.o )
[474 of 502] Compiling Static.AnalysisStructured ( Static/AnalysisStructured.hs, Static/AnalysisStructured.o )
[475 of 502] Compiling Maude.Maude2DG   ( Maude/Maude2DG.hs, Maude/Maude2DG.o )
[476 of 502] Compiling CommonLogic.ParseCLAsLibDefn ( CommonLogic/ParseCLAsLibDefn.hs, CommonLogic/ParseCLAsLibDefn.o )
[477 of 502] Compiling OWL2.ParseOWLAsLibDefn ( OWL2/ParseOWLAsLibDefn.hs, OWL2/ParseOWLAsLibDefn.o )
[478 of 502] Compiling Driver.ReadFn    ( Driver/ReadFn.hs, Driver/ReadFn.o )
[479 of 502] Compiling Static.FromXml   ( Static/FromXml.hs, Static/FromXml.o )
[480 of 502] Compiling OMDoc.Import     ( OMDoc/Import.hs, OMDoc/Import.o )

OMDoc/Import.hs:180:7: Warning: Defined but not used: `fp'
[481 of 502] Compiling Interfaces.Utils ( Interfaces/Utils.hs, Interfaces/Utils.o )
[482 of 502] Compiling CMDL.DataTypesUtils ( CMDL/DataTypesUtils.hs, CMDL/DataTypesUtils.o )
[483 of 502] Compiling CMDL.UndoRedo    ( CMDL/UndoRedo.hs, CMDL/UndoRedo.o )
[484 of 502] Compiling CMDL.Shell       ( CMDL/Shell.hs, CMDL/Shell.o )
[485 of 502] Compiling CMDL.InfoCommands ( CMDL/InfoCommands.hs, CMDL/InfoCommands.o )
[486 of 502] Compiling CMDL.ProveConsistency ( CMDL/ProveConsistency.hs, CMDL/ProveConsistency.o )
[487 of 502] Compiling Driver.WriteLibDefn ( Driver/WriteLibDefn.hs, Driver/WriteLibDefn.o )
[488 of 502] Compiling OMDoc.Export     ( OMDoc/Export.hs, OMDoc/Export.o )
[489 of 502] Compiling Driver.WriteFn   ( Driver/WriteFn.hs, Driver/WriteFn.o )
[490 of 502] Compiling Static.ApplyChanges ( Static/ApplyChanges.hs, Static/ApplyChanges.o )
[491 of 502] Compiling Static.AnalysisArchitecture ( Static/AnalysisArchitecture.hs, Static/AnalysisArchitecture.o )
[492 of 502] Compiling Static.AnalysisLibrary ( Static/AnalysisLibrary.hs, Static/AnalysisLibrary.o )
[493 of 502] Compiling Driver.AnaLib    ( Driver/AnaLib.hs, Driver/AnaLib.o )
[494 of 502] Compiling CMDL.DgCommands  ( CMDL/DgCommands.hs, CMDL/DgCommands.o )
[495 of 502] Compiling CMDL.ProveCommands ( CMDL/ProveCommands.hs, CMDL/ProveCommands.o )
[496 of 502] Compiling CMDL.ConsCommands ( CMDL/ConsCommands.hs, CMDL/ConsCommands.o )
[497 of 502] Compiling CMDL.Commands    ( CMDL/Commands.hs, CMDL/Commands.o )
[498 of 502] Compiling CMDL.ParseProofScript ( CMDL/ParseProofScript.hs, CMDL/ParseProofScript.o )
[499 of 502] Compiling CMDL.ProcessScript ( CMDL/ProcessScript.hs, CMDL/ProcessScript.o )
[500 of 502] Compiling CMDL.Interface   ( CMDL/Interface.hs, CMDL/Interface.o )
[501 of 502] Compiling PGIP.XMLparsing  ( PGIP/XMLparsing.hs, PGIP/XMLparsing.o )
[502 of 502] Compiling Main             ( hets.hs, hets.o )
Linking hets ...
simonpj@cam-05-unx:~/tmp/Hets$

Changed 10 months ago by simonpj

  • status changed from new to closed
  • resolution set to worksforme

Changed 10 months ago by maeder

I've tried now the same with ghc-7.6.0.20120815 under x86_64 linux and I got the same failure. Unfortunately I could not use a binary snapshot 

maeder@pollux:/local/home/maeder/ghc-7.6.0.20120815> ./configure 
checking for path to top of build tree... utils/ghc-pwd/dist-install/build/tmp/ghc-pwd: /lib64/libc.so.6: version `GLIBC_2.14' not found (required by utils/ghc-pwd/dist-install/build/tmp/ghc-pwd)
utils/ghc-pwd/dist-install/build/tmp/ghc-pwd: /lib64/libc.so.6: version `GLIBC_2.15' not found (required by utils/ghc-pwd/dist-install/build/tmp/ghc-pwd)
configure: error: cannot determine current directory

I'll try out http://www.haskell.org/ghc/dist/current/dist/ghc-7.7.20120820-src.tar.bz2

(Also the network package is now updated on hackage, so no patches are needed anymore)

Changed 10 months ago by maeder

  • os changed from Solaris to Unknown/Multiple
  • architecture changed from x86 to Unknown/Multiple

Changed 10 months ago by simonpj

15 August sounds a bit early.

Changed 10 months ago by maeder

Ok, I see http://www.haskell.org/ghc/dist/stable/dist/ghc-7.6.0.20120820-src.tar.bz2 today.

Changed 10 months ago by igloo

If you are testing 7.6.1 RC 1, please use the source tarball from http://www.haskell.org/ghc/dist/7.6.1-rc1/

Changed 10 months ago by maeder

No, I just want to test if this (definite) bug of 7.6.1 RC 1 is gone in a newer version (or head) as Simon reported.

Changed 10 months ago by maeder

  • status changed from closed to merge

It works for me now with ghc-7.7.20120820 but fails for ghc-7.6.0.20120820. So still some merging is needed.

Changed 10 months ago by maeder

to reproduce do 

cabal install aterm fgl xml network utf8-string
svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk Hets
cd Hets
make

Changed 10 months ago by simonpj

  • status changed from merge to closed
  • resolution changed from worksforme to fixed

I think I've fixed this: see #7171.

Can you try now with the 7.6 branch when the next branch snapshot appears? And reopen if still broken.

Simon

Note: See TracTickets for help on using tickets.