[m-dev.] [for review] Deleting dead declarations in prog_io.m

[doug.auclair at logicaltypes.com]

Dear all,

The discussion on the op/3 thread went as follows:

(see http://www.cs.mu.oz.au/research/mercury/mailing-lists/mercury-developers/mercury-developers.200603/0046.html)
[me, alias: Doug "Peter" Auclair]:
>> Are the declarations 'import_op', 'use_op' and 'export_op' NU Prolog
>> declarations? I have not seen them in other Prolog distributions (XSB, SWI,
>> Quintus, Sicstus). See lines 1188-1200 of prog_io.m (and elsewhere).
[Mark Brown]:
>
>I can't find any other occurrences, either in the code or docs.  I think
>those lines should have been removed long ago.

So, here you have it ... I have checked compiler/*.m and library/*.m
and no files use the dead syntax (see diff -u below).  Please apply this diff
to prog_io.m and remove these declarations.

Yes, I have run the mercury test suite against this change, the test
results before and after the diff were the same.

Sincerely,
Doug Auclair

--- prog_io.m.~1.260.~  2005-11-27 23:11:51.000000000 -0500
+++ prog_io.m   2006-02-16 22:30:21.000000000 -0500

--- prog_io.sav 2006-03-03 19:51:47.000000000 -0500
+++ prog_io.m   2006-03-03 19:51:52.000000000 -0500
@@ -1097,107 +1097,6 @@
     parse_symlist_decl(parse_module_specifier, make_module, make_export,
         ModuleSpec, Attributes, VarSet, Result).

-process_decl(_ModuleName, VarSet, "import_sym", [SymSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_symbol_specifier, make_sym, make_import,
-        SymSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "use_sym", [SymSpec], Attributes, Result) :-
-    parse_symlist_decl(parse_symbol_specifier, make_sym, make_use,
-        SymSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "export_sym", [SymSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_symbol_specifier, make_sym, make_export,
-        SymSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "import_pred", [PredSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_predicate_specifier, make_pred, make_import,
-        PredSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "use_pred", [PredSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_predicate_specifier, make_pred, make_use,
-        PredSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "export_pred", [PredSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_predicate_specifier, make_pred, make_export,
-        PredSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "import_func", [FuncSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_function_specifier, make_func, make_import,
-        FuncSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "use_func", [FuncSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_function_specifier, make_func, make_use,
-        FuncSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "export_func", [FuncSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_function_specifier, make_func, make_export,
-        FuncSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "import_cons", [ConsSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_constructor_specifier, make_cons, make_import,
-        ConsSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "use_cons", [ConsSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_constructor_specifier, make_cons, make_use,
-        ConsSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "export_cons", [ConsSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_constructor_specifier, make_cons, make_export,
-        ConsSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "import_type", [TypeSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_type_specifier, make_type, make_import,
-    
-process_decl(_ModuleName, VarSet, "use_type", [TypeSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_type_specifier, make_type, make_use,
-        TypeSpec, Attributes, VarSet, Result).
-    
-process_decl(_ModuleName, VarSet, "export_type", [TypeSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_type_specifier, make_type, make_export,
-        TypeSpec, Attributes, VarSet, Result).
-    
-process_decl(_ModuleName, VarSet, "import_adt", [ADT_Spec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_adt_specifier, make_adt, make_import,
-        ADT_Spec, Attributes, VarSet, Result).
-    
-process_decl(_ModuleName, VarSet, "use_adt", [ADT_Spec], Attributes, Result) :-
-    parse_symlist_decl(parse_adt_specifier, make_adt, make_use,
-        ADT_Spec, Attributes, VarSet, Result).
-        
-process_decl(_ModuleName, VarSet, "export_adt", [ADT_Spec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_adt_specifier, make_adt, make_export,
-        ADT_Spec, Attributes, VarSet, Result).
-        
-process_decl(_ModuleName, VarSet, "import_op", [OpSpec], Attributes,
-        Result) :-
-    parse_symlist_decl(parse_op_specifier, make_op, make_import,
-        OpSpec, Attributes, VarSet, Result).
-        
-process_decl(_ModuleName, VarSet, "use_op", [OpSpec], Attributes, Result) :-
-    parse_symlist_decl(parse_op_specifier, make_op, make_use,
-        OpSpec, Attributes, VarSet, Result).
-
-process_decl(_ModuleName, VarSet, "export_op", [OpSpec], Attributes, Result) :-
-    parse_symlist_decl(parse_op_specifier, make_op, make_export,
-        OpSpec, Attributes, VarSet, Result).
-
 process_decl(_ModuleName, VarSet0, "interface", [], Attributes, Result) :-
     varset__coerce(VarSet0, VarSet),
     Result0 = ok(module_defn(VarSet, interface)),


--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------