Resolving dependencies...
Downloading smtLib-1.0.8...
Configuring smtLib-1.0.8...
Building smtLib-1.0.8...
Preprocessing library smtLib-1.0.8...
[ 1 of 13] Compiling SMTLib2.AST      ( src/SMTLib2/AST.hs, dist/build/SMTLib2/AST.o )
[ 2 of 13] Compiling SMTLib2.PP       ( src/SMTLib2/PP.hs, dist/build/SMTLib2/PP.o )
[ 3 of 13] Compiling SMTLib2.Core     ( src/SMTLib2/Core.hs, dist/build/SMTLib2/Core.o )
[ 4 of 13] Compiling SMTLib2.BitVector ( src/SMTLib2/BitVector.hs, dist/build/SMTLib2/BitVector.o )
[ 5 of 13] Compiling SMTLib2.Array    ( src/SMTLib2/Array.hs, dist/build/SMTLib2/Array.o )
[ 6 of 13] Compiling SMTLib2.Int      ( src/SMTLib2/Int.hs, dist/build/SMTLib2/Int.o )
[ 7 of 13] Compiling SMTLib2          ( src/SMTLib2.hs, dist/build/SMTLib2.o )
[ 8 of 13] Compiling SMTLib1.AST      ( src/SMTLib1/AST.hs, dist/build/SMTLib1/AST.o )
[ 9 of 13] Compiling SMTLib1.PP       ( src/SMTLib1/PP.hs, dist/build/SMTLib1/PP.o )
[10 of 13] Compiling SMTLib2.Compat1  ( src/SMTLib2/Compat1.hs, dist/build/SMTLib2/Compat1.o )

src/SMTLib2/Compat1.hs:9:1: Warning:
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

src/SMTLib2/Compat1.hs:10:1: Warning:
    The import of ‘Data.Traversable’ is redundant
      except perhaps to import instances from ‘Data.Traversable’
    To import instances alone, use: import Data.Traversable()
[11 of 13] Compiling SMTLib1          ( src/SMTLib1.hs, dist/build/SMTLib1.o )
[12 of 13] Compiling SMTLib1.QF_BV    ( src/SMTLib1/QF_BV.hs, dist/build/SMTLib1/QF_BV.o )
[13 of 13] Compiling SMTLib1.QF_AUFBV ( src/SMTLib1/QF_AUFBV.hs, dist/build/SMTLib1/QF_AUFBV.o )
In-place registering smtLib-1.0.8...
Running Haddock for smtLib-1.0.8...
Running hscolour for smtLib-1.0.8...
Preprocessing library smtLib-1.0.8...
Preprocessing library smtLib-1.0.8...

src/SMTLib2/Compat1.hs:9:1: Warning:
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

src/SMTLib2/Compat1.hs:10:1: Warning:
    The import of ‘Data.Traversable’ is redundant
      except perhaps to import instances from ‘Data.Traversable’
    To import instances alone, use: import Data.Traversable()
