Darius Foo

Maybe the warning could appear in the `a(*)` case, since that's the one you're discouraging. Anyway, thanks for the suggestion, we'll just use the workaround for now.

FWIW, I've been running this branch locally for a while and it works well. z3 4.8 is somehow much slower for my use case and the upgrade fixes this.

I'm on macOS and can't reproduce the broken pipe issue unfortunately. About `Unbound module Demo`, the fix is to set the environment variable `PPX_DEBUG='{"libraries": ["demo/lib"]}'`. The reason this is needed...

Hmm, might be a bug on my end. Are you using ST3? When you go to the plugin's package directory (command palette > `Browse Packages`), do you see the `tmTheme`/`tmLanguage`/`sublime-settings`...

That sounds like a conflict with another plugin. The only deletions that should be happening are to the `tmTheme`/`tmLanguage`, etc. files within the plugin directory, and only when you trigger...

Ah, I get it now. Package Control doesn't like when a plugin is installed, and it finds a directory with the same name under `Packages`. That's usually indicative of an...

I've released an update. Hopefully it fixes this problem!

Here is fine. I've held off on this because Lisp-macro-style introspection of message arguments still isn't supported. The problems with methods will probably go away once that's in place.

Possibly, but the array objects will need to respond to Io messages as well (=> have a `send` method), so I might have to wrap them in an additional object...

Hey Steve, sure, I'd be happy to discuss it. 😄 Sent you an email.