The test step is optional and currently does nothing. The Haddockstep is also optional. If you see some stray lines that look likethis:

mkUsageInfo: internal name? t{tv a7XM}

Feel free to ignore them. They shouldn't cause any problems, eventhough they're unsightly. This should be fixed in newer versionsof GHC. For more details, see:

http://hackage.haskell.org/trac/ghc/ticket/3955

If you get a bunch of type errors about there being no MonadLogicinstance for StateT, this means that your copy of the logict libraryis not compiled against the same mtl that we're using. To fix this,update logict to use the same mtl.

Portability===========

An attempt has been made to keep this library as portable as possible,but it does rely on some common language extensions (i.e., onesimplemented by Hugs as well as GHC) as well as a couple which areonly known to be supported by GHC. All required language extensionsare:

Rank2Types MultiParamTypeClasses FunctionalDependencies -- Alas, necessary for type inference FlexibleContexts -- Necessary for practical use of MPTCs FlexibleInstances -- Necessary for practical use of MPTCs UndecidableInstances -- Needed for Show instances due to two-level types