Changes between Version 17 and Version 18 of PIL

Timestamp:

10/06/24 09:43:57 (19 months ago)

Author:

siegel

Comment:

--

PIL

@@ -35 +35 @@
  * `$int[]* q`: pointer to array of integer
  * `$int*[]($real) f`: function from Real to array of pointer to integer
-- every type has a default value.  The result of evaluating an erroneous expression is the default value of that type.
+- every type has a default value.  The result of evaluating an erroneous expression is the default value of that type.  (But as explained above, an analyzer may check for all errors.)
 - basic types: 
  * `$bool` : the set consisting of `$true` and `$false`.  Default value: `$false`.
  * `$int`: the set of integers.  Default value: 0.
  * `$real`: the set of Reals.  Default value: 0.0.
- * `$int<max>`: set of integers [-max, max-1]. `max` is a constant positive integer expression so is statically known.  Default value: 0.
- * `$uint<hi>`: nonnegative integers less than the constant expression `hi`.  Arithmetic is performed modulo `hi` (like C's unsigned integer types).   Default value: 0.
- * `$float<p,emax>`: the set of IEEE binary floating point numbers with precision `p` and emax `emax`.  These are also constant expressions.  Default value: 0.0.
+ * `$int<N>`: set of integers [-N, N-1]. `N` is a constant positive integer expression so is statically known.  Underflows or overflows are erroneous.  Default value: 0.
+ * `$uint<N>`: set of integers [0,N-1].  `N` is a constant positive integer expression so is statically known.  Arithmetic is performed modulo `N` (like C's unsigned integer types).   Default value: 0.
+ * `$float<p,emax>`: the set of IEEE binary floating point numbers with precision `p` and emax `emax`.  Both `p` and `emax` are constant integer expressions.  Default value: 0.0.
 - `T*`: pointer to `T`.  Default value: `NULL`.
 - `struct TAG { T1 f1; ... Tn fn; }`: a C struct.  Default value: the struct value in which each field has its default value.