Julien Fischer d62391b040 Allow for only a single positive leap second. ...

Mercury currently allows for two positive leap seconds per minute, presumably
following earlier versions of the C standard (e.g. C90). This is based on
an erroneous understanding of how UTC is defined and was corrected in C99.
(UTC allows a maximum of one leap second, positive or negative, per minute.)

library/calendar.m:
library/time.m:
    Allow only a single positive leap second per minute.

NEWS.md:
    Announce the above change.

tests/hard_coded/calendar_date_time.conv.{m,exp}:
    Update this test.

2026-04-15 00:24:41 +10:00

..

.gitignore

…

.mgnuc_copts

…

.mgnuc_opts

…

.nocopyright

…

array2d.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

array.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

assoc_list.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

backjump.m

Fix library documentation errors.

2026-01-22 21:22:38 +11:00

bag.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

benchmarking.m

…

bimap.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

bit_buffer.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

bit_buffer.read.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

bit_buffer.write.m

…

bitmap.m

Rationalise foreign_proc attributes in stdlib.

2026-02-20 19:19:26 +11:00

bool.m

…

bt_array.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

builtin.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

calendar.m

Allow for only a single positive leap second.

2026-04-15 00:24:41 +10:00

char.m

Adjust char module documentation.

2026-02-25 22:06:42 +11:00

construct.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

cord.m

Add cord.ulength.

2026-03-19 18:31:05 +11:00

counter.m

…

deconstruct.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

diet.m

…

digraph.m

Compile the Mercury system with --warn-unused-types.

2026-03-09 03:07:51 +11:00

dir.m

Add some missing semicolons.

2026-03-14 01:59:56 +11:00

edit_distance.m

Fix library documentation errors.

2026-01-22 21:22:38 +11:00

edit_seq.m

Fix library documentation errors.

2026-01-22 21:22:38 +11:00

enum.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

eqvclass.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

exception.m

Fix library documentation errors.

2026-01-22 21:22:38 +11:00

fat_sparse_bitset.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

fatter_sparse_bitset.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

float.m

Modernise the header comment in the float module.

2026-03-14 17:09:55 +11:00

gc.m

…

getopt_io.m

Fix incorrect obsolete pragma.

2026-02-28 00:15:22 +11:00

getopt.m

Fix incorrect obsolete pragma.

2026-02-28 00:15:22 +11:00

hash_table.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

injection.m

Fix library documentation errors.

2026-01-22 21:22:38 +11:00

int8.m

Add clamp/3 for other primitive integer types.

2026-03-05 16:54:47 +11:00

int16.m

Add clamp/3 for other primitive integer types.

2026-03-05 16:54:47 +11:00

int32.m

Fix typos.

2026-03-08 02:04:04 +11:00

int64.m

Fix typo.

2026-03-07 00:32:26 +11:00

int.m

Add clamp/3 for other primitive integer types.

2026-03-05 16:54:47 +11:00

integer.m

