[m-rev.] diff: fix problems preventing the system building in non-C grades

Julien Fischer jfischer at opturion.com
Tue Dec 2 22:07:42 AEDT 2014


Fix problems preventing the system building in non-C grades.

compiler/mode_info.m:
 	Avoid a warning due to the Mercury clause for the predicate
 	old_and_new_may_differ/2 having too tight a determinism.

compiler/pickle.m:
 	Fix cut-and-paste errors in Erlang foreign procs.

deep_profiler/DEEP_FLAGS.in:
 	Specify the location of the Erlang library headers.

Julien.

diff --git a/compiler/mode_info.m b/compiler/mode_info.m
index e55df53..5ae09d5 100644
--- a/compiler/mode_info.m
+++ b/compiler/mode_info.m
@@ -738,7 +738,8 @@ mode_info_set_in_dupl_for_switch(X, !MI) :-
      %
  :- pred old_and_new_may_differ(T::in, T::in) is semidet.

-old_and_new_may_differ(_, _).
+old_and_new_may_differ(_, _) :-
+    semidet_true.

  :- pragma foreign_proc("C",
      old_and_new_may_differ(Old::in, New::in),
diff --git a/compiler/pickle.m b/compiler/pickle.m
index 931ce7a..5e09347 100644
--- a/compiler/pickle.m
+++ b/compiler/pickle.m
@@ -202,7 +202,7 @@ user_defined_pickler(picklers(Pickles), TypeCtorDesc, Pickle) :-
      pickler_inst_cast(A::in, B::out(pickler_pred)),
      [will_not_call_mercury, thread_safe, promise_pure],
  "
-    B = A;
+    B = A
  ").

  :- pragma foreign_proc("C#",
@@ -342,7 +342,7 @@ user_defined_unpickler(unpicklers(Unpicklers), TypeCtorDesc, Unpickle) :-
      unpickler_inst_cast(A::in, B::out(unpickler_pred)),
      [will_not_call_mercury, thread_safe, promise_pure],
  "
-    B = A;
+    B = A
  ").

  :- pragma foreign_proc("C#",
diff --git a/deep_profiler/DEEP_FLAGS.in b/deep_profiler/DEEP_FLAGS.in
index 1d507f6..462cb53 100644
--- a/deep_profiler/DEEP_FLAGS.in
+++ b/deep_profiler/DEEP_FLAGS.in
@@ -23,4 +23,5 @@
  --java-classpath ../library/mer_std.jar
  --java-classpath ../browser/mer_browser.jar
  --java-classpath ../mdbcomp/mer_mdbcomp.jar
+--erlang-include-directory ../library/Mercury/hrls
  --config-file ../scripts/Mercury.config.bootstrap



More information about the reviews mailing list