antonio nikishaev

Analog to utop’s accept-current-phrase

7

`utop` has a `UTop.end_and_accept_current_phrase` command. What it basically does is “send `;;` `\n` without displaying them”. You can bind¹ to, say, Meta-ENTER and it’s quite handy. ¹) e. g. ```ocaml...

Yes, you're not supposed to spell it like that; whether alternative spellings should be recognised is a different question. But *ahem* ```hs ParseError "e.conf" "endOfInput" ```

False positive results with Program

3

```coq From QuickChick Require Import QuickChick. From Coq Require Import Program. From mathcomp Require Import ssreflect ssrfun ssrnat ssrbool eqtype seq. Program Fixpoint itakep {A} (n:nat) (s:seq A) {measure n}...

Cannot assign some (simple) key combinations on macOS

5

### Describe the issue you are having Cannot assign some (simple) key combinations (e. g. `option+N`). It is saved as `alt+undefined`. ### Did you connect to an already running interpreter...

“install --only-dependencies”

6

Is there a way?

Hoogling private packages

3

There’s probably no easy way to do this as of now. Or is there? How do people do this?

Shortcut for `-- --ghc-options=-O0`?

3

Like, in `mafia build -O0`

… for users who don’t want to use the full `lens`. `microlens` doesn’t cut it (no `Iso`/`from`).

zzzz

Wrong bucket types/names/keys PB encoding

5

riak-haskell-client has been doing `BucketType`/`Bucket`/`Key` encoding wrong basically from the beginning. I don't know the reason @bos did it the way it is. I'm going to fix it, but I...