X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Foreign%2FC%2FTypes.hs;h=39a6b00e791e842e023e359cb952b950d08f5a06;hb=c497471bb7fc204afb546f3116ad116f8569e452;hp=5867d0cee2256990716ade3747735b47318ed521;hpb=06ffe41b5a1730c93f5e3add2d0f32fe6677d223;p=ghc-base.git diff --git a/Foreign/C/Types.hs b/Foreign/C/Types.hs index 5867d0c..39a6b00 100644 --- a/Foreign/C/Types.hs +++ b/Foreign/C/Types.hs @@ -43,6 +43,14 @@ module Foreign.C.Types -- 'Prelude.Show', 'Prelude.Enum', 'Typeable' and 'Storable'. , CClock, CTime + -- extracted from CTime, because we don't want this comment in + -- the Haskell 2010 report: + + -- | To convert 'CTime' to 'Data.Time.UTCTime', use the following formula: + -- + -- > posixSecondsToUTCTime (realToFrac :: POSIXTime) + -- + -- ** Floating types -- | These types are are represented as @newtype@s of -- 'Prelude.Float' and 'Prelude.Double', and are instances of @@ -50,7 +58,11 @@ module Foreign.C.Types -- 'Prelude.Show', 'Prelude.Enum', 'Typeable', 'Storable', -- 'Prelude.Real', 'Prelude.Fractional', 'Prelude.Floating', -- 'Prelude.RealFrac' and 'Prelude.RealFloat'. - , CFloat, CDouble, CLDouble + , CFloat, CDouble +-- GHC doesn't support CLDouble yet +#ifndef __GLASGOW_HASKELL__ + , CLDouble +#endif #else -- Exported non-abstractly in nhc98 to fix an interface file problem. CChar(..), CSChar(..), CUChar(..) @@ -69,11 +81,11 @@ module Foreign.C.Types #ifndef __NHC__ -import {-# SOURCE #-} Foreign.Storable +import Foreign.Storable import Data.Bits ( Bits(..) ) import Data.Int ( Int8, Int16, Int32, Int64 ) import Data.Word ( Word8, Word16, Word32, Word64 ) -import {-# SOURCE #-} Data.Typeable +import {-# SOURCE #-} Data.Typeable (Typeable(typeOf), TyCon, mkTyCon, mkTyConApp) #ifdef __GLASGOW_HASKELL__ import GHC.Base @@ -151,20 +163,25 @@ INTEGRAL_TYPE(CULLong,tyConCULLong,"CULLong",HTYPE_UNSIGNED_LONG_LONG) FLOATING_TYPE(CFloat,tyConCFloat,"CFloat",HTYPE_FLOAT) -- | Haskell type representing the C @double@ type. FLOATING_TYPE(CDouble,tyConCDouble,"CDouble",HTYPE_DOUBLE) +-- GHC doesn't support CLDouble yet +#ifndef __GLASGOW_HASKELL__ -- HACK: Currently no long double in the FFI, so we simply re-use double -- | Haskell type representing the C @long double@ type. FLOATING_TYPE(CLDouble,tyConCLDouble,"CLDouble",HTYPE_DOUBLE) +#endif {-# RULES "realToFrac/a->CFloat" realToFrac = \x -> CFloat (realToFrac x) "realToFrac/a->CDouble" realToFrac = \x -> CDouble (realToFrac x) -"realToFrac/a->CLDouble" realToFrac = \x -> CLDouble (realToFrac x) "realToFrac/CFloat->a" realToFrac = \(CFloat x) -> realToFrac x "realToFrac/CDouble->a" realToFrac = \(CDouble x) -> realToFrac x -"realToFrac/CLDouble->a" realToFrac = \(CLDouble x) -> realToFrac x #-} +-- GHC doesn't support CLDouble yet +-- "realToFrac/a->CLDouble" realToFrac = \x -> CLDouble (realToFrac x) +-- "realToFrac/CLDouble->a" realToFrac = \(CLDouble x) -> realToFrac x + -- | Haskell type representing the C @ptrdiff_t@ type. INTEGRAL_TYPE(CPtrdiff,tyConCPtrdiff,"CPtrdiff",HTYPE_PTRDIFF_T) -- | Haskell type representing the C @size_t@ type. @@ -190,10 +207,6 @@ INTEGRAL_TYPE(CSigAtomic,tyConCSigAtomic,"CSigAtomic",HTYPE_SIG_ATOMIC_T) ARITHMETIC_TYPE(CClock,tyConCClock,"CClock",HTYPE_CLOCK_T) -- | Haskell type representing the C @time_t@ type. -- --- To convert to a @Data.Time.UTCTime@, use the following formula: --- --- > posixSecondsToUTCTime (realToFrac :: POSIXTime) --- ARITHMETIC_TYPE(CTime,tyConCTime,"CTime",HTYPE_TIME_T) -- FIXME: Implement and provide instances for Eq and Storable