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

Fix bitrot in comments.

Browse Source
This commit is contained in:
Zoltan Somogyi
2019-08-31 13:00:06 +10:00
parent f80af1caea
commit 0af25c5f0b
2 changed files with 11 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/make_hlds.m
View File

@@ -112,8 +112,8 @@
%-----------------------------------------------------------------------------%
% parse_tree_to_hlds(AugCompUnit, Globals, DumpBaseFileName,
% MQInfo, TypeEqvMap, UsedModules, QualInfo, InvalidTypes, InvalidModes,
% parse_tree_to_hlds(AugCompUnit, Globals, DumpBaseFileName, MQInfo,
% TypeEqvMap, UsedModules, QualInfo, InvalidTypes, InvalidModes,
% HLDS, Specs):
%
% Given MQInfo (returned by module_qual.m) and TypeEqvMap and UsedModules
@@ -122,8 +122,8 @@
% Returns InvalidTypes = yes if it finds any undefined types.
% Returns InvalidModes = yes if it finds any undefined or cyclic
% insts or modes.
% QualInfo is an abstract type that is then passed back to
% produce_instance_method_clauses (see below).
% QualInfo is an abstract type that check_typeclass.m will later pass
% to produce_instance_method_clauses (see below).
%
:- pred parse_tree_to_hlds(aug_compilation_unit::in, globals::in, string::in,
mq_info::in, type_eqv_map::in, used_modules::in, make_hlds_qual_info::out,

14
compiler/make_hlds_passes.m
View File

@@ -27,16 +27,16 @@
%---------------------------------------------------------------------------%
% do_parse_tree_to_hlds(AugCompUnit, Globals, DumpBaseFileName, MQInfo,
% TypeEqvMapMap, UsedModules, QualInfo, InvalidTypes, InvalidModes, HLDS,
% Specs):
% TypeEqvMap, UsedModules, QualInfo, InvalidTypes, InvalidModes,
% HLDS, Specs):
%
% Given MQInfo (returned by module_qual.m) and TypeEqvMapMap and
% UsedModules (both returned by equiv_type.m), convert AugCompUnit
% to HLDS. Return any errors found in Specs.
% Given MQInfo (returned by module_qual.m) and TypeEqvMap and UsedModules
% (both returned by equiv_type.m), convert AugCompUnit to HLDS.
% Return any errors found in Specs.
% Return InvalidTypes = yes if we found undefined types.
% Return InvalidModes = yes if we found undefined or cyclic insts or modes.
% QualInfo is an abstract type that is then passed back to
% produce_instance_method_clauses (see below).
% QualInfo is an abstract type that check_typeclass.m will later pass
% to produce_instance_method_clauses.
%
:- pred do_parse_tree_to_hlds(aug_compilation_unit::in, globals::in,
string::in, mq_info::in, type_eqv_map::in, used_modules::in,