Mustafa comments

Repositories
Issues
Comments

Results 5 comments of


                                            Mustafa

Waiting wizard to connect

Same for `--integration electron`, stuck on "Waiting for wizard to connect"

could not find module error

You should try to load your module in GHCI first, if you get it to work there then the extension will work too.

Get release notes after update.

Any news on this? Is there any way to get release notes after update?

Prune-unsorted when using reflected function in other modules

Yes, sure, I am currently using that as a fix. Thanks

crash SMTLIB2 on ADTs using dollar sign

Redefining `$` doesn't solve the issue. I noticed that in some cases the issue doesn't happen, so I investigated a little bit more and this seems to reproduce it ([demo...