[M3devel] types in check_hi/lo/range?

[Jay K]

check_lo (t: IType;  READONLY i: Target.Int;  code: RuntimeError);(* IF (s0.t < i) THEN abort(code) *)
check_hi (t: IType;  READONLY i: Target.Int;  code: RuntimeError);(* IF (i < s0.t) THEN abort(code) *)
check_range (t: IType;  READONLY a, b: Target.Int;  code: RuntimeError);(* IF (s0.t < a) OR (b < s0.t) THEN abort(code) *)

Is it a good idea to consider "t" to apply to "i", "a", and "b", not just "s0"?

I was just using TInt.ToText but I'm putting in the diligence nowof appending U for UINT8/UINT16/UINT32and LL or I64 for INT64.On integer literals.

Thank you, - Jay 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20120908/e84b0242/attachment-0001.html>