mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Carve add_pragma_type_spec_constr.m ...

Browse Source 
... out of add_pragma_type_spec.m.

compiler/add_pragma_type_spec.m:
compiler/add_pragma_type_spec_constr.m:
    As above.

compiler/add_pragma.m:
    Import the new module.

compiler/make_hlds.m:
    Include the new module.

compiler/notes/compiler_design.html:
    Document the new module.
This commit is contained in:
Zoltan Somogyi
2026-02-17 15:11:03 +11:00
parent 29deb20fde
commit ab0d1a31a2
5 changed files with 1263 additions and 1205 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
compiler/add_pragma.m
View File

@@ -2,7 +2,7 @@
% vim: ft=mercury ts=4 sw=4 et
%---------------------------------------------------------------------------%
% Copyright (C) 1993-2012 The University of Melbourne.
% Copyright (C) 2023-2025 The Mercury team.
% Copyright (C) 2023-2026 The Mercury team.
% This file may only be copied under the terms of the GNU General
% Public License - see the file COPYING in the Mercury distribution.
%---------------------------------------------------------------------------%
@@ -114,6 +114,7 @@
:- import_module hlds.make_hlds.add_foreign_proc.
:- import_module hlds.make_hlds.add_pragma_tabling.
:- import_module hlds.make_hlds.add_pragma_type_spec.
:- import_module hlds.make_hlds.add_pragma_type_spec_constr.
:- import_module hlds.make_hlds.make_hlds_warn.
:- import_module hlds.make_hlds_error.
:- import_module hlds.pred_table.

1203
compiler/add_pragma_type_spec.m
View File

File diff suppressed because it is too large Load Diff

1257
compiler/add_pragma_type_spec_constr.m Normal file
View File

File diff suppressed because it is too large Load Diff

3
compiler/make_hlds.m
View File

@@ -2,7 +2,7 @@
% vim: ft=mercury ts=4 sw=4 et
%---------------------------------------------------------------------------%
% Copyright (C) 1993-2006, 2009-2011 The University of Melbourne.
% Copyright (C) 2014-2019, 2021-2022, 2024-2025 The Mercury team.
% Copyright (C) 2014-2019, 2021-2022, 2024-2026 The Mercury team.
% This file may only be copied under the terms of the GNU General
% Public License - see the file COPYING in the Mercury distribution.
%---------------------------------------------------------------------------%
@@ -52,6 +52,7 @@
:- include_module add_pragma.
:- include_module add_pragma_tabling.
:- include_module add_pragma_type_spec.
:- include_module add_pragma_type_spec_constr.
:- include_module add_pred.
:- include_module add_solver.
:- include_module add_type.

2
compiler/notes/compiler_design.html
View File

@@ -800,7 +800,7 @@ add_foreign_enum.m adds foreign enums
add_pragma_tabling.m adds
everything needed to implement tabling pragmas to the HLDS.
<li>
add_pragma_type_spec.m adds
add_pragma_type_spec.m and add_pragma_type_spec_constr.m together add
everything needed to implement type specialization pragmas to the HLDS.
<li>
add_pragma.m adds the easiest-to-implement kinds of pragmas to the HLDS,