-- addDependentFile examples/golden/macros/macro_redefines_global.h
{-| __C declaration:__ @FILE@

    __defined at:__ @macros\/macro_redefines_global.h 7:13@

    __exported by:__ @macros\/macro_redefines_global.h@
-}
newtype FILE
    = FILE {unwrapFILE :: CInt}
      {- ^ __C declaration:__ @FILE@

           __defined at:__ @macros\/macro_redefines_global.h 7:13@

           __exported by:__ @macros\/macro_redefines_global.h@
      -}
    deriving stock (Eq, Ord, Read, Show)
    deriving newtype (StaticSize,
                      ReadRaw,
                      WriteRaw,
                      Storable,
                      HasFFIType,
                      Prim,
                      Bitfield,
                      Bits,
                      Bounded,
                      Enum,
                      FiniteBits,
                      Integral,
                      Ix,
                      Num,
                      Real)
instance TyEq ty (CFieldType FILE "unwrapFILE") =>
         HasField "unwrapFILE" (Ptr FILE) (Ptr ty)
    where getField = fromPtr (Proxy @"unwrapFILE")
instance HasCField FILE "unwrapFILE"
    where type CFieldType FILE "unwrapFILE" = CInt
          offset# = \_ -> \_ -> 0
