ENHANCED: Reorder fields in time stamps so that (@<)/2 is meaningful.

diff --git a/src/lib/files.pl b/src/lib/files.pl
index 481ed08d8bd9f4897f24f3bde5bd93d95863be96..adaa1e944dbcc3f15eb896598d0082a6d8082b4b 100644 (file)
--- a/src/lib/files.pl
+++ b/src/lib/files.pl
@@ -125,6 +125,8 @@ path_canonical(Ps, Cs) :-
 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    T is the modification time of File.
    T is a time stamp, suitable for use in format_time//2 in library(time).
+
+   For two time stamps A and B, if A precedes B, then A @< B holds.
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
 file_modification_time(File, T) :-

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 6c8ee3298e6c669335da645533f8bda416a76a0d..9e969c7b89f5af9bbb29ceaef838c2f91cf2c9fb 100644 (file)
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -5731,7 +5731,7 @@ impl MachineState {
         let datetime: DateTime<Local> = system_time.into();
 
         let mut fstr = "[".to_string();
-        let specifiers = vec!["d","m","Y","y","H","M","S","b","B","a","A","w","u","U","W","j","D","x","v"];
+        let specifiers = vec!["Y","m","d","H","M","S","y","b","B","a","A","w","u","U","W","j","D","x","v"];
         for spec in specifiers {
             fstr.push_str(&format!("'{}'=\"%{}\", ", spec, spec).to_string());
         }