[m-rev.] diff: require concurrency for dining philosopher examples

[Julien Fischer]

Branches: main

samples/concurrency/dining_philosophers/philo*.m:
 	Require that compilation model used for these modules
 	support concurrency.

Julien.

Index: samples/concurrency/dining_philosophers/philo.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/samples/concurrency/dining_philosophers/philo.m,v
retrieving revision 1.1
diff -u -r1.1 philo.m
--- samples/concurrency/dining_philosophers/philo.m	8 Nov 2010 08:19:10 -0000	1.1
+++ samples/concurrency/dining_philosophers/philo.m	8 Nov 2010 08:20:19 -0000
@@ -28,6 +28,8 @@

  :- implementation.

+:- pragma require_feature_set([concurrency]).
+
  :- import_module thread.
  :- import_module thread.semaphore.

Index: samples/concurrency/dining_philosophers/philo2.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/samples/concurrency/dining_philosophers/philo2.m,v
retrieving revision 1.1
diff -u -r1.1 philo2.m
--- samples/concurrency/dining_philosophers/philo2.m	8 Nov 2010 08:19:10 -0000	1.1
+++ samples/concurrency/dining_philosophers/philo2.m	8 Nov 2010 08:20:07 -0000
@@ -29,6 +29,8 @@

  :- implementation.

+:- pragma require_feature_set([concurrency]).
+
  :- import_module thread.
  :- import_module thread.mvar.

Index: samples/concurrency/dining_philosophers/philo3.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/samples/concurrency/dining_philosophers/philo3.m,v
retrieving revision 1.1
diff -u -r1.1 philo3.m
--- samples/concurrency/dining_philosophers/philo3.m	8 Nov 2010 08:19:10 -0000	1.1
+++ samples/concurrency/dining_philosophers/philo3.m	8 Nov 2010 08:20:13 -0000
@@ -30,6 +30,8 @@

  :- implementation.

+:- pragma require_feature_set([concurrency]).
+
  :- import_module thread.
  :- import_module thread.semaphore.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------