Resolving dependencies...
Configuring typelevel-1.0.1...
Building typelevel-1.0.1...
Preprocessing library typelevel-1.0.1...
[1 of 2] Compiling Type.Bool        ( src/Type/Bool.hs, dist/build/Type/Bool.o )

src/Type/Bool.hs:10:1: Warning:
    The import of ‘Data.Typeable’ is redundant
      except perhaps to import instances from ‘Data.Typeable’
    To import instances alone, use: import Data.Typeable()

src/Type/Bool.hs:17:7: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:17:12: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:17:19: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:18:19: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/Bool.hs:21:6: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:21:18: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:22:11: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:22:18: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:23:18: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/Bool.hs:26:7: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:26:12: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:26:19: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/Bool.hs:27:7: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:27:19: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:28:12: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:28:19: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:29:19: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/Bool.hs:33:6: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:34:6: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/Bool.hs:38:7: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:39:7: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/Bool.hs:42:15: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:43:15: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.
[2 of 2] Compiling Type.List        ( src/Type/List.hs, dist/build/Type/List.o )

src/Type/List.hs:11:1: Warning:
    The import of ‘Data.Typeable’ is redundant
      except perhaps to import instances from ‘Data.Typeable’
    To import instances alone, use: import Data.Typeable()

src/Type/List.hs:12:1: Warning:
    The import of ‘Prelude’ is redundant
      except perhaps to import instances from ‘Prelude’
    To import instances alone, use: import Prelude()

src/Type/List.hs:13:1: Warning:
    The import of ‘GHC.Exts’ is redundant
      except perhaps to import instances from ‘GHC.Exts’
    To import instances alone, use: import GHC.Exts()
In-place registering typelevel-1.0.1...
Running Haddock for typelevel-1.0.1...
Running hscolour for typelevel-1.0.1...
Preprocessing library typelevel-1.0.1...
Preprocessing library typelevel-1.0.1...

src/Type/Bool.hs:10:1: Warning:
    The import of ‘Data.Typeable’ is redundant
      except perhaps to import instances from ‘Data.Typeable’
    To import instances alone, use: import Data.Typeable()

src/Type/Bool.hs:17:7: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:17:12: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:17:19: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:18:19: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/Bool.hs:21:6: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:21:18: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:22:11: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:22:18: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:23:18: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/Bool.hs:26:7: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:26:12: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:26:19: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/Bool.hs:27:7: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:27:19: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:28:12: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:28:19: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:29:19: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/Bool.hs:33:6: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:34:6: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/Bool.hs:38:7: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:39:7: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/Bool.hs:42:15: Warning:
    Unticked promoted constructor: ‘True’.
    Use ‘'True’ instead of ‘True’.

src/Type/Bool.hs:43:15: Warning:
    Unticked promoted constructor: ‘False’.
    Use ‘'False’ instead of ‘False’.

src/Type/List.hs:11:1: Warning:
    The import of ‘Data.Typeable’ is redundant
      except perhaps to import instances from ‘Data.Typeable’
    To import instances alone, use: import Data.Typeable()

src/Type/List.hs:12:1: Warning:
    The import of ‘Prelude’ is redundant
      except perhaps to import instances from ‘Prelude’
    To import instances alone, use: import Prelude()

src/Type/List.hs:13:1: Warning:
    The import of ‘GHC.Exts’ is redundant
      except perhaps to import instances from ‘GHC.Exts’
    To import instances alone, use: import GHC.Exts()
Haddock coverage:
   0% (  0 /  7) in 'Type.Bool'
  Missing documentation for:
    Module header
    And (src/Type/Bool.hs:16)
    Or (src/Type/Bool.hs:20)
    Xor (src/Type/Bool.hs:25)
    If (src/Type/Bool.hs:31)
    If' (src/Type/Bool.hs:36)
    :== (src/Type/Bool.hs:41)
   0% (  0 /  4) in 'Type.List'
  Missing documentation for:
    Module header
    Removed (src/Type/List.hs:19)
    RemovedIdx (src/Type/List.hs:20)
    ElAt (src/Type/List.hs:21)
Documentation created: dist/doc/html/typelevel/index.html,
dist/doc/html/typelevel/typelevel.txt
Creating package registration file:
/tmp/pkgConf-typelevel-1.0278722862233665123.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/typelevel-1.0.1-2E2AeY3PxvxLg1Heqw7LzY
Registering typelevel-1.0.1...
Installed typelevel-1.0.1