adsharma
adsharma
Backports are available: https://pypi.org/project/dataclasses/ In general, dataclasses eliminate so much boilerplate code that I use them wherever I can.
Yes - it saves only 10 lines in this diff. Not an earth shattering difference :) I've addressed the bugs you found in the code and simplified the typing and...
Using system z3 instead of the one included in the git repo seems to work ok on a simple test program. But some unittests break. https://github.com/adsharma/Typpete/commit/ffa65db52c126f8ae3d7c5593192f1adc1ef0567
4.8.12.0 as per https://pypi.org/project/z3-solver/#history I suspect the pypi packages come from https://github.com/angr/angr-z3
I figured out how to run the tests. 60 passes and 1 failure. Both before and after. https://paste.ubuntu.com/p/RxRd2czrZ8/
The one failing test passes after: https://github.com/adsharma/Typpete/commit/15bef9810ecf244b8d3fab8ad3f10436209ccb46 I'm not sure exactly why.
+1 for typeshed stubs. https://github.com/JelleZijlstra/typeshed_client may be interesting as well.
https://github.com/adsharma/Typpete/commit/b667510ba95a713bc3ed12e103a19858665d20e9 uses typeshed_client to build ast from module name. However, it exposes a number of problems in typpete (features not supported yet). I tried to hack around them, but stopped...
These are the hacks I tried: https://dpaste.com//9KJDYK343 The issue I believe is that the stubs shipped with Typpete use a careful subset of the language supported by Typpete, whereas the...
Please try the updated README in my fork: https://github.com/adsharma/Typpete