*** setup configure Configuring liboleg-2010.1.10.0... Dependency CC-delcont -any: using CC-delcont-0.2 Dependency base ==4.*: using base-4.3.0.0 Dependency containers -any: using containers-0.4.0.0 Dependency mtl -any: using mtl-2.0.1.0 Dependency template-haskell -any: using template-haskell-2.5.0.0 Dependency unix -any: using unix-2.4.1.0 Using Cabal-1.10.0.0 compiled by ghc-7.0 Using compiler: ghc-7.0.1 Using install prefix: /usr/local/tmp/archive/install Binaries installed in: /usr/local/tmp/archive/install/bin Libraries installed in: /usr/local/tmp/archive/install/lib/liboleg-2010.1.10.0/ghc-7.0.1 Private binaries installed in: /usr/local/tmp/archive/install/libexec Data files installed in: /usr/local/tmp/archive/install/share/liboleg-2010.1.10.0 Documentation installed in: /usr/local/tmp/archive/install/share/doc/liboleg-2010.1.10.0 Using alex version 2.3.3 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar Using c2hs version 0.16.0 found on system at: /usr/local/bin/c2hs Using cpphs version 1.11 found on system at: /usr/local/bin/cpphs Using ffihugs found on system at: /usr/local/bin/ffihugs Using gcc version 4.4.5 found on system at: /usr/bin/gcc Using ghc version 7.0.1 found on system at: /usr/local/bin/ghc Using ghc-pkg version 7.0.1 found on system at: /usr/local/bin/ghc-pkg No greencard found Using haddock version 2.8.0 found on system at: /usr/local/bin/haddock Using happy version 1.18.6 found on system at: /usr/local/bin/happy No hmake found Using hsc2hs version 0.67 found on system at: /usr/local/bin/hsc2hs Using hscolour version 1.17 found on system at: /usr/local/bin/HsColour Using hugs found on system at: /usr/local/bin/hugs No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found Using pkg-config version 0.25 found on system at: /usr/bin/pkg-config Using ranlib found on system at: /usr/bin/ranlib Using strip found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found *** setup build Creating dist/build (and its parents) Creating dist/build/autogen (and its parents) Preprocessing library liboleg-2010.1.10.0... Building liboleg-2010.1.10.0... Building library... Creating dist/build (and its parents) /usr/local/bin/ghc --make -package-name liboleg-2010.1.10.0 -hide-all-packages -fbuilding-cabal-package -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -Iinclude -optP-include -optPdist/build/autogen/cabal_macros.h -odir dist/build -hidir dist/build -stubdir dist/build -package-id CC-delcont-0.2-2a769852082bf51336df090e59d1f69d -package-id base-4.3.0.0-b91367e4fa5bd47d8e75958171ad21b7 -package-id containers-0.4.0.0-5e5729c8cc8101038443c9bd0115af01 -package-id mtl-2.0.1.0-53db6a067853ff76cc2a84d2eb4d3dbf -package-id template-haskell-2.5.0.0-f262af1f92a427f5cf4133bff041044f -package-id unix-2.4.1.0-7a6f0bd0ef9ac3d459bc3c4ee924b0d6 -O -funbox-strict-fields -XHaskell98 Data.FDList Data.Class1 Data.Class2 Data.Numerals Data.Symbolic.Diff Data.Symbolic.DiffTest Data.Symbolic.TypedCodeAux Data.Symbolic.TypedCode Control.CaughtMonadIO Control.ShiftResetGenuine Control.VarStateM Control.ExtensibleDS Control.Poly2 Control.StateAlgebra Control.CCExc Control.CCCxe Control.CCRef Control.Mutation Control.Generator1 Control.Generator2 Codec.Image.Tiff Lambda.CCG Lambda.CFG1EN Lambda.CFG1Sem Lambda.CFG2EN Lambda.CFG2Sem Lambda.CFG3EN Lambda.CFG3Sem Lambda.CFG4 Lambda.CFG Lambda.CFGJ Lambda.Dynamics Lambda.QCFG Lambda.QCFGJ Lambda.QHCFG Lambda.Semantics Language.TypeLC Language.TypeFN Language.DefinitionTree Language.TEval.EvalN Language.TEval.EvalTaglessF Language.TEval.EvalTaglessI Language.TEval.TEvalNC Language.TEval.TEvalNR Language.TEval.TInfLetI Language.TEval.TInfLetP Language.TEval.TInfT Language.TEval.TInfTEnv Language.TEval.TInfTM Language.CB Language.CBAny Language.CPS Language.CB98 Language.LinearLC Language.Symantics1 Language.TTF Language.TTFdB Language.TDPE Language.ToTDPE Language.Typ Language.TypeCheck Language.Fibration Logic.DynEpistemology Text.PrintScan Text.PrintScanF Text.GenPrintF Text.TotalPrintF Text.TFTest System.SysOpen System.IterateeM System.LowLevelIO System.RandomIO System.SafeHandles [ 1 of 73] Compiling System.SafeHandles ( System/SafeHandles.hs, dist/build/System/SafeHandles.o ) Control/CaughtMonadIO.hs:27:12: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Control/Poly2.hs:1:12: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Control/StateAlgebra.hs:1:12: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Data/Numerals.hs:1:12: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Data/Symbolic/Diff.hs:1:12: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Data/Symbolic/DiffTest.hs:1:12: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Data/Symbolic/TypedCode.hs:1:12: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Data/Symbolic/TypedCodeAux.hs:1:12: Warning: -fglasgow-exts is deprecated: Use individual extensions instead System/SafeHandles.hs:70:1: Warning: Module `Control.OldException' is deprecated: Future versions of base will not support the old exceptions style. Please switch to extensible exceptions. System/SafeHandles.hs:70:1: Warning: In the use of type constructor or class `Exception' (imported from Control.OldException): Deprecated: "Future versions of base will not support the old exceptions style. Please switch to extensible exceptions." System/SafeHandles.hs:70:1: Warning: In the use of data constructor `IOException' (imported from Control.OldException): Deprecated: "Future versions of base will not support the old exceptions style. Please switch to extensible exceptions." System/SafeHandles.hs:70:1: Warning: In the use of `catch' (imported from Control.OldException): Deprecated: "Future versions of base will not support the old exceptions style. Please switch to extensible exceptions." System/SafeHandles.hs:70:1: Warning: In the use of `bracket' (imported from Control.OldException): Deprecated: "Future versions of base will not support the old exceptions style. Please switch to extensible exceptions." System/SafeHandles.hs:70:1: Warning: In the use of `ioErrors' (imported from Control.OldException): Deprecated: "Future versions of base will not support the old exceptions style. Please switch to extensible exceptions." System/SafeHandles.hs:76:1: Warning: Module `GHC.IOBase' is deprecated: use GHC.IO instead [ 2 of 73] Compiling System.LowLevelIO ( System/LowLevelIO.hs, dist/build/System/LowLevelIO.o ) [ 3 of 73] Compiling System.SysOpen ( System/SysOpen.hs, dist/build/System/SysOpen.o ) [ 4 of 73] Compiling Text.GenPrintF ( Text/GenPrintF.hs, dist/build/Text/GenPrintF.o ) [ 5 of 73] Compiling Text.PrintScanF ( Text/PrintScanF.hs, dist/build/Text/PrintScanF.o ) [ 6 of 73] Compiling Text.TotalPrintF ( Text/TotalPrintF.hs, dist/build/Text/TotalPrintF.o ) [ 7 of 73] Compiling Text.TFTest ( Text/TFTest.hs, dist/build/Text/TFTest.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package unix-2.4.1.0 ... linking ... done. Loading package array-0.3.0.2 ... linking ... done. Loading package containers-0.4.0.0 ... linking ... done. Loading package pretty-1.0.1.2 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package transformers-0.2.2.0 ... linking ... done. Loading package mtl-2.0.1.0 ... linking ... done. Loading package CC-delcont-0.2 ... linking ... done. Loading package ffi-1.0 ... linking ... done. [ 8 of 73] Compiling Text.PrintScan ( Text/PrintScan.hs, dist/build/Text/PrintScan.o ) [ 9 of 73] Compiling Logic.DynEpistemology ( Logic/DynEpistemology.hs, dist/build/Logic/DynEpistemology.o ) [10 of 73] Compiling Language.Fibration ( Language/Fibration.lhs, dist/build/Language/Fibration.o ) [11 of 73] Compiling Language.Typ ( Language/Typ.hs, dist/build/Language/Typ.o ) [12 of 73] Compiling Language.ToTDPE ( Language/ToTDPE.hs, dist/build/Language/ToTDPE.o ) [13 of 73] Compiling Language.TTFdB ( Language/TTFdB.hs, dist/build/Language/TTFdB.o ) [14 of 73] Compiling Language.TypeCheck ( Language/TypeCheck.hs, dist/build/Language/TypeCheck.o ) [15 of 73] Compiling Language.Symantics1 ( Language/Symantics1.hs, dist/build/Language/Symantics1.o ) Language/Symantics1.hs:162:19: Couldn't match type `r' with `ans' because this skolem type variable would escape: `ans' This skolem is bound by the polymorphic type `forall ans. CC ans a' The following variables have types that mention r init :: CC r T (bound at Language/Symantics1.hs:164:2) In the first argument of `runCC', namely `init' In the expression: runCC init In an equation for `runSem': runSem qorder m = runCC init where init = do { uni <- newPrompt; .... }