mokshasoft

I forgot to add the file that triggered the error message. Code: ``` module Lines exposing (test, unknown) test : Int test = 1 ``` Error message: ``` -- UNKNOWN...

I moved the ftoa implementation under the BARE_METAL flag since it performed rounding differently compared to snprintf. When I ran the test cases on my machine it reported 2 errors,...

This didn't work for me unfortunately. I had to use jaxlib==0.1.59 according to an import error. Then execution got a bit further but still failed. ``` pip3 install --upgrade jax...

I get the same error, but reinstalling didn't work. I tried several times. ``` % pip freeze | grep trax trax==1.3.7 % pip freeze | grep tensor mesh-tensorflow==0.1.18 tensorboard==2.4.1 tensorboard-plugin-wit==1.8.0...

Is there any change in Nix support for Idris2 yet?

I had the same problem with bad meta.outputsToInstall. I couldn't install or uninstall anything, and the script you linked to didn't work either, but I found [this](https://discourse.nixos.org/t/error-this-derivation-has-bad-meta-outputstoinstall/20019/6) and that helped...