[Added headers.
nad**20040618170920] {
hunk ./ChasingBottoms/Approx.hs 3
+-- |
+-- Module      :  ChasingBottoms.Approx
+-- Copyright   :  (c) Nils Anders Danielsson 2004
+-- License     :  See the file LICENSE.
+-- 
+-- Maintainer  :  http://www.cs.chalmers.se/~nad/
+-- Stability   :  experimental
+-- Portability :  non-portable (GHC-specific)
+--
+
hunk ./ChasingBottoms/ApproxShow.hs 3
--- | Functions for converting arbitrary (non-function, partial,
+-- |
+-- Module      :  ChasingBottoms.ApproxShow
+-- Copyright   :  (c) Nils Anders Danielsson 2004
+-- License     :  See the file LICENSE.
+-- 
+-- Maintainer  :  http://www.cs.chalmers.se/~nad/
+-- Stability   :  experimental
+-- Portability :  non-portable (GHC-specific)
+--
+-- Functions for converting arbitrary (non-function, partial,
hunk ./ChasingBottoms/Header 14
+  [@> isBottom (head [\])@] @True@
+
hunk ./ChasingBottoms/Header 69
-@TimeOut@ functions require preemptive multitasking, and most of the
-rest requires @Data.Generics@; @isBottom@ only requires asynchronous
-exceptions, though.
+@TimeOut@ functions require preemptive scheduling, and most of the
+rest requires @Data.Generics@; @isBottom@ only requires exceptions,
+though.
hunk ./ChasingBottoms/IsBottom.hs 1
+-- |
+-- Module      :  ChasingBottoms.IsBottom
+-- Copyright   :  (c) Nils Anders Danielsson 2004
+-- License     :  See the file LICENSE.
+-- 
+-- Maintainer  :  http://www.cs.chalmers.se/~nad/
+-- Stability   :  experimental
+-- Portability :  non-portable (exceptions)
+--
+
hunk ./ChasingBottoms/IsType.hs 1
--- | Internal helper functions.
+-- |
+-- Module      :  ChasingBottoms.IsType
+-- Copyright   :  (c) Nils Anders Danielsson 2004
+-- License     :  See the file LICENSE.
+-- 
+-- Maintainer  :  http://www.cs.chalmers.se/~nad/
+-- Stability   :  experimental
+-- Portability :  non-portable (GHC-specific)
+--
+-- Internal helper functions.
hunk ./ChasingBottoms/Nat.hs 1
--- | A simple implementation of natural numbers on top of 'Integer's.
+-- |
+-- Module      :  ChasingBottoms.Nat
+-- Copyright   :  (c) Nils Anders Danielsson 2004
+-- License     :  See the file LICENSE.
+-- 
+-- Maintainer  :  http://www.cs.chalmers.se/~nad/
+-- Stability   :  experimental
+-- Portability :  portable
+--
+-- A simple implementation of natural numbers on top of 'Integer's.
hunk ./ChasingBottoms/Nat.hs 13
+
hunk ./ChasingBottoms/SemanticOrd.hs 3
--- | Generic semantic equality and order. The semantic order referred
+-- |
+-- Module      :  ChasingBottoms.SemanticOrd
+-- Copyright   :  (c) Nils Anders Danielsson 2004
+-- License     :  See the file LICENSE.
+-- 
+-- Maintainer  :  http://www.cs.chalmers.se/~nad/
+-- Stability   :  experimental
+-- Portability :  non-portable (GHC-specific)
+--
+-- Generic semantic equality and order. The semantic order referred
hunk ./ChasingBottoms/TimeOut.hs 3
--- | When dealing with \"hard bottoms\", i.e. non-terminating
+-- |
+-- Module      :  ChasingBottoms.TimeOut
+-- Copyright   :  (c) Nils Anders Danielsson 2004
+-- License     :  See the file LICENSE.
+-- 
+-- Maintainer  :  http://www.cs.chalmers.se/~nad/
+-- Stability   :  experimental
+-- Portability :  non-portable (preemptive scheduling)
+--
+-- When dealing with \"hard bottoms\", i.e. non-terminating
hunk ./ChasingBottoms.hs 1
--- | This module just re-exports all the other modules.
+-- |
+-- Module      :  ChasingBottoms
+-- Copyright   :  (c) Nils Anders Danielsson 2004
+-- License     :  See the file LICENSE.
+-- 
+-- Maintainer  :  http://www.cs.chalmers.se/~nad/
+-- Stability   :  experimental
+-- Portability :  non-portable (GHC-specific)
+--
+-- This module just re-exports all the other modules.
}