Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / basis-library / c-types.mlb
1 (* Copyright (C) 2010 Matthew Fluet.
2 * Copyright (C) 2004-2007 Henry Cejtin, Matthew Fluet, Suresh
3 * Jagannathan, and Stephen Weeks.
4 *
5 * MLton is released under a BSD-style license.
6 * See the file MLton-LICENSE for details.
7 *)
8
9 ann
10 "deadCode true"
11 "nonexhaustiveBind warn" "nonexhaustiveMatch warn"
12 "redundantBind warn" "redundantMatch warn"
13 "sequenceNonUnit warn"
14 "warnUnused true" "forceUsed"
15 in
16 local
17 basis.mlb
18 mlton.mlb
19 local
20 config/choose-int.sml
21 config/choose-real.sml
22 config/choose-word.sml
23 config/c/word-to-bool.sml
24 config/bind/int-top.sml
25 config/bind/real-top.sml
26 config/bind/word-top.sml
27 in ann "forceUsed" in
28 $(LIB_MLTON_DIR)/targets/$(TARGET)/sml/c-types.sml
29 end end
30 local
31 local
32 primitive/primitive.mlb
33 in
34 structure Primitive
35 end
36 in
37 c/pointer.sig
38 c/pointer.sml
39 end
40 in
41 structure C_Char
42 structure C_SChar
43 functor C_SChar_ChooseIntN
44 structure C_UChar
45 functor C_UChar_ChooseWordN
46
47 structure C_Short
48 structure C_SShort
49 functor C_SShort_ChooseIntN
50 structure C_UShort
51 functor C_UShort_ChooseWordN
52
53 structure C_Int
54 structure C_SInt
55 functor C_SInt_ChooseIntN
56 structure C_UInt
57 functor C_UInt_ChooseWordN
58
59 structure C_Long
60 structure C_SLong
61 functor C_SLong_ChooseIntN
62 structure C_ULong
63 functor C_ULong_ChooseWordN
64
65 structure C_LongLong
66 structure C_SLongLong
67 functor C_SLongLong_ChooseIntN
68 structure C_ULongLong
69 functor C_ULongLong_ChooseWordN
70
71 structure C_Float
72 functor C_Float_ChooseRealN
73 structure C_Double
74 functor C_Double_ChooseRealN
75
76 structure C_Size
77 functor C_Size_ChooseWordN
78
79 structure C_Ptrdiff
80 functor C_Ptrdiff_ChooseIntN
81
82 structure C_Intmax
83 functor C_Intmax_ChooseIntN
84 structure C_UIntmax
85 functor C_UIntmax_ChooseWordN
86
87 structure C_Intptr
88 functor C_Intptr_ChooseIntN
89 structure C_UIntptr
90 functor C_UIntptr_ChooseWordN
91
92 signature C_POINTER
93 structure C_Pointer
94 end
95 end