int64Val := 2147483648; { 2^32 }
intVal := int64Val; { does not trigger any warnings }

Now the intVal should be 0 which is not what I wanted.

my platform: v2.4.0[2009/12/18] for i386 under windows.

regards.
jcyang.

Jichao Yang wrote

int64Val := 2147483648; { 2^32 } intVal := int64Val; { does not trigger any warnings }

Assigning a longint to a byte does not generate a warning either. This is simply how Pascal works. If you want compile-time checks for such operations, use a language such as Ada instead.

Now the intVal should be 0 which is not what I wanted

Enable range checking, and you will get a run time error.

Jonas

@Jonas, Thanks,it works well.

Turn on the range checking switch {$R+},the free pascal compiler would also seek for compile-time range error.For example,the follow line will not compile through:

byteVal := 256;
It will produce 'Error: range check error while evaluating constants';

In conclusion,free pascal do provide mechanism to detect type-catagory-inside check,even thought IMHO,it's not perfect.

jcyang.