Haddock coverage:
   0% (  0 / 22) in 'SMTLib2.AST'
  Missing documentation for:
    Module header
    Name (src/SMTLib2/AST.hs:18)
    Ident (src/SMTLib2/AST.hs:21)
    Quant (src/SMTLib2/AST.hs:24)
    Binder (src/SMTLib2/AST.hs:27)
    Defn (src/SMTLib2/AST.hs:30)
    Literal (src/SMTLib2/AST.hs:33)
    Type (src/SMTLib2/AST.hs:39)
    Expr (src/SMTLib2/AST.hs:43)
    Attr (src/SMTLib2/AST.hs:50)
    AttrVal (src/SMTLib2/AST.hs:53)
    Option (src/SMTLib2/AST.hs:56)
    InfoFlag (src/SMTLib2/AST.hs:71)
    Command (src/SMTLib2/AST.hs:82)
    Script (src/SMTLib2/AST.hs:104)
     (src/SMTLib2/AST.hs:114)
     (src/SMTLib2/AST.hs:115)
     (src/SMTLib2/AST.hs:116)
     (src/SMTLib2/AST.hs:117)
     (src/SMTLib2/AST.hs:122)
     (src/SMTLib2/AST.hs:132)
    app (src/SMTLib2/AST.hs:136)
   0% (  0 / 18) in 'SMTLib2.PP'
  Missing documentation for:
    Module header
    PP (src/SMTLib2/PP.hs:9)
     (src/SMTLib2/PP.hs:12)
     (src/SMTLib2/PP.hs:16)
    ppString (src/SMTLib2/PP.hs:19)
     (src/SMTLib2/PP.hs:22)
     (src/SMTLib2/PP.hs:25)
     (src/SMTLib2/PP.hs:29)
     (src/SMTLib2/PP.hs:32)
     (src/SMTLib2/PP.hs:36)
     (src/SMTLib2/PP.hs:67)
     (src/SMTLib2/PP.hs:70)
     (src/SMTLib2/PP.hs:73)
     (src/SMTLib2/PP.hs:82)
     (src/SMTLib2/PP.hs:106)
     (src/SMTLib2/PP.hs:126)
     (src/SMTLib2/PP.hs:139)
     (src/SMTLib2/PP.hs:167)
   0% (  0 / 12) in 'SMTLib2.Core'
  Missing documentation for:
    Module header
    tBool (src/SMTLib2/Core.hs:6)
    true (src/SMTLib2/Core.hs:9)
    false (src/SMTLib2/Core.hs:12)
    not (src/SMTLib2/Core.hs:15)
    ==> (src/SMTLib2/Core.hs:18)
    and (src/SMTLib2/Core.hs:21)
    or (src/SMTLib2/Core.hs:24)
    xor (src/SMTLib2/Core.hs:27)
    === (src/SMTLib2/Core.hs:30)
    =/= (src/SMTLib2/Core.hs:33)
    ite (src/SMTLib2/Core.hs:36)
   0% (  0 / 38) in 'SMTLib2.BitVector'
  Missing documentation for:
    Module header
    tBitVec (src/SMTLib2/BitVector.hs:6)
    bv (src/SMTLib2/BitVector.hs:9)
    concat (src/SMTLib2/BitVector.hs:12)
    extract (src/SMTLib2/BitVector.hs:15)
    bvnot (src/SMTLib2/BitVector.hs:18)
    bvand (src/SMTLib2/BitVector.hs:21)
    bvor (src/SMTLib2/BitVector.hs:24)
    bvneg (src/SMTLib2/BitVector.hs:27)
    bvadd (src/SMTLib2/BitVector.hs:30)
    bvmul (src/SMTLib2/BitVector.hs:33)
    bvudiv (src/SMTLib2/BitVector.hs:36)
    bvurem (src/SMTLib2/BitVector.hs:39)
    bvshl (src/SMTLib2/BitVector.hs:42)
    bvlshr (src/SMTLib2/BitVector.hs:45)
    bvult (src/SMTLib2/BitVector.hs:48)
    bvnand (src/SMTLib2/BitVector.hs:51)
    bvnor (src/SMTLib2/BitVector.hs:54)
    bvxor (src/SMTLib2/BitVector.hs:57)
    bvxnor (src/SMTLib2/BitVector.hs:60)
    bvcomp (src/SMTLib2/BitVector.hs:63)
    bvsub (src/SMTLib2/BitVector.hs:66)
    bvsdiv (src/SMTLib2/BitVector.hs:69)
    bvsrem (src/SMTLib2/BitVector.hs:72)
    bvsmod (src/SMTLib2/BitVector.hs:75)
    bvashr (src/SMTLib2/BitVector.hs:78)
    repeat (src/SMTLib2/BitVector.hs:81)
    zero_extend (src/SMTLib2/BitVector.hs:84)
    sign_extend (src/SMTLib2/BitVector.hs:87)
    rotate_left (src/SMTLib2/BitVector.hs:90)
    rotate_right (src/SMTLib2/BitVector.hs:93)
    bvule (src/SMTLib2/BitVector.hs:96)
    bvugt (src/SMTLib2/BitVector.hs:99)
    bvuge (src/SMTLib2/BitVector.hs:102)
    bvslt (src/SMTLib2/BitVector.hs:105)
    bvsle (src/SMTLib2/BitVector.hs:108)
    bvsgt (src/SMTLib2/BitVector.hs:111)
    bvsge (src/SMTLib2/BitVector.hs:114)
   0% (  0 /  4) in 'SMTLib2.Array'
  Missing documentation for:
    Module header
    tArray (src/SMTLib2/Array.hs:6)
    select (src/SMTLib2/Array.hs:9)
    store (src/SMTLib2/Array.hs:12)
   0% (  0 / 14) in 'SMTLib2.Int'
  Missing documentation for:
    Module header
    tInt (src/SMTLib2/Int.hs:6)
    num (src/SMTLib2/Int.hs:9)
    nNeg (src/SMTLib2/Int.hs:12)
    nSub (src/SMTLib2/Int.hs:15)
    nAdd (src/SMTLib2/Int.hs:18)
    nMul (src/SMTLib2/Int.hs:21)
    nDiv (src/SMTLib2/Int.hs:24)
    nMod (src/SMTLib2/Int.hs:27)
    nAbs (src/SMTLib2/Int.hs:30)
    nLeq (src/SMTLib2/Int.hs:33)
    nLt (src/SMTLib2/Int.hs:36)
    nGeq (src/SMTLib2/Int.hs:39)
    nGt (src/SMTLib2/Int.hs:42)
   0% (  0 / 17) in 'SMTLib2'
  Missing documentation for:
    Module header
    Script (src/SMTLib2/AST.hs:104)
    Binder (src/SMTLib2/AST.hs:27)
    Defn (src/SMTLib2/AST.hs:30)
    Type (src/SMTLib2/AST.hs:39)
    Expr (src/SMTLib2/AST.hs:43)
    Name (src/SMTLib2/AST.hs:18)
    Ident (src/SMTLib2/AST.hs:21)
    Quant (src/SMTLib2/AST.hs:24)
    Literal (src/SMTLib2/AST.hs:33)
    Attr (src/SMTLib2/AST.hs:50)
    AttrVal (src/SMTLib2/AST.hs:53)
    Command (src/SMTLib2/AST.hs:82)
    Option (src/SMTLib2/AST.hs:56)
    InfoFlag (src/SMTLib2/AST.hs:71)
    app (src/SMTLib2/AST.hs:136)
    PP (src/SMTLib2/PP.hs:9)
   6% (  2 / 31) in 'SMTLib1.AST'
  Missing documentation for:
    Module header
    Name (src/SMTLib1/AST.hs:18)
    Ident (src/SMTLib1/AST.hs:21)
    Quant (src/SMTLib1/AST.hs:24)
    Conn (src/SMTLib1/AST.hs:27)
    Formula (src/SMTLib1/AST.hs:30)
    Sort (src/SMTLib1/AST.hs:41)
    Binder (src/SMTLib1/AST.hs:43)
    Term (src/SMTLib1/AST.hs:46)
    Literal (src/SMTLib1/AST.hs:53)
    Annot (src/SMTLib1/AST.hs:58)
    FunDecl (src/SMTLib1/AST.hs:61)
    PredDecl (src/SMTLib1/AST.hs:68)
    Status (src/SMTLib1/AST.hs:74)
    Command (src/SMTLib1/AST.hs:77)
    Script (src/SMTLib1/AST.hs:90)
     (src/SMTLib1/AST.hs:100)
     (src/SMTLib1/AST.hs:101)
     (src/SMTLib1/AST.hs:102)
     (src/SMTLib1/AST.hs:105)
     (src/SMTLib1/AST.hs:114)
    === (src/SMTLib1/AST.hs:121)
    =/= (src/SMTLib1/AST.hs:124)
    tInt (src/SMTLib1/AST.hs:135)
    funDef (src/SMTLib1/AST.hs:138)
    constDef (src/SMTLib1/AST.hs:145)
    logic (src/SMTLib1/AST.hs:149)
    assume (src/SMTLib1/AST.hs:152)
    goal (src/SMTLib1/AST.hs:155)
   0% (  0 / 16) in 'SMTLib1.PP'
  Missing documentation for:
    Module header
    PP (src/SMTLib1/PP.hs:7)
     (src/SMTLib1/PP.hs:10)
     (src/SMTLib1/PP.hs:13)
     (src/SMTLib1/PP.hs:19)
     (src/SMTLib1/PP.hs:23)
     (src/SMTLib1/PP.hs:34)
     (src/SMTLib1/PP.hs:37)
     (src/SMTLib1/PP.hs:63)
     (src/SMTLib1/PP.hs:71)
     (src/SMTLib1/PP.hs:88)
     (src/SMTLib1/PP.hs:95)
     (src/SMTLib1/PP.hs:99)
     (src/SMTLib1/PP.hs:103)
     (src/SMTLib1/PP.hs:110)
     (src/SMTLib1/PP.hs:139)
   0% (  0 / 18) in 'SMTLib2.Compat1'
  Missing documentation for:
    Module header
    Trans (src/SMTLib2/Compat1.hs:14)
    toMaybe (src/SMTLib2/Compat1.hs:16)
    toEither (src/SMTLib2/Compat1.hs:22)
     (src/SMTLib2/Compat1.hs:28)
     (src/SMTLib2/Compat1.hs:34)
    err (src/SMTLib2/Compat1.hs:42)
    name (src/SMTLib2/Compat1.hs:47)
    ident (src/SMTLib2/Compat1.hs:50)
    quant (src/SMTLib2/Compat1.hs:53)
    binder (src/SMTLib2/Compat1.hs:59)
    sort (src/SMTLib2/Compat1.hs:64)
    literal (src/SMTLib2/Compat1.hs:67)
    term (src/SMTLib2/Compat1.hs:74)
    formula (src/SMTLib2/Compat1.hs:84)
    annot (src/SMTLib2/Compat1.hs:122)
    command (src/SMTLib2/Compat1.hs:130)
    script (src/SMTLib2/Compat1.hs:178)
   7% (  2 / 27) in 'SMTLib1'
  Missing documentation for:
    Module header
    Name (src/SMTLib1/AST.hs:18)
    Ident (src/SMTLib1/AST.hs:21)
    Quant (src/SMTLib1/AST.hs:24)
    Conn (src/SMTLib1/AST.hs:27)
    Formula (src/SMTLib1/AST.hs:30)
    Sort (src/SMTLib1/AST.hs:41)
    Binder (src/SMTLib1/AST.hs:43)
    Term (src/SMTLib1/AST.hs:46)
    Literal (src/SMTLib1/AST.hs:53)
    Annot (src/SMTLib1/AST.hs:58)
    FunDecl (src/SMTLib1/AST.hs:61)
    PredDecl (src/SMTLib1/AST.hs:68)
    Status (src/SMTLib1/AST.hs:74)
    Command (src/SMTLib1/AST.hs:77)
    Script (src/SMTLib1/AST.hs:90)
    === (src/SMTLib1/AST.hs:121)
    =/= (src/SMTLib1/AST.hs:124)
    tInt (src/SMTLib1/AST.hs:135)
    funDef (src/SMTLib1/AST.hs:138)
    constDef (src/SMTLib1/AST.hs:145)
    logic (src/SMTLib1/AST.hs:149)
    assume (src/SMTLib1/AST.hs:152)
    goal (src/SMTLib1/AST.hs:155)
    PP (src/SMTLib1/PP.hs:7)
