/usr/lib/mlton/targets/x86_64-linux-gnu/include/c-types.h is in mlton-runtime-x86-64-linux-gnu 20100608-5.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 | /* Copyright (C) 2004-2007 Henry Cejtin, Matthew Fluet, Suresh
* Jagannathan, and Stephen Weeks.
*
* MLton is released under a BSD-style license.
* See the file MLton-LICENSE for details.
*/
#ifndef _MLTON_CTYPES_H_
#define _MLTON_CTYPES_H_
/* C */
typedef /* _Bool */ Word8_t C_Bool_t;
typedef /* char */ Int8_t C_Char_t;
typedef /* signed char */ Int8_t C_SChar_t;
typedef /* unsigned char */ Word8_t C_UChar_t;
typedef /* short */ Int16_t C_Short_t;
typedef /* signed short */ Int16_t C_SShort_t;
typedef /* unsigned short */ Word16_t C_UShort_t;
typedef /* int */ Int32_t C_Int_t;
typedef /* signed int */ Int32_t C_SInt_t;
typedef /* unsigned int */ Word32_t C_UInt_t;
typedef /* long */ Int64_t C_Long_t;
typedef /* signed long */ Int64_t C_SLong_t;
typedef /* unsigned long */ Word64_t C_ULong_t;
typedef /* long long */ Int64_t C_LongLong_t;
typedef /* signed long long */ Int64_t C_SLongLong_t;
typedef /* unsigned long long */ Word64_t C_ULongLong_t;
typedef /* float */ Real32_t C_Float_t;
typedef /* double */ Real64_t C_Double_t;
typedef /* size_t */ Word64_t C_Size_t;
typedef /* unsigned char* */ Word64_t C_Pointer_t;
typedef /* char* */ Word64_t C_String_t;
typedef /* char** */ Word64_t C_StringArray_t;
/* Generic integers */
typedef C_Int_t C_Fd_t;
typedef C_Int_t C_Signal_t;
typedef C_Int_t C_Status_t;
typedef C_Int_t C_Sock_t;
/* C99 */
typedef /* ptrdiff_t */ Int64_t C_Ptrdiff_t;
typedef /* intmax_t */ Int64_t C_Intmax_t;
typedef /* uintmax_t */ Word64_t C_UIntmax_t;
typedef /* intptr_t */ Int64_t C_Intptr_t;
typedef /* uintptr_t */ Word64_t C_UIntptr_t;
/* from <dirent.h> */
typedef /* DIR* */ Word64_t C_DirP_t;
/* from <poll.h> */
typedef /* nfds_t */ Word64_t C_NFds_t;
/* from <resource.h> */
typedef /* rlim_t */ Word64_t C_RLim_t;
/* from <sys/types.h> */
typedef /* clock_t */ Int64_t C_Clock_t;
typedef /* dev_t */ Word64_t C_Dev_t;
typedef /* gid_t */ Word32_t C_GId_t;
typedef /* ino_t */ Word64_t C_INo_t;
typedef /* mode_t */ Word32_t C_Mode_t;
typedef /* nlink_t */ Word64_t C_NLink_t;
typedef /* off_t */ Int64_t C_Off_t;
typedef /* pid_t */ Int32_t C_PId_t;
typedef /* ssize_t */ Int64_t C_SSize_t;
typedef /* suseconds_t */ Int64_t C_SUSeconds_t;
typedef /* time_t */ Int64_t C_Time_t;
typedef /* uid_t */ Word32_t C_UId_t;
/* from <sys/socket.h> */
typedef /* socklen_t */ Word32_t C_Socklen_t;
/* from <termios.h> */
typedef /* cc_t */ Word8_t C_CC_t;
typedef /* speed_t */ Word32_t C_Speed_t;
typedef /* tcflag_t */ Word32_t C_TCFlag_t;
/* from "gmp.h" */
typedef /* mp_limb_t */ Word64_t C_MPLimb_t;
#define C_Errno_t(t) t
#endif /* _MLTON_CTYPES_H_ */
|