[M3devel] null type?

[Hendrik Boom]

On Thu, Apr 25, 2013 at 12:36:11PM -0500, Rodney M. Bates wrote:
> 
> 
> On 04/25/2013 08:20 AM, Hendrik Boom wrote:
> >
> >Could the problem be just with NULL-typed variables where the NULL type
> >is not mentioned explicitly in the declaration?
> >
> >These might merit a warning.
> >
> >By the way, what is done with
> >    VAR x := 1;
> >
> 
> No, the type of 1 is INTEGER, and the type of 1L is LONGINT.
> 
> But you could make something like that happen with
> CONST OneOnly : [1..1] = 1;
> VAR x := OneOnly;

Is there some reason why 1 is by default given the maximal type 
containing 1, whereas NIL is given the minimal type containing NIL?

-- hendrik
 
> 
> >Is x implicitly of type 1:1?
> >
> >-- hendrik
> >
>