*** setup configure

Configuring full-sessions-0.6.2...
Dependency base ==4.*: using base-4.3.0.0
Dependency ghc >6.10: using ghc-7.0.1
Dependency network -any: using network-2.3
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/full-sessions-0.6.2/ghc-7.0.1
Private binaries installed in: /usr/local/tmp/archive/install/libexec
Data files installed in:
/usr/local/tmp/archive/install/share/full-sessions-0.6.2
Documentation installed in:
/usr/local/tmp/archive/install/share/doc/full-sessions-0.6.2
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 full-sessions-0.6.2...
Building full-sessions-0.6.2...
Building library...
Creating dist/build (and its parents)
/usr/local/bin/ghc --make -package-name full-sessions-0.6.2 -hide-all-packages -fbuilding-cabal-package -i -idist/build -isrc -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-id base-4.3.0.0-b91367e4fa5bd47d8e75958171ad21b7 -package-id ghc-7.0.1-7846f84f4fa973915df9c2662a445e31 -package-id network-2.3-26ba4584544beecfd3db6f2f2acd5302 -O -XHaskell98 -XMultiParamTypeClasses -XFunctionalDependencies -XFlexibleInstances -XFlexibleContexts -XUndecidableInstances -XOverlappingInstances -XNoMonomorphismRestriction -XRank2Types -XTypeOperators -XEmptyDataDecls -XKindSignatures -XTypeFamilies Control.Concurrent.FullSession FullSession.Base FullSession.TypeEq FullSession.Types FullSession.TypeAlgebra FullSession.Ended FullSession.SMonad FullSession.Recursion FullSession.FullSession FullSession.NwSession FullSession.Incoherent
[ 1 of 11] Compiling FullSession.Base ( src/FullSession/Base.hs, dist/build/FullSession/Base.o )
[ 2 of 11] Compiling FullSession.TypeEq ( src/FullSession/TypeEq.hs, dist/build/FullSession/TypeEq.o )
[ 3 of 11] Compiling FullSession.Types ( src/FullSession/Types.hs, dist/build/FullSession/Types.o )
[ 4 of 11] Compiling FullSession.TypeAlgebra ( src/FullSession/TypeAlgebra.hs, dist/build/FullSession/TypeAlgebra.o )
[ 5 of 11] Compiling FullSession.Ended ( src/FullSession/Ended.hs, dist/build/FullSession/Ended.o )
[ 6 of 11] Compiling FullSession.Recursion ( src/FullSession/Recursion.hs, dist/build/FullSession/Recursion.o )
[ 7 of 11] Compiling FullSession.SMonad ( src/FullSession/SMonad.hs, dist/build/FullSession/SMonad.o )
[ 8 of 11] Compiling FullSession.FullSession ( src/FullSession/FullSession.hs, dist/build/FullSession/FullSession.o )

src/FullSession/FullSession.hs:121:41:
    Could not deduce (UpdateR ss (SubT l3 (S n)) u tt, Sub l3 (S n))
      from the context (RecFold m u r r,
                        RecUnfold m r r u,
                        Pickup ss n (Rec m r),
                        Update ss n u tt,
                        IsEnded ss F)
      arising from a use of `update'
    Possible fix:
      add (UpdateR ss (SubT l3 (S n)) u tt,
           Sub l3 (S n)) to the context of
        the type signature for `unwind'
      or add an instance declaration for
         (UpdateR ss (SubT l3 (S n)) u tt, Sub l3 (S n))
    In the expression: update ss n (unfold (pickup ss n))
    In the first argument of `return', namely
      `(update ss n (unfold (pickup ss n)), ())'
    In the expression: return (update ss n (unfold (pickup ss n)), ())

src/FullSession/FullSession.hs:128:42:
    Could not deduce (UpdateR ss (SubT l2 (S n)) u tt, Sub l2 (S n))
      from the context (RecFold Z u r r,
                        RecUnfold Z r r u,
                        Pickup ss n (Rec Z r),
                        Update ss n u tt,
                        IsEnded ss F)
      arising from a use of `update'
    Possible fix:
      add (UpdateR ss (SubT l2 (S n)) u tt,
           Sub l2 (S n)) to the context of
        the type signature for `unwind0'
      or add an instance declaration for
         (UpdateR ss (SubT l2 (S n)) u tt, Sub l2 (S n))
    In the expression: update ss n (unfold0 (pickup ss n))
    In the first argument of `return', namely
      `(update ss n (unfold0 (pickup ss n)), ())'
    In the expression: return (update ss n (unfold0 (pickup ss n)), ())

src/FullSession/FullSession.hs:135:42:
    Could not deduce (UpdateR ss (SubT l1 (S n)) u tt, Sub l1 (S n))
      from the context (RecFold (S Z) u r r,
                        RecUnfold (S Z) r r u,
                        Pickup ss n (Rec (S Z) r),
                        Update ss n u tt,
                        IsEnded ss F)
      arising from a use of `update'
    Possible fix:
      add (UpdateR ss (SubT l1 (S n)) u tt,
           Sub l1 (S n)) to the context of
        the type signature for `unwind1'
      or add an instance declaration for
         (UpdateR ss (SubT l1 (S n)) u tt, Sub l1 (S n))
    In the expression: update ss n (unfold1 (pickup ss n))
    In the first argument of `return', namely
      `(update ss n (unfold1 (pickup ss n)), ())'
    In the expression: return (update ss n (unfold1 (pickup ss n)), ())

src/FullSession/FullSession.hs:142:42:
    Could not deduce (UpdateR ss (SubT l (S n)) u tt, Sub l (S n))
      from the context (RecFold (S (S Z)) u r r,
                        RecUnfold (S (S Z)) r r u,
                        Pickup ss n (Rec (S (S Z)) r),
                        Update ss n u tt,
                        IsEnded ss F)
      arising from a use of `update'
    Possible fix:
      add (UpdateR ss (SubT l (S n)) u tt, Sub l (S n)) to the context of
        the type signature for `unwind2'
      or add an instance declaration for
         (UpdateR ss (SubT l (S n)) u tt, Sub l (S n))
    In the expression: update ss n (unfold2 (pickup ss n))
    In the first argument of `return', namely
      `(update ss n (unfold2 (pickup ss n)), ())'
    In the expression: return (update ss n (unfold2 (pickup ss n)), ())