Fix integer.mul_by_digit producing denormalized zeros. (#141)

2026-03-14 09:35:20 +11:00

INTER_FLAGS

…

INTER_FLAGS_MMC_MAKE

…

io.call_system.m

Rationalise foreign_proc attributes in stdlib.

2026-02-20 19:19:26 +11:00

io.environment.m

Rationalise foreign_proc attributes in stdlib.

2026-02-20 19:19:26 +11:00

io.error_util.m

…

io.file.m

Rationalise foreign_proc attributes in stdlib.

2026-02-20 19:19:26 +11:00

io.m

Fix omission in documentation of io.set_output_line_number.

2026-03-13 14:18:03 +11:00

io.primitives_read.m

Rationalise foreign_proc attributes in stdlib.

2026-02-20 19:19:26 +11:00

io.primitives_write.m

Rationalise foreign_proc attributes in stdlib.

2026-02-20 19:19:26 +11:00

io.stream_db.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

io.stream_ops.m

Rationalise foreign_proc attributes in stdlib.

2026-02-20 19:19:26 +11:00

io.text_read.m

Rationalise foreign_proc attributes in stdlib.

2026-02-20 19:19:26 +11:00

kv_list.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

lazy.m

…

LIB_FLAGS.in

…

library_strong_name.sn

…

library.m

Enable dense switches on sized and unsigned ints.

2026-03-04 19:51:35 +11:00

list.m

Delete an extraneous space.

2026-03-13 12:44:54 +11:00

map.m

Fix map.union_list/4 documentation.

2026-03-03 13:01:00 +11:00

math.m

Minor documentation fix.

2026-02-18 15:08:23 +11:00

maybe.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

mer_std.m

…

mer_std.trans_opt_deps_spec

…

mercury_term_lexer.m

Fix documentation and formatting.

2026-02-12 21:59:25 +11:00

mercury_term_parser.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

Mercury.options

…

Mmakefile

…

MODULES_DOC

…

MODULES_UNDOC

…

multi_map.m

…

mutvar.m

…

one_or_more_map.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

one_or_more.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

ops.m

Fix library documentation errors.

2026-01-22 21:22:38 +11:00

pair.m

…

par_builtin.m

…

parsing_utils.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

pprint.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

pqueue.m

…

pretty_printer.m

Documentation and obsolete pragma fixes.

2026-02-18 23:31:27 +11:00

print_extra_inits

…

private_builtin.m

Warn about singletons for *all* foreign procs.

2026-01-29 22:09:58 +11:00

profiling_builtin.m

Pass the CSD arg to profiling builtins explicitly.

2026-01-29 00:11:37 +11:00

prolog.m

More library fixes.

2026-02-20 23:57:09 +11:00

psqueue.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

queue.m

…

ra_list.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

random.m

Adjust documentation for random.normal_floats/7.

2026-02-18 15:31:30 +11:00

random.sfc16.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

random.sfc32.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

random.sfc64.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

random.system_rng.m

Better document error behaviour in random.system_rng.

2026-02-24 21:08:25 +11:00

ranges.m

More library documentation fixes.

2026-02-20 21:05:08 +11:00

rational.m

Fix integer.mul_by_digit producing denormalized zeros. (#141)

2026-03-14 09:35:20 +11:00

rbtree.m

Fix rbtree.count and rbtree.ucount.

2026-02-20 13:40:40 +11:00

region_builtin.m

…

require.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

RESERVED_MACRO_NAMES

…

robdd.m

…

rtree.m

Fix indentation.

2026-03-18 15:59:04 +11:00

rtti_implementation.m

More library fixes.

2026-02-20 23:57:09 +11:00

set_bbbtree.m

More standard library fixes.

2026-02-20 14:42:38 +11:00

set_ctree234.m

More standard library fixes.

2026-02-20 14:42:38 +11:00

set_ordlist.m

More standard library fixes.

2026-02-20 14:42:38 +11:00

set_tree234.m

More standard library fixes.

2026-02-20 14:42:38 +11:00

set_unordlist.m

More standard library fixes.

2026-02-20 14:42:38 +11:00

set.m

Fix documentation of set.map2_fold/6.

2026-02-18 21:05:36 +11:00

solutions.m

…

sparse_bitset.m

Fix documentation and formatting.

2026-02-12 21:59:25 +11:00

stack.m

More standard library fixes.

2026-02-20 14:42:38 +11:00

std_util.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

stm_builtin.m

Ignore (mostly) comments inside foreign_procs.

2026-01-28 13:34:30 +11:00

store.m

More standard library fixes.

2026-02-20 14:42:38 +11:00

stream.m

Fix method reference in stream documentation.

2026-02-12 14:04:05 +11:00

stream.string_writer.m

Rename date/0 to date_time/0.

2026-03-28 14:56:10 +11:00

string.builder.m

…

string.format.m

…

string.m

Fix a copy-and-paste error.

2026-03-20 20:47:39 +11:00

string.parse_runtime.m

…

string.parse_util.m

…

string.to_string.m

…

table_builtin.m

More library fixes.

2026-02-20 23:57:09 +11:00

table_statistics.m

…

term_context.m

…

term_conversion.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

term_int.m

…

term_io.m

Fix bug in term_io.format_term_nl/5.

2026-02-20 16:03:18 +11:00

term_size_prof_builtin.m

Ignore (mostly) comments inside foreign_procs.

2026-01-28 13:34:30 +11:00

term_subst.m

Library documentation fixes.

2026-02-20 16:20:42 +11:00

term_to_xml.m

Library documentation fixes.

2026-02-20 16:20:42 +11:00

term_unify.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

term_vars.m

Fix more library documentation errors.

2026-01-23 19:53:58 +11:00

term.m

Fix library documentation errors.

2026-01-22 21:22:38 +11:00

test_bitset.m

…

thread.barrier.m

Fix errors in thread.barrier.

2026-02-16 14:18:33 +11:00

thread.channel.m

Avoid unnecessary module qualification.

2026-04-10 22:59:03 +10:00

thread.closeable_channel.m

…

thread.future.m

Fix errors in thread.future.

2026-02-16 14:30:14 +11:00

thread.m

Rationalise foreign_proc attributes in stdlib.

2026-02-20 19:19:26 +11:00

thread.mvar.m

…

thread.semaphore.m

…

time.m

Allow for only a single positive leap second.

2026-04-15 00:24:41 +10:00

tree234.m

More library documentation fixes.

2026-02-20 21:05:08 +11:00

tree_bitset.m

More library documentation fixes.

2026-02-20 21:05:08 +11:00

type_desc.m

Fix problems in the library.

2026-02-19 15:24:59 +11:00

uint8.m

Add clamp/3 for other primitive integer types.

2026-03-05 16:54:47 +11:00

uint16.m

Add clamp/3 for other primitive integer types.

2026-03-05 16:54:47 +11:00

uint32.m

Move the to_int predicates into the standard library.

2026-03-06 20:32:20 +11:00

uint64.m

Move the to_int predicates into the standard library.

2026-03-06 20:32:20 +11:00

uint.m

Add clamp/3 for other primitive integer types.

2026-03-05 16:54:47 +11:00

unit.m

…

univ.m

Fix library documentation errors.

2026-01-22 21:22:38 +11:00

varset.m

More library documentation fixes.

2026-02-20 21:05:08 +11:00

version_array2d.m

Fix an incorrect error message in an exception.

2026-02-27 20:16:56 +11:00

version_array.m

More library documentation fixes.

2026-02-20 21:05:08 +11:00

version_bitmap.m

More library documentation fixes.

2026-02-20 21:05:08 +11:00

version_hash_table.m

More library documentation fixes.

2026-02-20 21:05:08 +11:00

version_store.m

Fix errors in version_store documentation.

2026-02-16 14:06:32 +11:00