PageRenderTime 36ms CodeModel.GetById 10ms RepoModel.GetById 0ms app.codeStats 0ms

/bundles/plugins-trunk/Console/console/commands/hugs.xml

#
XML | 88 lines | 73 code | 13 blank | 2 comment | 0 complexity | 4de20cb0f6d4d549e1d860ed8b664e23 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
  1. <?xml version="1.0" ?>
  2. <!-- This is made for Hugs98 Nov. 2002 -->
  3. <!-- Tom Gelhausen, Sep. 2003, University of Karlsruhe -->
  4. <!DOCTYPE COMMANDO SYSTEM "commando.dtd">
  5. <COMMANDO>
  6. <UI>
  7. <CAPTION LABEL="File paths">
  8. <ENTRY LABEL="Interpreter" VARNAME="interpreter" EVAL="&quot;winhugs&quot;"/>
  9. </CAPTION>
  10. <CAPTION LABEL="Source file(s)">
  11. <ENTRY LABEL="Source file(s)" VARNAME="source" EVAL="'\&quot;'+buffer.getPath()+'\&quot;'"/>
  12. </CAPTION>
  13. <CAPTION LABEL="Interpreter Flags">
  14. <TOGGLE LABEL="Haskell 98 mode" VARNAME="h98" DEFAULT="FALSE"/>
  15. <TOGGLE LABEL="Print no. reductions/cells after eval" VARNAME="t" DEFAULT="TRUE"/>
  16. <TOGGLE LABEL="Print type after evaluation" VARNAME="s" DEFAULT="TRUE"/>
  17. <TOGGLE LABEL="Terminate evaluation on first error" VARNAME="f" DEFAULT="TRUE"/>
  18. <TOGGLE LABEL="Print no. cells recovered after gc" VARNAME="g" DEFAULT="FALSE"/>
  19. <TOGGLE LABEL="Generate FFI code for foreign import" VARNAME="G" DEFAULT="FALSE"/>
  20. <TOGGLE LABEL="Literate modules as default" VARNAME="l" DEFAULT="FALSE"/>
  21. <TOGGLE LABEL="Warn about errors in literate modules" VARNAME="e" DEFAULT="TRUE"/>
  22. <TOGGLE LABEL="Print dots to show progress" VARNAME="dot" DEFAULT="FALSE"/>
  23. <TOGGLE LABEL="Print nothing to show progress" VARNAME="q" DEFAULT="FALSE"/>
  24. <TOGGLE LABEL="Qualify names when printing" VARNAME="Q" DEFAULT="FALSE"/>
  25. <TOGGLE LABEL="Always show which modules are loaded" VARNAME="w" DEFAULT="TRUE"/>
  26. <TOGGLE LABEL="Show kind errors in full" VARNAME="k" DEFAULT="FALSE"/>
  27. <TOGGLE LABEL="Allow overlapping instances" VARNAME="o" DEFAULT="FALSE"/>
  28. <TOGGLE LABEL="Allow unsafe overlapping instances" VARNAME="O" DEFAULT="FALSE"/>
  29. <TOGGLE LABEL="Use 'show' to display results" VARNAME="u" DEFAULT="TRUE"/>
  30. <TOGGLE LABEL="Display results of IO programs" VARNAME="I" DEFAULT="FALSE"/>
  31. <TOGGLE LABEL="Chase imports while loading modules" VARNAME="i" DEFAULT="TRUE"/>
  32. <TOGGLE LABEL="Enable root optimisation" VARNAME="R" DEFAULT="TRUE"/>
  33. <TOGGLE LABEL="Enable 'here documents'" VARNAME="H" DEFAULT="FALSE"/>
  34. <TOGGLE LABEL="Apply 'defaulting' when printing types" VARNAME="T" DEFAULT="FALSE"/>
  35. <TOGGLE LABEL="Enable 'with' and 'dlet' implicit param binding forms" VARNAME="W" DEFAULT="FALSE"/>
  36. <TOGGLE LABEL="Implicitly add path of importing module to search path" VARNAME="X" DEFAULT="TRUE"/>
  37. <TOGGLE LABEL="Use hierarchical libraries" VARNAME="N" DEFAULT="FALSE"/>
  38. </CAPTION>
  39. </UI>
  40. <COMMANDS>
  41. <COMMAND SHELL="System" CONFIRM="FALSE">
  42. buf = new StringBuffer(interpreter);
  43. buf.append(' ');
  44. if(h98)
  45. buf.append(" +98");
  46. if(s) buf.append(" +s"); else buf.append(" -s");
  47. if(t) buf.append(" +t"); else buf.append(" -t");
  48. if(f) buf.append(" +f"); else buf.append(" -f");
  49. if(g) buf.append(" +g"); else buf.append(" -g");
  50. if(G) buf.append(" +G"); else buf.append(" -G");
  51. if(l) buf.append(" +l"); else buf.append(" -l");
  52. if(e) buf.append(" +e"); else buf.append(" -e");
  53. if(dot) buf.append(" +."); else buf.append(" -.");
  54. if(q) buf.append(" +q"); else buf.append(" -q");
  55. if(Q) buf.append(" +Q"); else buf.append(" -Q");
  56. if(w) buf.append(" +w"); else buf.append(" -w");
  57. if(k) buf.append(" +k"); else buf.append(" -k");
  58. if(o) buf.append(" +o"); else buf.append(" -o");
  59. if(O) buf.append(" +O"); else buf.append(" -O");
  60. if(u) buf.append(" +u"); else buf.append(" -u");
  61. if(I) buf.append(" +I"); else buf.append(" -I");
  62. if(i) buf.append(" +i"); else buf.append(" -i");
  63. if(R) buf.append(" +R"); else buf.append(" -R");
  64. if(H) buf.append(" +H"); else buf.append(" -H");
  65. if(T) buf.append(" +T"); else buf.append(" -T");
  66. if(W) buf.append(" +W"); else buf.append(" -W");
  67. if(X) buf.append(" +X"); else buf.append(" -X");
  68. if(N) buf.append(" +N"); else buf.append(" -N");
  69. buf.append(' ');
  70. buf.append(source);
  71. // return value
  72. buf.toString();
  73. </COMMAND>
  74. </COMMANDS>
  75. </COMMANDO>