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

Ignore no_aliasing, unknown_aliasing and alias/2 attributes on

Browse Source 
Estimated hours taken: 1
Branches: main

Ignore no_aliasing, unknown_aliasing and alias/2 attributes on
pragma_foreign_code.  This allows the main branch to compile the
reuse branch.

compiler/prog_io_pragma.m:
    Parse no_aliasing, unknown_aliasing and alias/2 attributes.
This commit is contained in:
Peter Ross
2001-03-22 14:38:41 +00:00
parent e954d890ad
commit 9ff707f33a
1 changed files with 15 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
compiler/prog_io_pragma.m
View File

@@ -1088,7 +1088,8 @@ parse_pragma_keyword(ExpectedKeyword, Term, StringArg, StartContext) :-
:- type collected_pragma_foreign_code_attribute
---> may_call_mercury(may_call_mercury)
; thread_safe(thread_safe)
; tabled_for_io(tabled_for_io).
; tabled_for_io(tabled_for_io)
; aliasing.
:- pred parse_pragma_foreign_code_attributes_term(foreign_language, term,
pragma_foreign_code_attributes).
@@ -1162,6 +1163,8 @@ parse_single_pragma_foreign_code_attribute(Term, Flag) :-
Flag = thread_safe(ThreadSafe)
; parse_tabled_for_io(Term, TabledForIo) ->
Flag = tabled_for_io(TabledForIo)
; parse_aliasing(Term) ->
Flag = aliasing
;
fail
).
@@ -1194,6 +1197,17 @@ parse_tabled_for_io(term__functor(term__atom("tabled_for_io"), [], _),
parse_tabled_for_io(term__functor(term__atom("not_tabled_for_io"), [], _),
not_tabled_for_io).
% XXX For the moment we just ignore the following attributes.
% These attributes are used for aliasing on the reuse branch,
% and ignoring them allows the main branch compiler to compile
% the reuse branch.
:- pred parse_aliasing(term).
:- mode parse_aliasing(in) is semidet.
parse_aliasing(term__functor(term__atom("no_aliasing"), [], _)).
parse_aliasing(term__functor(term__atom("unknown_aliasing"), [], _)).
parse_aliasing(term__functor(term__atom("alias"), [_Types, _Alias], _)).
% parse a pragma foreign_code declaration
:- pred parse_pragma_foreign_code(module_name, pragma_foreign_code_attributes,