add another license header, and qualify imports.

src/Data/Bits/Floating.hs

@@ -69,11 +69,12 @@ class (Floating f, Integral w) => FloatingBits f w | f -> w where
     --   If the argument is 0.0, the maximum value smaller than 0.0 is returned.
     --   If the argument is -INF, -INF is returned.
     nextDown :: f -> f
-    -- | Return the size of an ulp of the argument. If the argument is NaN, NaN
-    --   is returned. If the argument is +INF or -INF, +INF is returned. If
-    --   the argument is 0.0, the minimum value greater than 0.0 is returned.
+    -- | Return the size of the Unit of Least Precision of the argument.
+    --   If the argument is NaN, NaN is returned.
+    --   If the argument is +INF or -INF, +INF is returned.
+    --   If the argument is 0.0, the minimum value greater than 0.0 is returned.
     --
-    --   If @x@ is not NaN, @'ulp' x == 'ulp' (-x)@ holds.
+    --   If @x@ is not NaN or one of the infinities, @'ulp' x == 'ulp' (-x)@ holds.
     ulp :: f -> f
 
 class ShowFloat f where

src/Data/Bits/Floating/Prim.hs

@@ -1,8 +1,8 @@
 -----------------------------------------------------------------------------
 -- |
--- Copyright   :  (C) 2015 Anselm Jonas Scholl
+-- Copyright   :  (C) 2015 Anselm Jonas Scholl, (C) 2023 Julia Longtin
 -- License     :  BSD3
--- Maintainer  :  Anselm Jonas Scholl <anselm.scholl@tu-harburg.de>
+-- Maintainer  :  Julia Longtin
 -- Stability   :  experimental
 -- Portability :  GHC-specific
 --

test/Test.hs

@@ -1,16 +1,30 @@
+-----------------------------------------------------------------------------
+-- |
+-- Copyright   :  (C) 2015 Anselm Jonas Scholl, (C) 2023 Julia Longtin
+-- License     :  BSD3
+-- Maintainer  :  Julia Longtin <Julia.Longtin@gmail.com>
+-- Stability   :  experimental
+-- Portability :  GHC-specific
+--
+
 {-# LANGUAGE BangPatterns #-}
+
 {-# LANGUAGE ScopedTypeVariables #-}
+
 module Main where
 
-import TestUtils
+import Prelude(Bool(False), Double, Float, Integral, IO, MonadFail, RealFloat, Show, String, (.), (<), ($), (+), (-), (&&), (++), (<=), (>=), (/=), (==), (||), (<$>), either, fail, fromIntegral, fst, isInfinite, isNaN, isNegativeZero, mapM_, maxBound, minBound, not, otherwise, putStrLn, realToFrac, rem, return, quot, show, shows, snd)
+
+import TestUtils (refDoubleDown, refDoubleToWord, refDoubleUp, refDoubleUlp, refFloatDown, refFloatToWord, refFloatUlp, refFloatUp, refWordToDouble, refWordToFloat, showW, testD, testF)
+
+import Data.Word (Word32, Word64)
 
-import Data.Word
-import Data.Bits
-import Data.Bits.Floating
+import Data.Bits ((.&.), complement)
+import Data.Bits.Floating (FloatingBits, ShowFloat, coerceToFloat, coerceToWord, nextDown, nextUp, showFloat, ulp)
 
-import Control.Concurrent
-import Control.Exception
-import Control.Monad
+import Control.Concurrent (MVar, forkIO, getNumCapabilities, newEmptyMVar, putMVar, takeMVar)
+import Control.Exception (SomeException, throwIO, try)
+import Control.Monad (forM_, join, replicateM_, unless, void, when)
 
 main :: IO ()
 main = do