From d466e74f54794e90909f8f569b9d02a55fdeb91a Mon Sep 17 00:00:00 2001 From: Peter Ross Date: Wed, 12 Nov 2003 12:10:38 +0000 Subject: [PATCH] Convert null from MC++ to C#. Estimated hours taken: 0.1 Branches: main library/construct.m: Convert null from MC++ to C#. --- library/construct.m | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/library/construct.m b/library/construct.m index eb59de5e3..c28fa9b26 100644 --- a/library/construct.m +++ b/library/construct.m @@ -181,11 +181,11 @@ null_to_no(S) = ( if null(S) then no else yes(S) ). SUCCESS_INDICATOR = (S == NULL); "). -:- pragma foreign_proc("MC++", +:- pragma foreign_proc("C#", null(S::in), [will_not_call_mercury, thread_safe, promise_pure], " - SUCCESS_INDICATOR = (S == NULL); + SUCCESS_INDICATOR = (S == null); "). :- pred get_functor_2(type_desc__type_desc::in, int::in, string::out, int::out,