[m-rev.] for review: no more trace ports for nondet foreign_procs

Zoltan Somogyi zs at csse.unimelb.edu.au
Wed Sep 21 20:00:44 AEST 2011
Previous message: [m-rev.] for review: goal_path representation
Next message: [m-rev.] for review: no more trace ports for nondet foreign_procs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
For review by anyone.

I intend to commit this change together with the one that changes the
debugger's string table, since that way binary compatibility for debuggable
executables will be broken just once.

I am seeking feedback on what would be a good time for those commits.

Zoltan.

Remove references to nondet foreign_proc from the definition of the data
structures that define stack layouts.

runtime/mercury_stack_layout.h:
	Remove the trace ports that could occur in nondet foreign_procs
	from the definition of the trace port type used in C code.

mdbcomp/prim_data.m:
	Remove the trace ports that could occur in nondet foreign_procs
	from the definition of the trace port type used in Mercury code.

compiler/layout_out.m:
compiler/stack_layout.m:
compiler/trace_params.m:
mdbcomp/trace_counts.m:
runtime/mercury_trace_base.h:
trace/mercury_trace_declarative.h:
	Delete references to those ports.

runtime/mercury_stack_layout.h:
	Update the binary compatibility version number for debuggable
	executables, since the port number of user events has changed.

cvs diff: Diffing .
cvs diff: Diffing analysis
cvs diff: Diffing bindist
cvs diff: Diffing boehm_gc
cvs diff: Diffing boehm_gc/Mac_files
cvs diff: Diffing boehm_gc/cord
cvs diff: Diffing boehm_gc/cord/private
cvs diff: Diffing boehm_gc/doc
cvs diff: Diffing boehm_gc/extra
cvs diff: Diffing boehm_gc/include
cvs diff: Diffing boehm_gc/include/extra
cvs diff: Diffing boehm_gc/include/private
cvs diff: Diffing boehm_gc/libatomic_ops
cvs diff: Diffing boehm_gc/libatomic_ops/doc
cvs diff: Diffing boehm_gc/libatomic_ops/src
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/armcc
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/gcc
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/hpc
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/ibmc
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/icc
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/msftc
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/sunc
cvs diff: Diffing boehm_gc/libatomic_ops/tests
cvs diff: Diffing boehm_gc/libatomic_ops-1.2
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/doc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/tests
cvs diff: Diffing boehm_gc/m4
cvs diff: Diffing boehm_gc/tests
cvs diff: Diffing browser
cvs diff: Diffing bytecode
cvs diff: Diffing compiler
Index: compiler/layout_out.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/layout_out.m,v
retrieving revision 1.121
diff -u -b -r1.121 layout_out.m
--- compiler/layout_out.m	18 Jul 2011 05:09:35 -0000	1.121
+++ compiler/layout_out.m	19 Sep 2011 15:47:23 -0000
@@ -2269,8 +2269,6 @@
 trace_port_to_string(port_disj_first) =          "DISJ_FIRST".
 trace_port_to_string(port_disj_later) =          "DISJ_LATER".
 trace_port_to_string(port_switch) =              "SWITCH".
-trace_port_to_string(port_nondet_foreign_proc_first) = "FOREIGN_PROC_FIRST".
-trace_port_to_string(port_nondet_foreign_proc_later) = "FOREIGN_PROC_LATER".
 trace_port_to_string(port_user) =                "USER".
 
 %-----------------------------------------------------------------------------%
Index: compiler/stack_layout.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/stack_layout.m,v
retrieving revision 1.164
diff -u -b -r1.164 stack_layout.m
--- compiler/stack_layout.m	16 Sep 2011 07:03:35 -0000	1.164
+++ compiler/stack_layout.m	20 Sep 2011 03:56:21 -0000
@@ -1127,8 +1127,6 @@
             ; Port = port_disj_first
             ; Port = port_disj_later
             ; Port = port_switch
-            ; Port = port_nondet_foreign_proc_first
-            ; Port = port_nondet_foreign_proc_later
             ; Port = port_user
             ),
             LayoutName = layout_slot(label_layout_array(LabelVars), Slot),
Index: compiler/trace_params.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/trace_params.m,v
retrieving revision 1.43
diff -u -b -r1.43 trace_params.m
--- compiler/trace_params.m	25 Nov 2008 07:46:43 -0000	1.43
+++ compiler/trace_params.m	21 Sep 2011 05:02:19 -0000
@@ -493,12 +493,6 @@
 convert_port_name("switch") = port_switch.
 convert_port_name("disj_first") = port_disj_first.
 convert_port_name("disj_later") = port_disj_later.
