*** setup configure

setup/setup configure --ghc --user --prefix=/usr/local/tmp/archive/install --haddock-option=--use-contents=http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sessions-2007.6.17 --verbose
Configuring sessions-2007.6.17...
Warning: No 'build-type' specified. If you do not need a custom Setup.hs or
./configure script then use 'build-type: Simple'.
Dependency base -any: using base-4.1.0.0
Dependency mtl -any: using mtl-1.1.0.2
Using Cabal-1.6.0.1 compiled by ghc-6.10
Using compiler: ghc-6.10.2
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/sessions-2007.6.17/ghc-6.10.2
Private binaries installed in: /usr/local/tmp/archive/install/libexec
Data files installed in:
/usr/local/tmp/archive/install/share/sessions-2007.6.17
Documentation installed in:
/usr/local/tmp/archive/install/share/doc/sessions-2007.6.17
Using alex version 2.2 found on system at: /usr/bin/alex
Using ar found on system at: /usr/bin/ar
Using c2hs version 0.15.1 found on system at: /usr/local/bin/c2hs
Using cpphs version 0.7 found on system at: /usr/bin/cpphs
Using ffihugs found on system at: /usr/local/bin/ffihugs
Using gcc version 4.3.3 found on system at: /usr/bin/gcc
Using ghc version 6.10.2 found on system at: /usr/local/bin/ghc
Using ghc-pkg version 6.10.2 found on system at: /usr/local/bin/ghc-pkg
No greencard found
Using haddock version 2.4.2 found on system at: /usr/local/bin/haddock
Using happy version 1.17 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.9 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 nhc98 found
Using pkg-config version 0.22 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

*** setup build

setup/setup build --verbose
Creating dist/build (and its parents)
Creating dist/build/autogen (and its parents)
Preprocessing library sessions-2007.6.17...
Building sessions-2007.6.17...
Building library...
Creating dist/build (and its parents)
/usr/local/bin/ghc -package-name sessions-2007.6.17 --make -hide-all-packages -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -odir dist/build -hidir dist/build -stubdir dist/build -package base-4.1.0.0 -package mtl-1.1.0.2 -O -O2 Control.Concurrent.Session Control.Concurrent.Session.BaseClasses Control.Concurrent.Session.BaseTypes Control.Concurrent.Session.Choice Control.Concurrent.Session.ExtraClasses Control.Concurrent.Session.List Control.Concurrent.Session.Loop Control.Concurrent.Session.Runtime Control.Concurrent.Session.State

Control/Concurrent/Session/BaseClasses.hs:20:15:
    Warning: -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances#-} instead

