mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-16 06:14:59 +00:00
Code Issues Projects Releases Wiki Activity

Fix some formatting.

Browse Source 
Estimated hours taken: 0
Branches: main

Fix some formatting.

compiler/distance_granularity.m:
compiler/exception_analysis.m:
compiler/implicit_parallelism.m:
compiler/inst_graph.m:
compiler/interval.m:
compiler/layout_out.m:
compiler/lp_rational.m:
compiler/make.program_target.m:
compiler/modules.m:
compiler/prog_data.m:
compiler/purity.m:
compiler/recompilation.check.m:
compiler/term_constr_data.m:
compiler/term_util.m:
compiler/xml_documentation.m:
deep_profiler/mdprof_cgi.m:
library/pqueue.m:
profiler/output.m:
	Fix the positioning of commas.

	s/[_|_]/[_ | _]/ in a spot.
This commit is contained in:
Julien Fischer
2007-05-23 10:09:24 +00:00
parent 2409fc18e5
commit 9958d3883c
18 changed files with 32 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/xml_documentation.m
View File

@@ -566,7 +566,7 @@ mer_mode(IVarset, A -> B) = Xml :-
mer_mode(IVarset, user_defined_mode(Name, Args)) = Xml :-
Ref = attr("ref", sym_name_and_arity_to_id("mode", Name, length(Args))),
XmlArgs = xml_list("mode_args", mer_inst(IVarset), Args),
Xml = elem("user_defined_mode" , [Ref], [name(Name), XmlArgs]).
Xml = elem("user_defined_mode", [Ref], [name(Name), XmlArgs]).
:- func mer_inst(inst_varset, mer_inst) = xml.
@@ -578,7 +578,7 @@ mer_inst(IVarset, bound(U, BoundInsts)) = Xml :-
XmlInsts = xml_list("bound_insts", bound_inst(IVarset), BoundInsts),
Xml = elem("bound", [], [XmlUniq, XmlInsts]).
mer_inst(_, ground(U, _)) = elem("ground", [], [uniqueness(U)]).
mer_inst(_, not_reached) = elem("not_reached", [] , []).
mer_inst(_, not_reached) = elem("not_reached", [], []).
mer_inst(IVarset, inst_var(IVar)) = Xml :-
IVarName = varset.lookup_name(IVarset, IVar),
Xml = tagged_string("inst_var", IVarName).