-convert_port_name("frst") = port_nondet_foreign_proc_first.
-convert_port_name("nondet_foreign_proc_first") =
-    port_nondet_foreign_proc_first.
-convert_port_name("latr") = port_nondet_foreign_proc_later.
-convert_port_name("nondet_foreign_proc_later") =
-    port_nondet_foreign_proc_later.
 convert_port_name("tail") = port_tailrec_call.
 convert_port_name("user") = port_user.
 
@@ -583,8 +577,6 @@
 trace_port_category(port_switch)              = port_cat_internal.
 trace_port_category(port_disj_first)          = port_cat_internal.
 trace_port_category(port_disj_later)          = port_cat_internal.
-trace_port_category(port_nondet_foreign_proc_first) = port_cat_internal.
-trace_port_category(port_nondet_foreign_proc_later) = port_cat_internal.
 trace_port_category(port_tailrec_call)        = port_cat_interface.
 trace_port_category(port_user)                = port_cat_user.
 
@@ -659,6 +651,4 @@
 port_number(port_disj_first) = 12.
 port_number(port_disj_later) = 13.
 port_number(port_switch) = 14.
-port_number(port_nondet_foreign_proc_first) = 15.
-port_number(port_nondet_foreign_proc_later) = 16.
-port_number(port_user) = 17.
+port_number(port_user) = 15.
cvs diff: Diffing compiler/notes
cvs diff: Diffing deep_profiler
cvs diff: Diffing deep_profiler/notes
cvs diff: Diffing doc
cvs diff: Diffing extras
cvs diff: Diffing extras/base64
cvs diff: Diffing extras/cgi
cvs diff: Diffing extras/complex_numbers
cvs diff: Diffing extras/complex_numbers/samples
cvs diff: Diffing extras/complex_numbers/tests
cvs diff: Diffing extras/curs
cvs diff: Diffing extras/curs/samples
cvs diff: Diffing extras/curses
cvs diff: Diffing extras/curses/sample
cvs diff: Diffing extras/dynamic_linking
cvs diff: Diffing extras/error
cvs diff: Diffing extras/fixed
cvs diff: Diffing extras/gator
cvs diff: Diffing extras/gator/generations
cvs diff: Diffing extras/gator/generations/1
cvs diff: Diffing extras/graphics
cvs diff: Diffing extras/graphics/easyx
cvs diff: Diffing extras/graphics/easyx/samples
cvs diff: Diffing extras/graphics/mercury_allegro
cvs diff: Diffing extras/graphics/mercury_allegro/examples
cvs diff: Diffing extras/graphics/mercury_allegro/samples
cvs diff: Diffing extras/graphics/mercury_allegro/samples/demo
cvs diff: Diffing extras/graphics/mercury_allegro/samples/mandel
cvs diff: Diffing extras/graphics/mercury_allegro/samples/pendulum2
cvs diff: Diffing extras/graphics/mercury_allegro/samples/speed
cvs diff: Diffing extras/graphics/mercury_cairo
cvs diff: Diffing extras/graphics/mercury_cairo/samples
cvs diff: Diffing extras/graphics/mercury_cairo/samples/data
cvs diff: Diffing extras/graphics/mercury_cairo/tutorial
cvs diff: Diffing extras/graphics/mercury_glut
cvs diff: Diffing extras/graphics/mercury_opengl
cvs diff: Diffing extras/graphics/mercury_tcltk
cvs diff: Diffing extras/graphics/samples
cvs diff: Diffing extras/graphics/samples/calc
cvs diff: Diffing extras/graphics/samples/gears
cvs diff: Diffing extras/graphics/samples/maze
cvs diff: Diffing extras/graphics/samples/pent
cvs diff: Diffing extras/lazy_evaluation
cvs diff: Diffing extras/lex
cvs diff: Diffing extras/lex/samples
cvs diff: Diffing extras/lex/tests
cvs diff: Diffing extras/log4m
cvs diff: Diffing extras/logged_output
cvs diff: Diffing extras/monte
cvs diff: Diffing extras/moose
cvs diff: Diffing extras/moose/samples
cvs diff: Diffing extras/moose/tests
cvs diff: Diffing extras/mopenssl
cvs diff: Diffing extras/morphine
cvs diff: Diffing extras/morphine/non-regression-tests
cvs diff: Diffing extras/morphine/scripts
cvs diff: Diffing extras/morphine/source
cvs diff: Diffing extras/net
cvs diff: Diffing extras/odbc
cvs diff: Diffing extras/posix
cvs diff: Diffing extras/posix/samples
cvs diff: Diffing extras/quickcheck
cvs diff: Diffing extras/quickcheck/tutes
cvs diff: Diffing extras/references
cvs diff: Diffing extras/references/samples
cvs diff: Diffing extras/references/tests
cvs diff: Diffing extras/solver_types
cvs diff: Diffing extras/solver_types/library
cvs diff: Diffing extras/trailed_update
cvs diff: Diffing extras/trailed_update/samples
cvs diff: Diffing extras/trailed_update/tests
cvs diff: Diffing extras/windows_installer_generator
cvs diff: Diffing extras/windows_installer_generator/sample
cvs diff: Diffing extras/windows_installer_generator/sample/images
cvs diff: Diffing extras/xml
cvs diff: Diffing extras/xml/samples
cvs diff: Diffing extras/xml_stylesheets
cvs diff: Diffing java
cvs diff: Diffing java/runtime
cvs diff: Diffing library
cvs diff: Diffing mdbcomp
Index: mdbcomp/prim_data.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/mdbcomp/prim_data.m,v
retrieving revision 1.37
diff -u -b -r1.37 prim_data.m
--- mdbcomp/prim_data.m	27 Apr 2010 03:39:28 -0000	1.37
+++ mdbcomp/prim_data.m	19 Sep 2011 15:46:02 -0000
@@ -30,7 +30,7 @@
     % by compiler-generated code, or by code in the standard library
     % referring to compiler-generated data structures.
     %
