anton0xf

Completion becomes slower over time

4

## How to reproduce Use proof-general with company-coq for a long time. Wait a few seconds for auto-completion of any tactic or command. And this delay becomes bigger over time....

http://www.cs.st-andrews.ac.uk/~eb/epic.php says: > User homepage not found > The ~[username] mechanism is depricated on this site and we are redirecting only for a fixed set of staff members.

bug in encoder?

1

https://gist.github.com/4124717

It is always successful. Maybe change the check to something like this?: ```scala intercept[NoSuchElementException] { myMap("MI") }.getMessage should be(__) ```

Stuck on right-clicking a message in a chat

30

### Steps to reproduce 1. open Telegram for MacOS (version 8.8.1.232774 AppStore) 2. open any chat 3. right click on any message 4. wait 5-15 seconds 5. see message actions...

Cannot override reader builder of Option field

3

I can read field value from one of two JSON-fields with code like this (and it works well): ```scala import tethys._ import tethys.jackson._ import tethys.derivation.builder._ import tethys.derivation.semiauto._ case class Foo(a:...