Warning: SMTLib1.QF_BV: Could not find documentation for exported module: X
   8% (  3 / 40) in 'SMTLib1.QF_BV'
  Missing documentation for:
    Module header
    tBitVec (src/SMTLib1/QF_BV.hs:8)
    isBitVec (src/SMTLib1/QF_BV.hs:11)
    extract (src/SMTLib1/QF_BV.hs:27)
    bvnot (src/SMTLib1/QF_BV.hs:30)
    bvand (src/SMTLib1/QF_BV.hs:33)
    bvor (src/SMTLib1/QF_BV.hs:36)
    bvneg (src/SMTLib1/QF_BV.hs:39)
    bvadd (src/SMTLib1/QF_BV.hs:42)
    bvmul (src/SMTLib1/QF_BV.hs:45)
    bvudiv (src/SMTLib1/QF_BV.hs:48)
    bvurem (src/SMTLib1/QF_BV.hs:51)
    bvshl (src/SMTLib1/QF_BV.hs:54)
    bvlshr (src/SMTLib1/QF_BV.hs:57)
    bv (src/SMTLib1/QF_BV.hs:61)
    bvnand (src/SMTLib1/QF_BV.hs:65)
    bvnor (src/SMTLib1/QF_BV.hs:68)
    bvxor (src/SMTLib1/QF_BV.hs:71)
    bvxnor (src/SMTLib1/QF_BV.hs:74)
    bvcomp (src/SMTLib1/QF_BV.hs:77)
    bvsub (src/SMTLib1/QF_BV.hs:80)
    bvsdiv (src/SMTLib1/QF_BV.hs:83)
    bvsrem (src/SMTLib1/QF_BV.hs:86)
    bvsmod (src/SMTLib1/QF_BV.hs:89)
    bvashr (src/SMTLib1/QF_BV.hs:92)
    repeat (src/SMTLib1/QF_BV.hs:95)
    zero_extend (src/SMTLib1/QF_BV.hs:98)
    sign_extend (src/SMTLib1/QF_BV.hs:101)
    rotate_left (src/SMTLib1/QF_BV.hs:104)
    rotate_right (src/SMTLib1/QF_BV.hs:107)
    bvule (src/SMTLib1/QF_BV.hs:110)
    bvugt (src/SMTLib1/QF_BV.hs:113)
    bvuge (src/SMTLib1/QF_BV.hs:116)
    bvslt (src/SMTLib1/QF_BV.hs:119)
    bvsle (src/SMTLib1/QF_BV.hs:122)
    bvsgt (src/SMTLib1/QF_BV.hs:125)
    bvsge (src/SMTLib1/QF_BV.hs:128)
Warning: SMTLib1.QF_AUFBV: Could not find documentation for exported module: X
  75% (  3 /  4) in 'SMTLib1.QF_AUFBV'
  Missing documentation for:
    Module header
Documentation created: dist/doc/html/smtLib/index.html,
dist/doc/html/smtLib/smtLib.txt
Creating package registration file:
/tmp/pkgConf-smtLib-1.02145174067468703135.8
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/smtLib-1.0.8-J3tVABxPdtQH4sATkkHK9J
Registering smtLib-1.0.8...
Installed smtLib-1.0.8