[m-rev.] diff: Remove unnecessary workaround in time.m.

Peter Wang novalazy at gmail.com
Wed Mar 30 23:52:32 AEDT 2016


library/time.m:
	Delete time_t_rep and construct_time_t/1 from hidden public
	interface. The problem that it works around no longer exists.
---
 library/time.m | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/library/time.m b/library/time.m
index b0f9d3e..bf4caad 100644
--- a/library/time.m
+++ b/library/time.m
@@ -1009,16 +1009,10 @@ time.ctime(Time) = asctime(localtime(Time)).
 
 %---------------------------------------------------------------------------%
 
-% XXX This needs to be in the interface because pragma export doesn't work yet
-% on the .NET backend and io.m needs to access this.
-:- interface.
-
-:- type time_t_rep.
-
+    % For io.m
+    %
 :- func construct_time_t(time_t_rep) = time_t.
 
-:- implementation.
-
 :- pragma foreign_export("C", construct_time_t(in) = out,
     "ML_construct_time_t").
 :- pragma foreign_export("C#", construct_time_t(in) = out,
-- 
2.7.4



More information about the reviews mailing list