1 (* Copyright (C) 2009 Matthew Fluet.
2 * Copyright (C) 2004-2006 Henry Cejtin, Matthew Fluet, Suresh
3 * Jagannathan, and Stephen Weeks.
5 * MLton is released under a BSD-style license.
6 * See the file MLton-LICENSE for details.
10 "nonexhaustiveBind warn" "nonexhaustiveMatch warn"
11 "redundantBind warn" "redundantMatch warn"
12 "sequenceNonUnit warn"
13 "warnUnused false" "forceUsed"
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
40 max-pow-2-that-divides.fun
64 intermediate-computation.sig
66 intermediate-computation.sml
82 ring-with-identity.sig
90 ring-with-identity.fun
153 clearable-promise.sig
154 clearable-promise.sml
191 signature EUCLIDEAN_RING
197 signature ORDERED_RING
202 signature RING_WITH_IDENTITY
214 structure BinarySearch
218 (* structure CharArray *)
220 structure ChoicePattern
221 structure ClearablePromise
222 structure CommandLine
223 structure Computation
227 structure DirectedGraph
241 (* structure Int32 *)
243 structure InsertionSort
251 (* structure MergeSortList *)
252 (* structure MergeSortVector *)
265 structure PropertyList
270 (* structure RealVector *)
288 structure TwoListQueue
293 (* structure Word8Array *)
294 (* structure Word8Vector *)
295 (* structure Word32 *)
299 functor EuclideanRing
306 functor RingWithIdentity