-    % This enumeration must be EXACTLY the same as the MR_trace_port enum
+    % This enumeration must be EXACTLY the same as the MR_TracePort enum
     % in runtime/mercury_trace_base.h, and in the same order, since the
     % code (in browser) assumes the representation is the same.
     %
@@ -50,8 +50,6 @@
     ;       port_disj_first
     ;       port_disj_later
     ;       port_switch
-    ;       port_nondet_foreign_proc_first
-    ;       port_nondet_foreign_proc_later
     ;       port_user.
 
     % The order that the sym_name function symbols appear in can be significant
Index: mdbcomp/trace_counts.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/mdbcomp/trace_counts.m,v
retrieving revision 1.30
diff -u -b -r1.30 trace_counts.m
--- mdbcomp/trace_counts.m	15 Jun 2011 01:05:33 -0000	1.30
+++ mdbcomp/trace_counts.m	19 Sep 2011 23:44:59 -0000
@@ -700,8 +700,6 @@
 string_to_trace_port("DSJF", port_disj_first).
 string_to_trace_port("DSJL", port_disj_later).
 string_to_trace_port("SWTC", port_switch).
-string_to_trace_port("FRST", port_nondet_foreign_proc_first).
-string_to_trace_port("LATR", port_nondet_foreign_proc_later).
 string_to_trace_port("USER", port_user).
 
 :- func string_to_goal_path(string) = reverse_goal_path is semidet.
@@ -734,8 +732,6 @@
 make_path_port(GoalPath, port_disj_first) = path_only(GoalPath).
 make_path_port(GoalPath, port_disj_later) = path_only(GoalPath).
 make_path_port(GoalPath, port_switch) = path_only(GoalPath).
-make_path_port(GoalPath, port_nondet_foreign_proc_first) = path_only(GoalPath).
-make_path_port(GoalPath, port_nondet_foreign_proc_later) = path_only(GoalPath).
 make_path_port(_GoalPath, port_user) = port_only(port_user).
 
 %-----------------------------------------------------------------------------%
cvs diff: Diffing profiler
cvs diff: Diffing robdd
cvs diff: Diffing runtime
Index: runtime/mercury_grade.h
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/runtime/mercury_grade.h,v
retrieving revision 1.85
diff -u -b -r1.85 mercury_grade.h
--- runtime/mercury_grade.h	5 Jul 2011 03:34:36 -0000	1.85
+++ runtime/mercury_grade.h	21 Sep 2011 05:05:17 -0000
@@ -59,13 +59,13 @@
 ** RTTI version number.
 **
 ** The MR_GRADE_EXEC_TRACE_VERSION_NO, MR_GRADE_DEEP_PROF_VERSION_NO and
-** MR_GRADE_LLC_PAR_VERSION_NO macros should be incremented when a change breaks
-** binary backwards compatibility only in debugging, deep profiling and
-** low-level C parallel grades respectively.
+** MR_GRADE_LLC_PAR_VERSION_NO macros should be incremented when a change
+** breaks binary backwards compatibility only in debugging, deep profiling
+** and low-level C parallel grades respectively.
 */
 
 #define MR_GRADE_PART_0 v18_
