CI test prior to release

Author: lizmat

Changes

@@ -1,6 +1,10 @@
 Revision history for OO-Monitors
 
 {{$NEXT}}
+    - Remove all features that depend on experimental macros:
+      is conditioned trait, meet-condition, wait-condition.
+      They do not appear to be used in any ecosystem modules,
+      and will break this module when RakuAST is bootstrapped
 
 1.1.4  2025-02-12T14:04:41+01:00
     - Adapt build logic to also allow for the new

README.md

@@ -58,36 +58,6 @@ monitor IPFilter {
 
 That's about all there is to it. The monitor meta-object enforces mutual exclusion.
 
-Conditions
-----------
-
-Condition variables are declared with the `conditioned` trait on the monitor. To wait on a condition, use `wait-condition`. To signal that a condition has been met, use `meet-condition`. Here is an example of a bounded queue.
-
-```raku
-monitor BoundedQueue is conditioned(<not-full not-empty>) {
-    has @!tasks;
-    has $.limit = die "Must specify a limit";
-
-    method add-task($task) {
-        while @!tasks.elems == $!limit {
-            wait-condition <not-full>;
-        }
-        @!tasks.push($task);
-        meet-condition <not-empty>;
-    }
-
-    method take-task() {
-        until @!tasks {
-            wait-condition <not-empty>;
-        }
-        meet-condition <not-full>;
-        return @!tasks.shift;
-    }
-}
-```
-
-When `wait-condition` is used, the lock is released and the thread blocks until the condition is met by some other thread. By contrast, `meet-condition` just marks a waiting thread as unblocked, but retains the lock until the method is over.
-
 Circular waiting
 ----------------
 

doc/OO-Monitors.rakudoc

@@ -63,43 +63,6 @@ monitor IPFilter {
 That's about all there is to it. The monitor meta-object enforces mutual
 exclusion.
 
-=head2 Conditions
-
-Condition variables are declared with the C<conditioned> trait on the
-monitor.  To wait on a condition, use C<wait-condition>. To signal that
-a condition has been met, use C<meet-condition>. Here is an example of
-a bounded queue.
-
-=begin code :lang<raku>
-
-monitor BoundedQueue is conditioned(<not-full not-empty>) {
-    has @!tasks;
-    has $.limit = die "Must specify a limit";
-
-    method add-task($task) {
-        while @!tasks.elems == $!limit {
-            wait-condition <not-full>;
-        }
-        @!tasks.push($task);
-        meet-condition <not-empty>;
-    }
-
-    method take-task() {
-        until @!tasks {
-            wait-condition <not-empty>;
-        }
-        meet-condition <not-full>;
-        return @!tasks.shift;
-    }
-}
-
-=end code
-
-When C<wait-condition> is used, the lock is released and the thread
-blocks until the condition is met by some other thread. By contrast,
-C<meet-condition> just marks a waiting thread as unblocked, but retains
-the lock until the method is over.
-
 =head2 Circular waiting
 
 Monitors are vulnerable to deadlock, if you set up a circular dependency. Keep

lib/OO/Monitors.rakumod

@@ -1,5 +1,3 @@
-use experimental :macros;
-
 class MetamodelX::MonitorHOW is Metamodel::ClassHOW {
     has $!lock-attr;
     has %!condition-attrs;
@@ -38,25 +36,6 @@ class MetamodelX::MonitorHOW is Metamodel::ClassHOW {
         self.Metamodel::ClassHOW::add_method(type, $name, $meth);
     }
 
-    method add_condition(Mu \type, $name) {
-        die "Already have a condition variable $name"
-            if %!condition-attrs{$name}:exists;
-        my $attr = Attribute.new(
-            name => '$!MONITR-CONDITION-' ~ $name,
-            type => Any,
-            package => type,
-            build => -> \SELF, | { $!lock-attr.get_value(SELF).condition }
-        );
-        self.add_attribute(type, $attr);
-        %!condition-attrs{$name} = $attr;
-    }
-
-    method lookup_condition(Mu \type, $name) {
-        die "No such condition variable $name; did you mean: " ~ %!condition-attrs.keys.join(', ')
-            unless %!condition-attrs{$name}:exists;
-        %!condition-attrs{$name}
-    }
-
     method compose(Mu \type) {
         my &callsame := CORE::<&callsame>; # Workaround for RT #127858
         if self.method_table(type)<BUILDALL>:exists {
@@ -84,37 +63,6 @@ class MetamodelX::MonitorHOW is Metamodel::ClassHOW {
     }
 }
 
-sub add_cond_var(Mu:U $type, $name) {
-    die "Can only add a condition variable to a monitor"
-        unless $type.HOW ~~ MetamodelX::MonitorHOW;
-    $type.HOW.add_condition($type, $name);
-}
-
-multi trait_mod:<is>(Mu:U $type, :@conditioned!) is export {
-    add_cond_var($type, $_) for @conditioned;
-}
-
-multi trait_mod:<is>(Mu:U $type, :$conditioned!) is export {
-    add_cond_var($type, $conditioned);
-}
-
-sub get-cond-attr($cond, $user) {
-    my $cond-canon = $cond.Str.subst(/<-alpha-[-]>+/, '', :g);
-    die "Can only use $user in a monitor"
-        unless $*PACKAGE.HOW ~~ MetamodelX::MonitorHOW;
-    return $*PACKAGE.HOW.lookup_condition($*PACKAGE, $cond-canon);
-}
-
-macro wait-condition($cond) is export {
-    my $cond-attr = get-cond-attr($cond, 'wait-condition');
-    quasi { $cond-attr.get_value($*MONITOR).wait() }
-}
-
-macro meet-condition($cond) is export {
-    my $cond-attr = get-cond-attr($cond, 'meet-condition');
-    quasi { $cond-attr.get_value($*MONITOR).signal() }
-}
-
 my package EXPORTHOW {
     package DECLARE {
         constant monitor = MetamodelX::MonitorHOW;

run-tests

@@ -62,7 +62,7 @@ say ""
   || $enable-spesh-log;
 
 say "Testing {
-    "dist.ini".IO.lines.head.substr(7)
+    (try "dist.ini".IO.lines.head.substr(7)) // "..."
 }{
     " including author tests" if $author
 }";