basis-library/libs/basis-extra/basis-extra.mlb

   1 (* Copyright (C) 2017 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       ../../build/sources.mlb
  18
  19       ann "allowSpecifySpecialIds true" in
  20          top-level/basis.sig
  21       end
  22       ann "allowRedefineSpecialIds true" in
  23          top-level/basis.sml
  24       end
  25    in
  26       structure BasisExtra
  27       top-level/basis-sigs.sml
  28       top-level/basis-funs.sml
  29       top-level/top-level.sml
  30    end
  31 end