-#define MR_GRADE_EXEC_TRACE_VERSION_NO  9
+#define MR_GRADE_EXEC_TRACE_VERSION_NO  10
 #define MR_GRADE_DEEP_PROF_VERSION_NO   3
 #define MR_GRADE_LLC_PAR_VERSION_NO 1
 
@@ -347,8 +347,8 @@
 ** Parts 10-11 (i.e. tag bits, and (un)boxed float) are documented as
 ** "not for general use", and can't be set via the `--grade' option;
 ** we therefore can't make them part of the grade option string.
-** Single-precision floats, do form part of the grade option string
-** and implies unboxed floats.
+** Single-precision floats do form part of the grade option string
+** and they imply unboxed floats.
 **
 ** Part 12 (i.e. MR_NEW_MERCURYFILE_STRUCT) can't be set
 ** by the `--grade' option; it is intended to be set by the configure script
Index: runtime/mercury_trace_base.h
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/runtime/mercury_trace_base.h,v
retrieving revision 1.66
diff -u -b -r1.66 mercury_trace_base.h
--- runtime/mercury_trace_base.h	21 Oct 2009 06:36:35 -0000	1.66
+++ runtime/mercury_trace_base.h	19 Sep 2011 15:47:46 -0000
@@ -50,8 +50,6 @@
     MR_PORT_DISJ_FIRST,
     MR_PORT_DISJ_LATER,
     MR_PORT_SWITCH,
-    MR_PORT_FOREIGN_PROC_FIRST,
-    MR_PORT_FOREIGN_PROC_LATER,
     MR_PORT_USER,
     MR_PORT_NONE
 } MR_TracePort;
@@ -74,8 +72,6 @@
     "DSJF", \
     "DSJL", \
     "SWTC", \
-    "FRST", \
-    "LATR", \
     "USER", \
     "NONE"
 
@@ -95,8 +91,6 @@
     "DISJ", \
     "DISJ", \
     "SWTC", \
-    "FRST", \
-    "LATR", \
     "USER", \
     "NONE"
 
cvs diff: Diffing runtime/GETOPT
cvs diff: Diffing runtime/machdeps
cvs diff: Diffing samples
cvs diff: Diffing samples/appengine
cvs diff: Diffing samples/appengine/war
cvs diff: Diffing samples/appengine/war/WEB-INF
cvs diff: Diffing samples/c_interface
cvs diff: Diffing samples/c_interface/c_calls_mercury
cvs diff: Diffing samples/c_interface/cplusplus_calls_mercury
cvs diff: Diffing samples/c_interface/mercury_calls_c
cvs diff: Diffing samples/c_interface/mercury_calls_cplusplus
cvs diff: Diffing samples/c_interface/mercury_calls_fortran
cvs diff: Diffing samples/c_interface/simpler_c_calls_mercury
cvs diff: Diffing samples/c_interface/simpler_cplusplus_calls_mercury
cvs diff: Diffing samples/c_interface/standalone_c
cvs diff: Diffing samples/concurrency
cvs diff: Diffing samples/concurrency/dining_philosophers
cvs diff: Diffing samples/concurrency/midimon
cvs diff: Diffing samples/diff
cvs diff: Diffing samples/java_interface
cvs diff: Diffing samples/java_interface/java_calls_mercury
cvs diff: Diffing samples/java_interface/mercury_calls_java
cvs diff: Diffing samples/lazy_list
cvs diff: Diffing samples/muz
cvs diff: Diffing samples/rot13
cvs diff: Diffing samples/solutions
cvs diff: Diffing samples/solver_types
cvs diff: Diffing samples/tests
cvs diff: Diffing samples/tests/c_interface
cvs diff: Diffing samples/tests/c_interface/c_calls_mercury
cvs diff: Diffing samples/tests/c_interface/cplusplus_calls_mercury
cvs diff: Diffing samples/tests/c_interface/mercury_calls_c
cvs diff: Diffing samples/tests/c_interface/mercury_calls_cplusplus
cvs diff: Diffing samples/tests/c_interface/mercury_calls_fortran
cvs diff: Diffing samples/tests/c_interface/simpler_c_calls_mercury
cvs diff: Diffing samples/tests/c_interface/simpler_cplusplus_calls_mercury
cvs diff: Diffing samples/tests/diff
cvs diff: Diffing samples/tests/muz
cvs diff: Diffing samples/tests/rot13
cvs diff: Diffing samples/tests/solutions
cvs diff: Diffing samples/tests/toplevel
cvs diff: Diffing scripts
cvs diff: Diffing slice
cvs diff: Diffing ssdb
cvs diff: Diffing tests
cvs diff: Diffing tests/analysis
cvs diff: Diffing tests/analysis/ctgc
cvs diff: Diffing tests/analysis/excp
cvs diff: Diffing tests/analysis/ext
cvs diff: Diffing tests/analysis/sharing
cvs diff: Diffing tests/analysis/table
cvs diff: Diffing tests/analysis/trail
cvs diff: Diffing tests/analysis/unused_args
cvs diff: Diffing tests/benchmarks
cvs diff: Diffing tests/debugger
cvs diff: Diffing tests/debugger/declarative
cvs diff: Diffing tests/dppd
cvs diff: Diffing tests/general
cvs diff: Diffing tests/general/accumulator
cvs diff: Diffing tests/general/string_format
cvs diff: Diffing tests/general/structure_reuse
cvs diff: Diffing tests/grade_subdirs
cvs diff: Diffing tests/hard_coded
cvs diff: Diffing tests/hard_coded/exceptions
cvs diff: Diffing tests/hard_coded/purity
cvs diff: Diffing tests/hard_coded/sub-modules
cvs diff: Diffing tests/hard_coded/typeclasses
cvs diff: Diffing tests/invalid
cvs diff: Diffing tests/invalid/purity
cvs diff: Diffing tests/misc_tests
cvs diff: Diffing tests/mmc_make
cvs diff: Diffing tests/mmc_make/lib
cvs diff: Diffing tests/par_conj
cvs diff: Diffing tests/recompilation
cvs diff: Diffing tests/stm
cvs diff: Diffing tests/stm/orig
cvs diff: Diffing tests/stm/orig/stm-compiler
cvs diff: Diffing tests/stm/orig/stm-compiler/test1
cvs diff: Diffing tests/stm/orig/stm-compiler/test10
cvs diff: Diffing tests/stm/orig/stm-compiler/test2
cvs diff: Diffing tests/stm/orig/stm-compiler/test3
cvs diff: Diffing tests/stm/orig/stm-compiler/test4
cvs diff: Diffing tests/stm/orig/stm-compiler/test5
cvs diff: Diffing tests/stm/orig/stm-compiler/test6
cvs diff: Diffing tests/stm/orig/stm-compiler/test7
cvs diff: Diffing tests/stm/orig/stm-compiler/test8
cvs diff: Diffing tests/stm/orig/stm-compiler/test9
cvs diff: Diffing tests/stm/orig/stm-compiler-par
cvs diff: Diffing tests/stm/orig/stm-compiler-par/bm1
cvs diff: Diffing tests/stm/orig/stm-compiler-par/bm2
cvs diff: Diffing tests/stm/orig/stm-compiler-par/stmqueue
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test1
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test10
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test11
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test2
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test3
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test4
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test5
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test6
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test7
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test8
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test9
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test1
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test2
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test3
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test4
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test5
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test6
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test7
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test8
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test9
cvs diff: Diffing tests/tabling
cvs diff: Diffing tests/term
cvs diff: Diffing tests/trailing
cvs diff: Diffing tests/valid
cvs diff: Diffing tests/warnings
cvs diff: Diffing tools
cvs diff: Diffing trace
Index: trace/mercury_trace_declarative.c
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/trace/mercury_trace_declarative.c,v
retrieving revision 1.116
diff -u -b -r1.116 mercury_trace_declarative.c
--- trace/mercury_trace_declarative.c	5 Feb 2010 04:16:15 -0000	1.116
+++ trace/mercury_trace_declarative.c	20 Sep 2011 01:54:10 -0000
@@ -782,11 +782,6 @@
             trace = MR_trace_decl_neg_failure(event_info, trace);
             break;
 
-        case MR_PORT_FOREIGN_PROC_FIRST:
-        case MR_PORT_FOREIGN_PROC_LATER:
-            MR_fatal_error("MR_trace_construct_node: "
-                "foreign language code is not handled (yet)");
-
         case MR_PORT_EXCEPTION:
             trace = MR_trace_decl_excp(event_info, trace);
             break;
cvs diff: Diffing util
cvs diff: Diffing vim
cvs diff: Diffing vim/after
cvs diff: Diffing vim/ftplugin
cvs diff: Diffing vim/syntax
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
Previous message: [m-rev.] for review: goal_path representation
Next message: [m-rev.] for review: no more trace ports for nondet foreign_procs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
More information about the reviews mailing list