larsr

Maybe useful to know: collacoq gets "Stack overflow." https://x80.org/collacoq/apakagupok.coq Also noteworhty: It doesn't happen if Setoid is not imported. Could it be a kind of "loop" in the instance definitions...

Here is another small test case that goes into an infinite loop, for what I think is the same reason. ``` Require Import Coq.Classes.Equivalence. Set Implicit Arguments. Class A (F:Type)...

see https://github.com/NixOS/nixpkgs/issues/136485#issuecomment-988666141 for an alternative quick-fix just set the environment variable first nix-shell --pure -p python39Packages.jupyter export DYLD_LIBRARY_PATH=/System/Library/Frameworks/Foundation.framework/Versions/C/Resources/BridgeSupport jupyter notebook It is due to a bug in python's `ctypes.util.find_library()`.

@guaraqe I noticed that the patch modifies `send2trash`, but the problem is really in `ctypes`. While I do see the usefulness of not touching a central package like ctypes, patching...

Seems to be a dupe of #144

I noticed that `set_shapes_for_outputs` now (since [9fc9f19428e497f3a](https://github.com/tensorflow/tensorflow/commit/9fc9f19428e497f3a297538059804f69996a612e)) seems to be called `set_shape_and_handle_data_for_outputs` See a kludge solution [here](https://github.com/blei-lab/edward/issues/893#issuecomment-388792874)

@IanQS yeah, I did `cd edward/tests; pytest .` and got "86 failed, 240 passed, 44 warnings". In particular `pytest util/copy_test.py` got 20 failed and 3 passed. Alas, there are more...

This is related to [issue 882](https://github.com/blei-lab/edward/issues/882). I replaced the import line [edward/util/random_variables.py#L15](https://github.com/blei-lab/edward/blob/master/edward/util/random_variables.py#L15) with from tensorflow.python.framework.ops import set_shape_and_handle_data_for_outputs as set_shapes_for_outputs as it seems like the function has been renamed [here](https://github.com/tensorflow/tensorflow/commit/9fc9f19428e497f3a297538059804f69996a612e). Not...

Sorry, I closed the issue by mistake! I also edited the post to show the brackets around etc.