home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / Caml Light 0.61 / Source / src / compiler / config.mlp < prev    next >
Encoding:
Text File  |  1993-09-24  |  1.4 KB  |  54 lines  |  [TEXT/MPS ]
  1. (* Configuration file *)
  2.  
  3. #ifdef macintosh
  4. let path_library = ref ":lib:";;
  5. #else
  6. let path_library = ref "";;
  7. #endif
  8.  
  9. (* Integer ranges *)
  10.  
  11. let maxint_byte = 255
  12. and minint_byte = 0
  13. and maxint_short = 32767
  14. and minint_short = (-32768)
  15. ;;
  16.  
  17. (* The standard interfaces used by default. *)
  18.  
  19. let default_used_interfaces =
  20.   ["cautious", ["io"; "eq"; "int"; "float"; "ref"; "pair"; "list";
  21.                 "vect"; "char"; "string"; "bool"; "exc"; "stream"; "builtin"];
  22.    "fast",     ["io"; "eq"; "int"; "float"; "ref"; "pair"; "list";
  23.                 "fvect"; "fchar"; "fstring"; "bool";
  24.                 "exc"; "stream"; "builtin"];
  25.    "none",     ["builtin"]]
  26. ;;
  27.  
  28. (* The default name for executable bytecode files. *)
  29.  
  30. #ifdef unix
  31. let default_exec_name = "a.out";;
  32. #endif
  33. #ifdef macintosh
  34. let default_exec_name = "Camlc.out";;
  35. #endif
  36. #ifdef msdos
  37. let default_exec_name = "camlout.exe";;
  38. #endif
  39.  
  40. (* Prompts.
  41.  * toplevel_input_prompt: Printed before user input.
  42.  * toplevel_output_prompt: Printed before compiler ouput in the toplevel syst.
  43.  * toplevel_error_prompt: Printed before compiler error and warning messages.
  44.  * batch_output_prompt: Printed before compiler output in the batch system.
  45.  * batch_error_prompt: Printed before error and warning messages.
  46.  *)
  47.  
  48. let toplevel_input_prompt = "#";;
  49. let toplevel_output_prompt = "";;
  50. let toplevel_error_prompt = ">";;
  51. let batch_output_prompt = "";;
  52. let batch_error_prompt = "#";;
  53.  
  54.