[m-rev.] diff: enable pragma type_spec on java

[Peter Wang]

Branches: main, 10.04

compiler/make_hlds_passes.m:
        Don't ignore `pragma type_spec' on the Java back-end.  The problem that
        it works around (too long class names) was worked around in a different
        way earlier.

diff --git a/compiler/make_hlds_passes.m b/compiler/make_hlds_passes.m
index fc2d6cf..ad1bf0d 100644
--- a/compiler/make_hlds_passes.m
+++ b/compiler/make_hlds_passes.m
@@ -1230,23 +1230,7 @@ add_pass_3_pragma(ItemPragma, !Status,
!ModuleInfo, !QualInfo, !Specs) :-
         )
     ;
         Pragma = pragma_type_spec(_, _, _, _, _, _, _, _),
-        % XXX For the Java back-end, `pragma type_spec' can result in
-        % class names that exceed the limits on file name length.
-        % So we ignore these pragmas for the Java back-end.
-        module_info_get_globals(!.ModuleInfo, Globals),
-        globals.get_target(Globals, Target),
-        (
-            Target = target_java
-        ;
-            ( Target = target_c
-            ; Target = target_il
-            ; Target = target_asm
-            ; Target = target_x86_64
-            ; Target = target_erlang
-            ),
-            add_pragma_type_spec(Pragma, Context, !ModuleInfo, !QualInfo,
-                !Specs)
-        )
+        add_pragma_type_spec(Pragma, Context, !ModuleInfo, !QualInfo, !Specs)
     ;
         Pragma = pragma_termination_info(PredOrFunc, SymName, ModeList,
             MaybeArgSizeInfo, MaybeTerminationInfo),
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------