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