From 83bcfaba79bee32f3128c9d120329cc7ba9d26bd Mon Sep 17 00:00:00 2001 From: Peter Ross Date: Fri, 15 Feb 2002 17:25:15 +0000 Subject: [PATCH] Add `native int' and `native unsigned int' as alternatives for Estimated hours taken: 0.1 Branches: main compiler/prog_io_pragma.m: Add `native int' and `native unsigned int' as alternatives for `natural int' and `natural unsigned int' when parsing foreign_type decls. --- compiler/prog_io_pragma.m | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/compiler/prog_io_pragma.m b/compiler/prog_io_pragma.m index 01e93c8e8..c01e0c279 100644 --- a/compiler/prog_io_pragma.m +++ b/compiler/prog_io_pragma.m @@ -282,12 +282,13 @@ parse_il_type_name(String0, ErrorTerm, ForeignType) :- ForeignType = ok(il(value, "mscorlib", qualified(unqualified("System"), "Int64"))) ; - String0 = "natural int" + ( String0 = "natural int" ; String0 = "native int" ) -> ForeignType = ok(il(value, "mscorlib", qualified(unqualified("System"), "IntPtr"))) ; - String0 = "natural unsigned int" + ( String0 = "natural unsigned int" + ; String0 = "native unsigned int" ) -> ForeignType = ok(il(value, "mscorlib", qualified(unqualified("System"), "UIntPtr")))