<companion_cube>
in general, compilers, theorem provers, software verification…
<d_bot>
<turbobato> Knew about coq
<d_bot>
<turbobato> Alright
<d_bot>
<turbobato> Btw what's the most convenient way to install it on windows ?
<companion_cube>
I have no idea
<d_bot>
<turbobato> Because I installed it like 3 years ago with a solution that turned out to be quite easy
<d_bot>
<turbobato> Problem is
<d_bot>
<turbobato> I don't remember what was that solution
<d_bot>
<turbobato> Do you run it on Linux ?
waleee has joined #ocaml
<companion_cube>
I currently don't use Coq
<companion_cube>
but I know people who use it on linux yeah
grace has joined #ocaml
<grace>
how do you take the cartesian product of two lists idiomatically in ocaml?
<companion_cube>
if you use an alternative stdlib it might already be in there
<companion_cube>
or with `let*` possibly
<grace>
i'm using Core
<grace>
do you know if it's in there?
<companion_cube>
no idea
<grace>
how does let* work?
<companion_cube>
if you have one in a `List` module, it'd work like that:
<companion_cube>
`let cartesian a b = let* x = a in let* y = b in [(x,y)]`
<companion_cube>
it's kind of a list comprehension thing
<d_bot>
<turbobato> Oh I was asking about the more convenient way to install OCaml on windows actually
<grace>
how do you get let*
rgrinberg has joined #ocaml
<companion_cube>
it might be defined somewhere
<companion_cube>
it's in containers, not sure about Core
<d_bot>
<Anurag> Core doesn't define `let*` since they typically pair it with `ppx_let`/`let%bind`, etc, but you can define your own:
<d_bot>
<Anurag> `let ( let* ) t f = List.bind t ~f;;`
Haudegen has quit [Ping timeout: 268 seconds]
<grace>
what's the easiest way to take a list of elements a (of even length) and then return an array where result[i] = a[2*i] + a[2*i+1]?
average has quit [Quit: Connection closed for inactivity]
<rgrinberg>
grace let f = let rec loop i arr = function [] -> () | x :: y :: zs -> arr.[i] <- x + y; loop (i + 2) arr xs in fun xs -> loop 0 (Array.create 0 (List.length xs)) xs
<rgrinberg>
not tested, but you get the idea
waleee has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
<d_bot>
<leviroth> `List.cartesian_product` is a function in Core, yes.
average has joined #ocaml
mbuf has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
grace has quit [Ping timeout: 256 seconds]
gravicappa has joined #ocaml
Skyfire has quit [Read error: Connection reset by peer]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hendursaga has quit [Remote host closed the connection]
hendursaga has joined #ocaml
andreypopp_ has quit [Ping timeout: 260 seconds]
andreypopp has joined #ocaml
jlrnick has joined #ocaml
hendursa1 has joined #ocaml
hendursaga has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
olle_ has joined #ocaml
jlrnick has quit [Ping timeout: 268 seconds]
mro has joined #ocaml
olle__ has joined #ocaml
bartholin has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
wwilly has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
bobo has joined #ocaml
spip has quit [Ping timeout: 268 seconds]
wonko has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
jlrnick has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
mro has joined #ocaml
mro has quit [Ping timeout: 264 seconds]
jlrnick has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
salkin has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 264 seconds]
average has quit [Quit: Connection closed for inactivity]
<p4bl0>
d_bot: Anurag: funny that you talk about the same packages that I used as an example in the issue, maybe the number of affected packages is not that high?
<p4bl0>
(in my case I found the issue while debugging an install problem that one of my student reported to me)
wonko has quit [Ping timeout: 260 seconds]
sagax has quit [Remote host closed the connection]
sagax has joined #ocaml
vb has joined #ocaml
kurfen_ has joined #ocaml
kurfen has quit [Ping timeout: 260 seconds]
bartholin has quit [Quit: Leaving]
mro has quit [Remote host closed the connection]
vicfred has joined #ocaml
mbuf has quit [Quit: Leaving]
olle__ has quit [Ping timeout: 268 seconds]
olle_ has quit [Ping timeout: 268 seconds]
glassofethanol has joined #ocaml
eremitah has joined #ocaml
eremitah has quit [Quit: quit.]
gravicappa has quit [Ping timeout: 268 seconds]
olle_ has joined #ocaml
olle__ has joined #ocaml
olle__ has quit [Ping timeout: 268 seconds]
olle_ has quit [Ping timeout: 268 seconds]
mro has joined #ocaml
olle_ has joined #ocaml
olle__ has joined #ocaml
Chouhartem has quit [Quit: WeeChat 3.1]
Chouhartem has joined #ocaml
olle__ has quit [Ping timeout: 260 seconds]
olle_ has quit [Ping timeout: 260 seconds]
mro has quit [Quit: Leaving...]
<rak>
I am trying to get ocamlmerlin 4.3.1-412 working with emacs, but I get an error "No such file or directory, ssty: stdin isn't a terminal /Users/rak/.opam/default/ocamlmerlin". I haven't been able to find anything useful by Googling. Any suggestions as to what the error might be?