home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / World_Of_Computer_Software-02-387-Vol-3of3.iso / c / cml-098.zip / cml-0.9.8 / load-cml < prev    next >
Text File  |  1993-02-04  |  988b  |  46 lines
  1. (* load-cml
  2.  *
  3.  * COPYRIGHT (c) 1990 by John H. Reppy.  See COPYRIGHT file for details.
  4.  *)
  5.  
  6. local
  7.   open System.Control.CG
  8.   val dfltRounds = !rounds
  9.   val dfltReduce = !reducemore
  10.   val dfltUnroll = !unroll
  11.  
  12.   val coreFiles = [
  13.       "src/cml-version.sml",
  14.       "src/cml-base-sig.sml",
  15.       "src/cml-base.sml",
  16.       "src/cml-sig.sml",
  17.       "src/cml.sml",
  18.       "src/run-cml-sig.sml",
  19.       "src/run-cml.sml",
  20.       "src/cio-sig.sml",
  21.       "src/cio.sml",
  22.       "src/trace-cml-sig.sml",
  23.       "src/trace-cml.sml",
  24.       "src/build.sml"
  25.     ]
  26.  
  27.   val libFiles = [
  28.       "library/buffer.sml",
  29.       "library/future.sml",
  30.       "library/plumbing.sml",
  31.       "library/cobegin.sml",
  32.       "library/callcc.sml",
  33.       "library/build-lib.sml"
  34.     ]
  35.  
  36.   fun useFiles files = (
  37.     rounds := 10; reducemore := 0; unroll := true;
  38.     app use files;
  39.     rounds := dfltRounds; reducemore := dfltReduce; unroll := dfltUnroll)
  40. in
  41.  
  42. fun loadCML () = useFiles coreFiles
  43. fun loadLibrary () = (useFiles libFiles)
  44. fun loadAll () = (loadCML(); loadLibrary())
  45. end (* local *)
  46.