Control/Concurrent/Session/BaseClasses.hs:20:15:
    Warning: -fallow-overlapping-instances is deprecated: use -XOverlappingInstances or pragma {-# LANGUAGE OverlappingInstances#-} instead

Control/Concurrent/Session/Choice.hs:20:15:
    Warning: -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances#-} instead

Control/Concurrent/Session/List.hs:20:15:
    Warning: -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances#-} instead

Control/Concurrent/Session/Loop.hs:20:15:
    Warning: -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances#-} instead

Control/Concurrent/Session/Loop.hs:20:15:
    Warning: -fallow-overlapping-instances is deprecated: use -XOverlappingInstances or pragma {-# LANGUAGE OverlappingInstances#-} instead

Control/Concurrent/Session/Runtime.hs:20:15:
    Warning: -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances#-} instead

Control/Concurrent/Session/Runtime.hs:20:15:
    Warning: -fallow-overlapping-instances is deprecated: use -XOverlappingInstances or pragma {-# LANGUAGE OverlappingInstances#-} instead
[1 of 9] Compiling Control.Concurrent.Session.List ( Control/Concurrent/Session/List.hs, dist/build/Control/Concurrent/Session/List.o )
[2 of 9] Compiling Control.Concurrent.Session.ExtraClasses ( Control/Concurrent/Session/ExtraClasses.hs, dist/build/Control/Concurrent/Session/ExtraClasses.o )
[3 of 9] Compiling Control.Concurrent.Session.BaseTypes ( Control/Concurrent/Session/BaseTypes.hs, dist/build/Control/Concurrent/Session/BaseTypes.o )
[4 of 9] Compiling Control.Concurrent.Session.BaseClasses ( Control/Concurrent/Session/BaseClasses.hs, dist/build/Control/Concurrent/Session/BaseClasses.o )

Control/Concurrent/Session/BaseClasses.hs:47:38:
    Could not deduce (DualT anyof oneof)
      from the context (OfferT (List t anyof)
                          ~
                        OfferT (List generalType specList),
                        SpecList generalType specList)
      arising from a use of `dual'
                   at Control/Concurrent/Session/BaseClasses.hs:47:38-46
    Possible fix:
      add (DualT anyof oneof) to the context of the constructor `OfferS'
    In the first argument of `SelectS', namely `(dual list)'
    In the expression: SelectS (dual list)
    In the definition of `dual':
        dual (OfferS list) = SelectS (dual list)

Control/Concurrent/Session/BaseClasses.hs:50:38:
    Could not deduce (DualT oneof anyof)
      from the context (SelectT (List t oneof)
                          ~
                        SelectT (List generalType specList),
                        SpecList generalType specList)
      arising from a use of `dual'
                   at Control/Concurrent/Session/BaseClasses.hs:50:38-46
    Possible fix:
      add (DualT oneof anyof) to the context of the constructor `SelectS'
    In the first argument of `OfferS', namely `(dual list)'
    In the expression: OfferS (dual list)
    In the definition of `dual':
        dual (SelectS list) = OfferS (dual list)

Control/Concurrent/Session/BaseClasses.hs:92:66:
    Could not deduce (BuildReductionListPrimitives
                        lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
      from the context (SendT t n ~ SendT t1 n1)
      arising from a use of `findReduction'
                   at Control/Concurrent/Session/BaseClasses.hs:92:66-96
    Possible fix:
      add (BuildReductionListPrimitives
             lstLoop
             (SessionSpec n)
             (Cons val (Succ len) nxt)) to the context of
        the constructor `SendS'
      or add an instance declaration for
         (BuildReductionListPrimitives
            lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
    In the expression: findReduction lastSeenLoop spec
    In the definition of `nxt': nxt = findReduction lastSeenLoop spec
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (SendS t spec) nxt

Control/Concurrent/Session/BaseClasses.hs:92:101:
    Could not deduce (ListLength nxt len)
      from the context (SendT t n ~ SendT t1 n1)
      arising from a use of `cons'
                   at Control/Concurrent/Session/BaseClasses.hs:92:101-123
    Possible fix:
      add (ListLength nxt len) to the context of the constructor `SendS'
    In the expression: cons (SendS t spec) nxt
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (SendS t spec) nxt
    In the definition of `findReductionPrim':
        findReductionPrim lastSeenLoop (SendS t spec)
                            = let nxt = findReduction lastSeenLoop spec
                              in cons (SendS t spec) nxt

Control/Concurrent/Session/BaseClasses.hs:95:66:
    Could not deduce (BuildReductionListPrimitives
                        lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
      from the context (RecvT t n ~ RecvT t1 n1)
      arising from a use of `findReduction'
                   at Control/Concurrent/Session/BaseClasses.hs:95:66-96
    Possible fix:
      add (BuildReductionListPrimitives
             lstLoop
             (SessionSpec n)
             (Cons val (Succ len) nxt)) to the context of
        the constructor `RecvS'
      or add an instance declaration for
         (BuildReductionListPrimitives
            lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
    In the expression: findReduction lastSeenLoop spec
    In the definition of `nxt': nxt = findReduction lastSeenLoop spec
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (RecvS t spec) nxt

Control/Concurrent/Session/BaseClasses.hs:95:101:
    Could not deduce (ListLength nxt len)
      from the context (RecvT t n ~ RecvT t1 n1)
      arising from a use of `cons'
                   at Control/Concurrent/Session/BaseClasses.hs:95:101-123
    Possible fix:
      add (ListLength nxt len) to the context of the constructor `RecvS'
    In the expression: cons (RecvS t spec) nxt
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (RecvS t spec) nxt
    In the definition of `findReductionPrim':
        findReductionPrim lastSeenLoop (RecvS t spec)
                            = let nxt = findReduction lastSeenLoop spec
                              in cons (RecvS t spec) nxt

*** Trying again with preferred-versions

*** setup configure

setup/setup configure --ghc --user --prefix=/usr/local/tmp/archive/install --haddock-option=--use-contents=http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sessions-2007.6.17 --constraint=base<4 --constraint=parsec<3 --constraint=HaXml==1.13.* --constraint=QuickCheck<2 --verbose
Configuring sessions-2007.6.17...
Warning: No 'build-type' specified. If you do not need a custom Setup.hs or
./configure script then use 'build-type: Simple'.
Dependency base -any && <4: using base-3.0.3.1
Dependency mtl -any: using mtl-1.1.0.2
Using Cabal-1.6.0.1 compiled by ghc-6.10
Using compiler: ghc-6.10.2
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/sessions-2007.6.17/ghc-6.10.2
Private binaries installed in: /usr/local/tmp/archive/install/libexec
Data files installed in:
/usr/local/tmp/archive/install/share/sessions-2007.6.17
Documentation installed in:
/usr/local/tmp/archive/install/share/doc/sessions-2007.6.17
Using alex version 2.2 found on system at: /usr/bin/alex
Using ar found on system at: /usr/bin/ar
Using c2hs version 0.15.1 found on system at: /usr/local/bin/c2hs
Using cpphs version 0.7 found on system at: /usr/bin/cpphs
Using ffihugs found on system at: /usr/local/bin/ffihugs
Using gcc version 4.3.3 found on system at: /usr/bin/gcc
Using ghc version 6.10.2 found on system at: /usr/local/bin/ghc
Using ghc-pkg version 6.10.2 found on system at: /usr/local/bin/ghc-pkg
No greencard found
Using haddock version 2.4.2 found on system at: /usr/local/bin/haddock
Using happy version 1.17 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.9 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 nhc98 found
Using pkg-config version 0.22 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

*** setup build

setup/setup build --verbose
Creating dist/build (and its parents)
Creating dist/build/autogen (and its parents)
Preprocessing library sessions-2007.6.17...
Building sessions-2007.6.17...
Building library...
Creating dist/build (and its parents)
/usr/local/bin/ghc -package-name sessions-2007.6.17 --make -hide-all-packages -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -odir dist/build -hidir dist/build -stubdir dist/build -package base-3.0.3.1 -package mtl-1.1.0.2 -O -O2 Control.Concurrent.Session Control.Concurrent.Session.BaseClasses Control.Concurrent.Session.BaseTypes Control.Concurrent.Session.Choice Control.Concurrent.Session.ExtraClasses Control.Concurrent.Session.List Control.Concurrent.Session.Loop Control.Concurrent.Session.Runtime Control.Concurrent.Session.State

Control/Concurrent/Session/BaseClasses.hs:20:15:
    Warning: -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances#-} instead

Control/Concurrent/Session/BaseClasses.hs:20:15:
    Warning: -fallow-overlapping-instances is deprecated: use -XOverlappingInstances or pragma {-# LANGUAGE OverlappingInstances#-} instead

Control/Concurrent/Session/Choice.hs:20:15:
    Warning: -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances#-} instead

Control/Concurrent/Session/List.hs:20:15:
    Warning: -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances#-} instead

Control/Concurrent/Session/Loop.hs:20:15:
    Warning: -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances#-} instead

Control/Concurrent/Session/Loop.hs:20:15:
    Warning: -fallow-overlapping-instances is deprecated: use -XOverlappingInstances or pragma {-# LANGUAGE OverlappingInstances#-} instead

Control/Concurrent/Session/Runtime.hs:20:15:
    Warning: -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances#-} instead

Control/Concurrent/Session/Runtime.hs:20:15:
    Warning: -fallow-overlapping-instances is deprecated: use -XOverlappingInstances or pragma {-# LANGUAGE OverlappingInstances#-} instead
[4 of 9] Compiling Control.Concurrent.Session.BaseClasses ( Control/Concurrent/Session/BaseClasses.hs, dist/build/Control/Concurrent/Session/BaseClasses.o )

Control/Concurrent/Session/BaseClasses.hs:47:38:
    Could not deduce (DualT anyof oneof)
      from the context (OfferT (List t anyof)
                          ~
                        OfferT (List generalType specList),
                        SpecList generalType specList)
      arising from a use of `dual'
                   at Control/Concurrent/Session/BaseClasses.hs:47:38-46
    Possible fix:
      add (DualT anyof oneof) to the context of the constructor `OfferS'
    In the first argument of `SelectS', namely `(dual list)'
    In the expression: SelectS (dual list)
    In the definition of `dual':
        dual (OfferS list) = SelectS (dual list)

Control/Concurrent/Session/BaseClasses.hs:50:38:
    Could not deduce (DualT oneof anyof)
      from the context (SelectT (List t oneof)
                          ~
                        SelectT (List generalType specList),
                        SpecList generalType specList)
      arising from a use of `dual'
                   at Control/Concurrent/Session/BaseClasses.hs:50:38-46
    Possible fix:
      add (DualT oneof anyof) to the context of the constructor `SelectS'
    In the first argument of `OfferS', namely `(dual list)'
    In the expression: OfferS (dual list)
    In the definition of `dual':
        dual (SelectS list) = OfferS (dual list)

Control/Concurrent/Session/BaseClasses.hs:92:66:
    Could not deduce (BuildReductionListPrimitives
                        lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
      from the context (SendT t n ~ SendT t1 n1)
      arising from a use of `findReduction'
                   at Control/Concurrent/Session/BaseClasses.hs:92:66-96
    Possible fix:
      add (BuildReductionListPrimitives
             lstLoop
             (SessionSpec n)
             (Cons val (Succ len) nxt)) to the context of
        the constructor `SendS'
      or add an instance declaration for
         (BuildReductionListPrimitives
            lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
    In the expression: findReduction lastSeenLoop spec
    In the definition of `nxt': nxt = findReduction lastSeenLoop spec
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (SendS t spec) nxt

Control/Concurrent/Session/BaseClasses.hs:92:101:
    Could not deduce (ListLength nxt len)
      from the context (SendT t n ~ SendT t1 n1)
      arising from a use of `cons'
                   at Control/Concurrent/Session/BaseClasses.hs:92:101-123
    Possible fix:
      add (ListLength nxt len) to the context of the constructor `SendS'
    In the expression: cons (SendS t spec) nxt
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (SendS t spec) nxt
    In the definition of `findReductionPrim':
        findReductionPrim lastSeenLoop (SendS t spec)
                            = let nxt = findReduction lastSeenLoop spec
                              in cons (SendS t spec) nxt

Control/Concurrent/Session/BaseClasses.hs:95:66:
    Could not deduce (BuildReductionListPrimitives
                        lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
      from the context (RecvT t n ~ RecvT t1 n1)
      arising from a use of `findReduction'
                   at Control/Concurrent/Session/BaseClasses.hs:95:66-96
    Possible fix:
      add (BuildReductionListPrimitives
             lstLoop
             (SessionSpec n)
             (Cons val (Succ len) nxt)) to the context of
        the constructor `RecvS'
      or add an instance declaration for
         (BuildReductionListPrimitives
            lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
    In the expression: findReduction lastSeenLoop spec
    In the definition of `nxt': nxt = findReduction lastSeenLoop spec
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (RecvS t spec) nxt

Control/Concurrent/Session/BaseClasses.hs:95:101:
    Could not deduce (ListLength nxt len)
      from the context (RecvT t n ~ RecvT t1 n1)
      arising from a use of `cons'
                   at Control/Concurrent/Session/BaseClasses.hs:95:101-123
    Possible fix:
      add (ListLength nxt len) to the context of the constructor `RecvS'
    In the expression: cons (RecvS t spec) nxt
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (RecvS t spec) nxt
    In the definition of `findReductionPrim':
        findReductionPrim lastSeenLoop (RecvS t spec)
                            = let nxt = findReduction lastSeenLoop spec
                              in cons (RecvS t spec) nxt