Remove `Any` from generated python

opendp / opendp

The core library of differential privacy algorithms powering the OpenDP Project.

https://opendp.org

MIT License

284 stars 46 forks source link

Remove `Any` from generated python #1507

Closed mccalluc closed 3 weeks ago

mccalluc commented 3 weeks ago

Fix #1505

If this causes any problems, we should just drop it and close the issue, but I think this will make the docs a little more readable.

The Any annotation doesn't add anything in terms of type checking.
In some cases, it makes the documentation a little confusing, when the semantics of the function make it clear that Any is not really the intention.

Any tuples may still be in the generated code, but it's not possible to specify a tuple only by length.

mccalluc commented 3 weeks ago

New code in main has Anys which are no longer generated, and the discrepancy is being flagged by CI. I'll resolve.

mccalluc commented 3 weeks ago

Error from R; will try rerunning.

``` ── 1. Error ('test-measurements.R:73:5'): test_gaussian_search ───────────────── Error in `make_fix_delta(make_zCDP_to_approxDP(then_gaussian(input_space, scale)), delta)`: [FFI] : null pointer: measurement disabled backtrace Backtrace: ▆ 1. └─opendp::binary_search_param(...) at test-measurements.R:79:3 2. └─opendp::binary_search(...) at opendp/R/mod.R:525:3 3. └─opendp (local) predicate(mid) at opendp/R/mod.R:584:5 4. └─opendp (local) make_chain(param) at opendp/R/mod.R:526:5 5. └─opendp (local) make_smd_gauss(s, 1e-05) at test-measurements.R:80:5 Error: Error: Failures detected. Execution halted 6. └─opendp::make_fix_delta(...) at test-measurements.R:73:5 ```