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.
This commit is contained in:
Peter Ross
2002-02-15 17:25:15 +00:00
parent 7549eb7319
commit 83bcfaba79

View File

@@ -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")))