lib/mlton/set/sources.mlb

   1 (* Copyright (C) 2004-2005 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  *
   4  * MLton is released under a BSD-style license.
   5  * See the file MLton-LICENSE for details.
   6  *)
   7
   8 ann
   9    "nonexhaustiveBind warn" "nonexhaustiveMatch warn"
  10    "redundantBind warn" "redundantMatch warn"
  11    "sequenceNonUnit warn"
  12    "warnUnused false" "forceUsed"
  13 in
  14    local
  15       $(SML_LIB)/basis/basis.mlb
  16       ../basic/sources.mlb
  17
  18       disjoint.sig
  19       disjoint.fun
  20       set.sig
  21       unordered.fun
  22       ordered-unique-set.fun
  23    in
  24       signature SET
  25
  26       structure DisjointSet
  27       functor OrderedUniqueSet
  28       functor UnorderedSet
  29    end
  30 end