diff: Fix bug in .opt files

Mark Anthony BROWN dougl at cs.mu.OZ.AU
Tue Jul 14 16:19:29 AEST 1998


Hi,

DJ, could you check this please?


Estimated hours taken: 1

Fix a bug: "pragma class_method" was being output in .opt files.

compiler/intermod:
	When outputting pragma decls for pred markers, ignore any
	class_method markers.

	
Index: intermod.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/intermod.m,v
retrieving revision 1.57
diff -u -t -u -r1.57 intermod.m
--- intermod.m	1998/07/08 20:56:29	1.57
+++ intermod.m	1998/07/14 04:39:09
@@ -1010,10 +1010,12 @@
                 % Since the inferred declarations are output, these
                 % don't need to be done in the importing module.
                 % Also purity is output as part of the pred/func decl.
+                % There is no pragma required for generated class methods.
                 ( { Marker = infer_type }
                 ; { Marker = infer_modes }
                 ; { Marker = (impure) }
                 ; { Marker = (semipure) }
+                ; { Marker = class_method }
                 )
         ->
                 []

-- 
Mark Brown  (dougl at cs.mu.oz.au)             |  Any technology that is
MEngSc student,                             |  distinguishable from magic
Dept of Computer Science, Melbourne Uni     |  is insufficiently advanced



More information about the developers mailing list