@cella-lang/c 0.1.202610170151 → 0.1.202610171039

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (4) hide show
  1. package/README.md +1 -1
  2. package/c.cell +0 -0
  3. package/index.json +1085 -1088
  4. package/package.json +5 -5
package/README.md CHANGED
@@ -137,7 +137,7 @@ m × 10^e; `c.toInt t x (c.truncOk refl)` truncates toward zero with the result
137
137
  `c.sqrt`, `floor`, `ceil`, `round`, `trunc`, `pow`, `fmod`, `fabs`, `exp`, `log`, `log10`, `log2`, `exp2`, `sin`, `cos`, `tan`, `asin`, `acos`,
138
138
  `atan`, `atan2`, `expm1`, `log1p`, `sinh`, `cosh`, `tanh`, `asinh`, `acosh`, `atanh`, `cbrt`, `hypot` follow `<math.h>` with correctly rounded results (the standard does not require a correctly rounded libm).
139
139
 
140
- Function pointers: a signature `c.sig [c.fInt t, …] r` describes the type; C functions return `Maybe` (`nothing` is undefined
140
+ Function pointers: a signature `c.sig [c.fInt t, …] r` describes the type; C functions return `Option` (`none` is undefined
141
141
  behavior in that call, e.g. `c.addM` overflowing). `c.fnOf "f" s f` takes `&f`, `c.fnCast` converts (the pointer remembers the
142
142
  function it points to), and `c.call2 s p x y refl` calls through it — the proof says the pointer is not NULL, its type matches the
143
143
  function, and the call is defined. `c.qsort` and `c.bsearch` take a comparator `c.FnPtr (c.cmpSig p t)` that must be a consistent
package/c.cell CHANGED
Binary file