Re: Easy question about Character manipulation

"(see below)" <yaldnif.w@xxxxxxxxxxxxxxxx> writes:

Bob Duff asked:

T = 1 .. 3;
S = 1 .. 3;

This is not a matter of type equivalence,
it is a matter of automatic type conversion on assignment
(assignment compatibility), and that IS unlike Ada, of course.

What about parameter passing? I was under the impression that one can
pass something of type T to a parameter of type S, or a parameter of
type Integer, or vice versa, in Pascal. Please correct me if I'm
wrong.

It depends on whether they are value parameters or var (-iable) parameters.

Interesting. Most parameters are 'in' parameters in Ada, or value
parameters in Pascal. But what's the story with 'var' parameters in
Pascal? If we have:

type T = 1..10;
procedure P(X: var T);
var A : 1..10;
type S = 1..10;
var B : S;
var C : 1..12345;

is it legal to pass A, B, and/or C to P's X, in Pascal?

Value parameters are in effect assigned their values,
and the permissive semantics of assignment compatibility apply;
var parameters must be of equivalent types, and type-equivalence in
ISO Pascal is name-equivalence.

....which seems to say that B and C are illegal above. That's a surprise
to me.

In case I get accused of being off-topic by discussing Pascal in an Ada
newsgroup: I note that 'in out' in Ada is roughly equivalent to 'var' in
Pascal, but 'in out' can be passed by copy, whereas Pascal requires pass
by reference (which has both good and bad points!).

Caveat, type B in:

type B = A;

*is* name-equivalent to A when A is a type-identifier.

....which means that "name equivalence" is a misnomer in Pascal, as it is
in Ada (with some types being anonymous in both languages).

In Pascal this syntax is somewhat like:

subtype B is A;

in Ada, whereas:

type B = <type_definition>

is more like:

type B is <type_definition>

in Ada.

True, except for implicit conversions.

If I'm right on that point, then I claim that we're just arguing over
terminology: saying "so-and-so are different types, but there are all
kinds of implicit conversions" amounts to roughly the same thing as
"so-and-so are the same type".

It is unfortunate that the examples being used are subranges,
because the assignment compatibility rules for subranges are
the most lax. This complexity in the semantics of Pascal
is necessary because it lacks the concept of a subtype, and
is forced to smuggle in something of the facility by rather
ad hoc special rules. So to a small extent your claim is valid.

That is, "small extent" means "true for integers, but not true for
records". Right?

One of the nicest things about Ada is how it cleared this mess up.

Right. I think the Ada "subtype S is Integer range 1..10" is pretty
close to Pascal's "type S = 1..10", but Pascal has no rough equivalent
to Ada's "type T is range 1..10". True?

That said, there aren't "all kinds of implicit conversions",
Pascal isn't C or PL/1!

Indeed! I did not intend to impugn Pascal in that way. I just meant to
say that there are different ways of defining semantics that amount to
the same thing.

The point is, if you say this in Ada:

type T1 is range 1..10;
type T2 is range 1..10;
X : T1;
Y : T2;

is there any equivalent in Pascal that causes "X := Y" to be illegal
(or similarly for parameter passing)?

For this example, in Pascal the assignment passes type-checking,
as would passing X to a formal value parameter of type T2,
and Y to a formal value parameter of type T1;
but X could only be passed to a formal var parameter of type T1, etc.

If instead we consider:

type T1 = record i : integer; end; {or an array, file or pointer type}
T2 = record i : integer; end; {a type that is textually the same}
var X : T1;
Y : T2;

then X and Y are neither equivalent nor compatible.

Thanks for the clarification.

- Bob
.

Relevant Pages

  • Re: Easy question about Character manipulation
    ... (assignment compatibility), and that IS unlike Ada, of course. ... What about parameter passing? ... That said, there aren't "all kinds of implicit conversions", ...
    (comp.lang.ada)
  • Re: Pass by reference
    ... I am only aware of one case in Ada where passing by reference ... In Ada I have found that if you just let the compiler to its thing, ... an array of elementary types does not meet the ...
    (comp.lang.ada)
  • Re: Easy question about Character manipulation
    ... was another subtype of the same type (in Ada terms), ... And, of course, there is more to type than assignment. ... except 'var' parameters behave the way Jeff says above. ...
    (comp.lang.ada)
  • Re: Q re how to do pointer access in Ada (newbie)
    ... In my current DLL project, I'm passing from VB6 to the Ada DLL a ... to an Ada function with a parameter defined as Win32.LONG, ... You are aware that passing pointer as Win32.LONG might not work on ...
    (comp.lang.ada)
  • Re: Good example of C and MACRO
    ... Just try passing the address of an array to a $QIO in Ada 86, ... My knowledge of ADA is almost non-existent! ...
    (comp.os.vms)