Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* Copyright (C) 2009 Matthew Fluet. |
2 | * Copyright (C) 2004-2006 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 | "nonexhaustiveBind warn" "nonexhaustiveMatch warn" | |
11 | "redundantBind warn" "redundantMatch warn" | |
12 | "sequenceNonUnit warn" | |
13 | "warnUnused false" "forceUsed" | |
14 | in | |
15 | local | |
16 | $(SML_LIB)/basis/basis.mlb | |
17 | $(SML_LIB)/basis/mlton.mlb | |
18 | $(SML_LIB)/basis/sml-nj.mlb | |
19 | $(SML_LIB)/basis/unsafe.mlb | |
20 | ../pervasive/sources.mlb | |
21 | error.sig | |
22 | error.sml | |
23 | exn0.sml | |
24 | outstream0.sml | |
25 | layout.sig | |
26 | relation0.sml | |
27 | char0.sig | |
28 | char0.sml | |
29 | string0.sml | |
30 | layout.sml | |
31 | substring.sig | |
32 | assert.sig | |
33 | assert.sml | |
34 | list.sig | |
35 | fold.sig | |
36 | fold.fun | |
37 | list.sml | |
38 | word.sig | |
39 | word8.sml | |
40 | max-pow-2-that-divides.fun | |
41 | word.sml | |
42 | string1.sml | |
43 | substring.sml | |
44 | outstream.sig | |
45 | outstream.sml | |
46 | relation.sig | |
47 | relation.sml | |
48 | order0.sig | |
49 | order.sig | |
50 | time.sig | |
51 | time.sml | |
52 | instream.sig | |
53 | char.sig | |
54 | computation.sig | |
55 | trace.sig | |
56 | exn.sig | |
57 | exn.sml | |
58 | date.sig | |
59 | date.sml | |
60 | pid.sig | |
61 | option.sig | |
62 | option.sml | |
63 | pid.sml | |
64 | intermediate-computation.sig | |
65 | instream0.sml | |
66 | intermediate-computation.sml | |
67 | string-map.sig | |
68 | string-map.sml | |
69 | t.sig | |
70 | unit.sig | |
71 | unit.sml | |
72 | trace.sml | |
73 | bool.sig | |
74 | bool.sml | |
75 | char.sml | |
76 | string.sig | |
77 | stream.sig | |
78 | promise.sig | |
79 | promise.sml | |
80 | stream.sml | |
81 | ring.sig | |
82 | ring-with-identity.sig | |
83 | euclidean-ring.sig | |
84 | integer.sig | |
85 | euclidean-ring.fun | |
86 | ring.fun | |
87 | ordered-ring.sig | |
88 | ordered-ring.fun | |
89 | power.sml | |
90 | ring-with-identity.fun | |
91 | integer.fun | |
92 | int.sml | |
93 | real.sig | |
94 | field.sig | |
95 | field.fun | |
96 | ordered-field.sig | |
97 | ordered-field.fun | |
98 | real.sml | |
99 | random.sig | |
100 | random.sml | |
101 | vector.sig | |
102 | vector.fun | |
103 | vector.sml | |
104 | array.sig | |
105 | array.fun | |
106 | array.sml | |
107 | binary-search.sig | |
108 | binary-search.sml | |
109 | hash-set.sig | |
110 | hash-set.sml | |
111 | string.sml | |
112 | instream.sml | |
113 | file.sig | |
114 | file.sml | |
115 | signal.sml | |
116 | process.sig | |
117 | dir.sig | |
118 | dir.sml | |
119 | function.sig | |
120 | function.sml | |
121 | file-desc.sig | |
122 | file-desc.sml | |
123 | process.sml | |
124 | append-list.sig | |
125 | append-list.sml | |
126 | property-list.sig | |
127 | ref.sig | |
128 | ref.sml | |
129 | het-container.sig | |
130 | property-list.fun | |
131 | het-container.fun | |
132 | property.sig | |
133 | property.fun | |
134 | dot-color.sml | |
135 | dot.sig | |
136 | dot.sml | |
137 | tree.sig | |
138 | counter.sig | |
139 | counter.sml | |
140 | tree.sml | |
141 | int-inf.sig | |
142 | int-inf.sml | |
143 | control.sig | |
144 | control.fun | |
145 | queue.sig | |
146 | two-list-queue.sml | |
147 | array2.sig | |
148 | array2.sml | |
149 | env.sig | |
150 | env.fun | |
151 | unique-id.sig | |
152 | unique-id.fun | |
153 | clearable-promise.sig | |
154 | clearable-promise.sml | |
155 | justify.sig | |
156 | justify.sml | |
157 | directed-graph.sig | |
158 | directed-graph.sml | |
159 | large-word.sml | |
160 | quick-sort.sig | |
161 | insertion-sort.sig | |
162 | insertion-sort.sml | |
163 | quick-sort.sml | |
164 | unique-set.sig | |
165 | unique-set.fun | |
166 | fixed-point.sig | |
167 | fixed-point.sml | |
168 | mono-vector.fun | |
169 | result.sig | |
170 | result.sml | |
171 | parse.sig | |
172 | parse.sml | |
173 | regexp.sig | |
174 | regexp.sml | |
175 | popt.sig | |
176 | popt.sml | |
177 | sexp.sig | |
178 | sexp.sml | |
179 | choice-pattern.sig | |
180 | choice-pattern.sml | |
181 | escape.sig | |
182 | escape.sml | |
183 | buffer.sig | |
184 | buffer.sml | |
185 | base64.sig | |
186 | base64.sml | |
187 | in | |
188 | signature ARRAY | |
189 | signature ENV | |
190 | signature ERROR | |
191 | signature EUCLIDEAN_RING | |
192 | signature INTEGER | |
193 | signature INT_INF | |
194 | signature LIST | |
195 | signature OPTION | |
196 | signature ORDER | |
197 | signature ORDERED_RING | |
198 | signature PARSE | |
199 | signature PROMISE | |
200 | signature REAL | |
201 | signature RING | |
202 | signature RING_WITH_IDENTITY | |
203 | signature STREAM | |
204 | signature STRING | |
205 | signature T | |
206 | signature UNIQUE_ID | |
207 | signature VECTOR | |
208 | ||
209 | structure AppendList | |
210 | structure Array | |
211 | structure Array2 | |
212 | structure Assert | |
213 | structure Base64 | |
214 | structure BinarySearch | |
215 | structure Bool | |
216 | structure Buffer | |
217 | structure Char | |
218 | (* structure CharArray *) | |
219 | structure CharVector | |
220 | structure ChoicePattern | |
221 | structure ClearablePromise | |
222 | structure CommandLine | |
223 | structure Computation | |
224 | structure Counter | |
225 | structure Date | |
226 | structure Dir | |
227 | structure DirectedGraph | |
228 | structure Dot | |
229 | structure DotColor | |
230 | structure Error | |
231 | structure Escape | |
232 | structure Exn | |
233 | structure File | |
234 | structure FileDesc | |
235 | structure FixedPoint | |
236 | structure Function | |
237 | structure HashSet | |
238 | (* structure Http *) | |
239 | structure In | |
240 | structure Int | |
241 | (* structure Int32 *) | |
242 | structure IntInf | |
243 | structure InsertionSort | |
244 | structure Justify | |
245 | structure LargeInt | |
246 | structure LargeWord | |
247 | structure Layout | |
248 | structure List | |
249 | structure List | |
250 | structure MLton | |
251 | (* structure MergeSortList *) | |
252 | (* structure MergeSortVector *) | |
253 | structure OS | |
254 | structure Option | |
255 | structure Out | |
256 | structure Parse | |
257 | structure Pervasive | |
258 | structure Pid | |
259 | structure Popt | |
260 | structure Position | |
261 | structure Power | |
262 | structure Process | |
263 | structure Promise | |
264 | structure Property | |
265 | structure PropertyList | |
266 | structure Queue | |
267 | structure QuickSort | |
268 | structure Random | |
269 | structure Real | |
270 | (* structure RealVector *) | |
271 | structure Real32 | |
272 | structure Real64 | |
273 | structure Ref | |
274 | structure Regexp | |
275 | structure Relation | |
276 | structure Result | |
277 | structure SMLofNJ | |
278 | structure Sexp | |
279 | structure Signal | |
280 | structure Stream | |
281 | structure String | |
282 | structure StringCvt | |
283 | structure Substring | |
284 | structure SysWord | |
285 | structure Time | |
286 | structure Trace | |
287 | structure Tree | |
288 | structure TwoListQueue | |
289 | structure Unit | |
290 | structure Vector | |
291 | structure Word | |
292 | structure Word8 | |
293 | (* structure Word8Array *) | |
294 | (* structure Word8Vector *) | |
295 | (* structure Word32 *) | |
296 | ||
297 | functor Control | |
298 | functor Env | |
299 | functor EuclideanRing | |
300 | functor IntUniqueId | |
301 | functor MonoArray | |
302 | functor MonoVector | |
303 | functor OrderedField | |
304 | functor PolyEnv | |
305 | functor Ring | |
306 | functor RingWithIdentity | |
307 | functor Tree | |
308 | functor UniqueId | |
309 | functor UniqueSet | |
310 | end | |
311 | end |