mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Fix errors in thread.barrier.

Browse Source 
library/thread.barrier.m:
    Fix errors documentation.

    Fix an incorrect error message.
This commit is contained in:
Julien Fischer
2026-02-16 14:18:33 +11:00
parent 66a346e41d
commit bbd760e67c
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
library/thread.barrier.m
View File

@@ -2,7 +2,7 @@
% vim: ft=mercury ts=4 sw=4 et
%---------------------------------------------------------------------------%
% Copyright (C) 2005, 2014 Mission Critical IT.
% Copyright (C) 2014-2015, 2018, 2022, 2024-2025 The Mercury team.
% Copyright (C) 2014-2015, 2018, 2022, 2024-2026 The Mercury team.
% This file is distributed under the terms specified in COPYING.LIB.
%---------------------------------------------------------------------------%
%
@@ -31,13 +31,13 @@
:- type barrier.
% init(N, Barrier, !IO)
% init(N, Barrier, !IO):
%
% Create a barrier for N threads.
%
:- pred init(int::in, barrier::out, io::di, io::uo) is det.
% wait(Barrier, !IO)
% wait(Barrier, !IO):
%
% Indicate that the current thread has reached the barrier. Throws a
% software_error/1 exception if this barrier has been used by more than
@@ -45,7 +45,7 @@
%
:- pred wait(barrier::in, io::di, io::uo) is det.
% release_barrier(Barrier, !IO)
% release(Barrier, !IO):
%
% Release all the threads waiting at the barrier regardless of whether
% or not N threads have arrived at the barrier. This can be called by
@@ -74,7 +74,7 @@
:- type barrier
---> barrier(
% How many threads we are still waiting on?
% How many threads are we still waiting on?
b_waiting_for :: mvar(int),
% Can we go yet?
@@ -128,7 +128,7 @@ wait(barrier(WaitingOn, Go), !IO) :-
(
WhyGo = can_go_normal,
unexpected($file, $pred,
"Too many threads called barrier/3 on this barrier.")
"Too many threads called wait/3 on this barrier.")
;
WhyGo = can_go_release_called
)