00:00
hex0punk has quit [Ping timeout: 268 seconds]
00:24
hex0punk has joined #ocaml
00:31
hex0punk has quit [Ping timeout: 272 seconds]
00:34
dhil has quit [Ping timeout: 268 seconds]
00:43
dmbaturin has quit [Ping timeout: 264 seconds]
00:44
dmbaturin has joined #ocaml
01:07
wagle has quit [Ping timeout: 272 seconds]
01:10
manicennui has joined #ocaml
01:13
wagle has joined #ocaml
01:23
wagle has quit [Ping timeout: 268 seconds]
01:25
wagle has joined #ocaml
02:43
<
wagle >
how fo i get an invitation to the ocaml zulip channel, or do I?
03:02
<
dy >
Has anyone managed to get multicore ocaml 4.12 with effects working with Merlin/ocaml-lsp-server?
03:02
<
dy >
Tried to do so a few weeks back but it kept crashing. (Works fine with the domains only build, just not the effects one.)
03:03
<
dy >
I also struggled to get the repository actually working as an "overlay".
03:04
<
dy >
opam seemed to mostly just ignore what's in the multicore repo when there was a newer version in the default repo.
03:09
hex0punk has joined #ocaml
03:12
vicfred has quit [Quit: Leaving]
03:14
orc has joined #ocaml
03:22
hex0punk has quit [Ping timeout: 268 seconds]
03:34
hex0punk has joined #ocaml
03:39
hex0punk has quit [Ping timeout: 268 seconds]
03:40
hex0punk has joined #ocaml
03:46
hex0punk has quit [Ping timeout: 265 seconds]
03:57
hex0punk has joined #ocaml
04:02
zebrag has quit [Quit: Konversation terminated!]
04:07
hex0punk has quit [Ping timeout: 268 seconds]
04:19
hex0punk has joined #ocaml
04:20
noddy has quit [Quit: WeeChat 3.1]
04:20
noddy has joined #ocaml
04:26
hex0punk has quit [Ping timeout: 268 seconds]
04:39
hex0punk has joined #ocaml
04:39
vicfred has joined #ocaml
04:44
hex0punk has quit [Ping timeout: 264 seconds]
04:46
orc has left #ocaml [#ocaml]
04:52
favonia has joined #ocaml
04:56
hex0punk has joined #ocaml
04:57
favonia_ has joined #ocaml
05:01
hex0punk has quit [Ping timeout: 268 seconds]
05:15
hexology has joined #ocaml
05:18
favonia_ has quit [Ping timeout: 268 seconds]
05:19
favonia_ has joined #ocaml
05:22
favonia_ has quit [Client Quit]
05:28
favonia_ has joined #ocaml
05:28
favonia_ has quit [Client Quit]
05:28
hex0punk has joined #ocaml
05:29
favonia_ has joined #ocaml
05:32
favonia_ has quit [Client Quit]
05:32
favonia_ has joined #ocaml
05:32
favonia has quit [Quit: X]
05:33
hex0punk has quit [Ping timeout: 252 seconds]
05:36
hex0punk has joined #ocaml
05:44
hex0punk has quit [Ping timeout: 264 seconds]
06:00
hex0punk has joined #ocaml
06:05
hex0punk has quit [Ping timeout: 264 seconds]
06:08
favonia_ has quit [Quit: Leaving]
06:14
mro has joined #ocaml
06:21
hex0punk has joined #ocaml
06:27
hex0punk has quit [Ping timeout: 268 seconds]
06:35
favonia has joined #ocaml
06:36
favonia has quit [Client Quit]
06:37
favonia has joined #ocaml
06:37
favonia has quit [Client Quit]
06:37
wonko has joined #ocaml
06:38
wonko has quit [Changing host]
06:38
wonko has joined #ocaml
06:39
favonia has joined #ocaml
06:42
favonia has quit [Client Quit]
06:47
favonia has joined #ocaml
06:48
favonia_ has joined #ocaml
06:48
favonia_ has quit [Client Quit]
06:48
hex0punk has joined #ocaml
06:49
vicfred has quit [Quit: Leaving]
07:05
hex0punk has quit [Ping timeout: 264 seconds]
07:17
hex0punk has joined #ocaml
07:21
hex0punk has quit [Ping timeout: 264 seconds]
07:28
hex0punk has joined #ocaml
07:43
hex0punk has quit [Ping timeout: 272 seconds]
08:02
bartholin has joined #ocaml
08:05
hex0punk has joined #ocaml
08:10
hex0punk has quit [Ping timeout: 264 seconds]
08:10
Johann has quit [Quit: I probably failed]
08:11
Johann has joined #ocaml
08:11
<
sadiq >
dy, could you create us an issue in the for the crash on the ocaml-multicore github repo?
08:13
hex0punk has joined #ocaml
08:18
hex0punk has quit [Ping timeout: 268 seconds]
08:19
mro has quit [Ping timeout: 244 seconds]
08:32
hex0punk has joined #ocaml
08:37
hex0punk has quit [Ping timeout: 272 seconds]
08:41
dhil has joined #ocaml
08:52
mro has joined #ocaml
08:56
hex0punk has joined #ocaml
09:01
hex0punk has quit [Ping timeout: 264 seconds]
09:04
berberman_ has joined #ocaml
09:04
berberman has quit [Ping timeout: 268 seconds]
09:15
noisy-bot has joined #ocaml
09:24
kakadu has joined #ocaml
09:24
<
d_bot >
<Ulugbek> Hi. There's no 4.12.0 flambda?
09:24
noisy-bot has quit [Remote host closed the connection]
09:31
<
Fardale >
Starting fron 4.12 there is a new way to handle compiler option. For flambda you have ocaml-option-flambda
09:32
<
vsiles >
Fardale: so from 4.12.0 we no longer need a different compiler to use flambda or not, only CLI options ?
09:34
<
d_bot >
<octachron> In short, installing a flambda-enabled compiler is now done with:
09:34
<
d_bot >
<octachron> `opam switch create 4.12.0+flambda --package=ocaml-variants.4.12.0+options,ocaml-option-flambda`
09:35
<
d_bot >
<Ulugbek> thanks! 🙂
09:43
kakadu has quit [Ping timeout: 265 seconds]
09:49
hex0punk has joined #ocaml
09:52
<
vsiles >
octachron: iiuc it is only the way to install the compiler that changed. We can't do `opam switch create 4.12.0` and then `ocaml -set-some-flambda-options`, we have to setup the right switch from the start. Am I understanding that correctly ?
09:53
<
d_bot >
<craigfe> vsiles: whether or not to use `flambda` is a configure-time option of OCaml, so you need to rebuild the compiler to switch between these modes.
09:53
<
octachron >
Yes. Flambda is still a configuration-time option. It is just a simpler way to choose a set of configuration options.
09:54
hex0punk has quit [Ping timeout: 268 seconds]
09:59
<
Fardale >
vsiles: you can change inside a switch but you will recompile everything
10:18
hex0punk has joined #ocaml
10:22
mbuf has joined #ocaml
10:23
hex0punk has quit [Ping timeout: 264 seconds]
10:48
Techcable has joined #ocaml
10:54
mro has quit [Remote host closed the connection]
11:07
hex0punk has joined #ocaml
11:11
mro has joined #ocaml
11:12
hex0punk has quit [Ping timeout: 264 seconds]
11:12
favonia has joined #ocaml
11:14
salkin has joined #ocaml
11:16
mro has quit [Ping timeout: 268 seconds]
11:18
<
vsiles >
thanks for the clarification
11:21
olle has joined #ocaml
11:27
olle has quit [Quit: leaving]
11:29
mro has joined #ocaml
11:36
olle has joined #ocaml
11:41
mro has quit [Ping timeout: 265 seconds]
11:43
hex0punk has joined #ocaml
11:44
Haudegen has joined #ocaml
11:48
hex0punk has quit [Ping timeout: 264 seconds]
11:50
zebrag has joined #ocaml
12:22
<
vsiles >
very naive question: do I get the same behavior from the compiler if I setup my switch we 4.12.0 vs `opam switch create 4.12.0+flambda --package=ocaml-variants.4.12.0+options,ocaml-option-flambda but without passing any option to use flambda at compile time ?
12:23
<
vsiles >
we're not using flambda at the moment, but some people would like to try. Asking for our next update, we might just get a flambda aware compiler even if we don't use it, if the impact is minimal
12:31
hex0punk has joined #ocaml
12:36
hex0punk has quit [Ping timeout: 265 seconds]
12:40
<
octachron >
Not completely, flambda is always active and have slightly different performance characteristics even without optimization flags (like `-O1`, ...).
12:41
<
octachron >
Typically, some code-generated opam packages are closer to the breaking point with flambda.
12:51
mro has joined #ocaml
12:55
mro has quit [Ping timeout: 264 seconds]
12:59
hex0punk has joined #ocaml
13:04
hex0punk has quit [Ping timeout: 268 seconds]
13:19
hex0punk has joined #ocaml
13:24
rks` has joined #ocaml
13:24
hex0punk has quit [Ping timeout: 268 seconds]
13:24
<
olle >
How about a tool that automatically splits a function into its most general parts, when possible?
13:26
mro has joined #ocaml
13:30
mro has quit [Ping timeout: 268 seconds]
13:37
hex0punk has joined #ocaml
13:42
<
olle >
Damn, no one did that? Nothing on google.
13:42
hex0punk has quit [Ping timeout: 252 seconds]
13:45
mbuf has quit [Quit: Leaving]
13:46
<
vsiles >
"most general parts" ?
13:52
<
olle >
vsiles: like, if it's possible to generalize anything in the function to 'a instead of <whatever type used>
13:52
<
olle >
But, with lack of inheritance and subtyping. :d
13:52
<
olle >
Maybe doesn't make much sense.
13:54
<
zozozo >
olle: well, if there are no type annotations in the source code, the compiler will automatically infer the most general type for everything
13:54
<
vsiles >
I confirm that
14:00
mro has joined #ocaml
14:05
hex0punk has joined #ocaml
14:05
mro has quit [Ping timeout: 265 seconds]
14:06
<
olle >
zozozo: True, but it can't do so much.
14:10
hex0punk has quit [Ping timeout: 264 seconds]
14:11
engil has joined #ocaml
14:12
<
companion_cube >
olle: what's your concrete use case
14:13
<
olle >
companion_cube: same as on the forum
14:13
<
olle >
have function read_line_to_filename should be split into read_line and filename_of_string
14:13
<
olle >
But, no way to detect such a code smell automatically?
14:16
<
zozozo >
olle: I don't see any way to do this automatically
14:17
<
zozozo >
it's more of a problem of: 1) structure of the exposed API (for the mli), and 2) code factoring (for the ml)
14:17
wonko has quit [Remote host closed the connection]
14:17
<
zozozo >
you might try and detect code that is duplicated in a large enough codebase I guess ?
14:18
mro has joined #ocaml
14:19
favonia has quit [Quit: Ping timeout (120 seconds)]
14:19
<
d_bot >
<salt rock lamp> could also look for type transitions
14:19
favonia has joined #ocaml
14:20
<
d_bot >
<salt rock lamp> heuristically maybe it's possible to group code into "filename code" and "reading line code"
14:23
mro has quit [Ping timeout: 272 seconds]
14:24
_whitelogger has joined #ocaml
14:24
<
companion_cube >
so if you write `let foobar x = f (g x)`
14:24
<
companion_cube >
do you want it to be extracted back into f and g?
14:24
<
companion_cube >
because, well, it's "duplicated"
14:27
favonia has quit [Ping timeout: 268 seconds]
14:27
wagle has quit [Ping timeout: 268 seconds]
14:27
krnkktz has quit [Ping timeout: 268 seconds]
14:28
berberman_ has quit [Ping timeout: 268 seconds]
14:29
Tuplanolla has joined #ocaml
14:29
manicennui has quit [Ping timeout: 268 seconds]
14:29
ruffy_ has quit [Ping timeout: 268 seconds]
14:30
wagle has joined #ocaml
14:32
<
olle >
labor[m]: hm, why?
14:33
berberman has joined #ocaml
14:33
engil has quit [Ping timeout: 268 seconds]
14:33
bartholin has quit [Ping timeout: 268 seconds]
14:33
<
olle >
companion_cube: dunno ^^
14:33
engil has joined #ocaml
14:34
manicennui has joined #ocaml
14:34
ruffy_ has joined #ocaml
14:35
bartholin has joined #ocaml
14:37
hex0punk has joined #ocaml
14:41
<
olle >
Guess you can have a threshold for short snippets like that
14:41
dmbaturin has quit [*.net *.split]
14:41
Tuplanolla has quit [*.net *.split]
14:41
farn has quit [*.net *.split]
14:42
mro has joined #ocaml
14:43
dmbaturin has joined #ocaml
14:46
hex0punk has quit [Ping timeout: 272 seconds]
14:48
krnkktz has joined #ocaml
14:49
Tuplanolla has joined #ocaml
14:49
farn has joined #ocaml
14:56
hex0punk has joined #ocaml
15:01
favonia has joined #ocaml
15:01
hex0punk has quit [Ping timeout: 268 seconds]
15:14
hex0punk has joined #ocaml
15:24
hex0punk has quit [Ping timeout: 264 seconds]
15:41
hex0punk has joined #ocaml
15:45
hex0punk has quit [Ping timeout: 264 seconds]
15:46
Haudegen has quit [Quit: Bin weg.]
15:49
waleee has joined #ocaml
16:08
zebrag has quit [Remote host closed the connection]
16:11
hex0punk has joined #ocaml
16:16
hex0punk has quit [Ping timeout: 268 seconds]
16:36
hex0punk has joined #ocaml
16:36
olle has quit [Ping timeout: 265 seconds]
16:46
mro has quit [Remote host closed the connection]
16:48
mro has joined #ocaml
16:51
hex0punk has quit [Ping timeout: 264 seconds]
16:52
mro has quit [Ping timeout: 244 seconds]
16:58
bartholin has quit [Quit: Leaving]
16:59
<
d_bot >
<Kakadu> Folks, do you know symbolic executors that can chew over OCaml programs?
17:03
hex0punk has joined #ocaml
17:07
waleee has quit [Ping timeout: 264 seconds]
17:09
waleee has joined #ocaml
17:19
Haudegen has joined #ocaml
17:23
mro has joined #ocaml
17:28
wonko has joined #ocaml
17:35
ulyssa has joined #ocaml
17:35
hex0punk has quit [Ping timeout: 265 seconds]
17:40
hex0punk has joined #ocaml
17:42
mro has quit [Ping timeout: 268 seconds]
17:42
waleee has quit [Ping timeout: 268 seconds]
17:44
waleee has joined #ocaml
17:44
hex0punk has quit [Ping timeout: 272 seconds]
17:45
gareppa has joined #ocaml
17:51
<
v0idpwn >
I wrote a library using esy. Now I want to release it. What's the recommended workflow for that?
17:51
gareppa has quit [Quit: Leaving]
17:57
vicfred has joined #ocaml
18:13
mro has joined #ocaml
18:18
mro has quit [Ping timeout: 264 seconds]
18:21
mro has joined #ocaml
18:30
mro has quit [Remote host closed the connection]
18:31
favonia has joined #ocaml
18:34
favonia has quit [Client Quit]
18:35
favonia has joined #ocaml
18:38
favonia has quit [Client Quit]
18:45
mro has joined #ocaml
18:56
favonia has joined #ocaml
18:57
favonia has quit [Client Quit]
18:58
favonia has joined #ocaml
19:00
favonia has quit [Client Quit]
19:01
favonia has joined #ocaml
19:05
favonia has quit [Client Quit]
19:07
favonia has joined #ocaml
19:08
zebrag has joined #ocaml
19:09
mro has quit [Remote host closed the connection]
19:11
mro has joined #ocaml
19:17
mro has quit [Remote host closed the connection]
19:17
favonia has joined #ocaml
19:19
Guest2568 has joined #ocaml
19:21
Anarchos has joined #ocaml
19:22
favonia has quit [Client Quit]
19:23
favonia has joined #ocaml
19:27
noisy-bot has joined #ocaml
19:30
habnabit_ has joined #ocaml
19:30
noisy-bot has quit [Remote host closed the connection]
19:37
mro has joined #ocaml
19:38
noisy-bot has joined #ocaml
19:40
hex0punk has joined #ocaml
20:01
wonko has quit [Ping timeout: 244 seconds]
20:18
mro has quit [Ping timeout: 244 seconds]
20:23
hex0punk has quit [Ping timeout: 264 seconds]
20:23
cedric has joined #ocaml
20:24
hex0punk has joined #ocaml
20:40
favonia has joined #ocaml
20:52
favonia has joined #ocaml
20:55
favonia has quit [Client Quit]
20:57
favonia has joined #ocaml
20:58
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
21:00
favonia has quit [Client Quit]
21:03
favonia has joined #ocaml
21:03
Anarchos has joined #ocaml
21:04
hex0punk has quit [Ping timeout: 272 seconds]
21:04
dhil has quit [Quit: Leaving]
21:04
favonia has quit [Client Quit]
21:06
favonia has joined #ocaml
21:07
Anarchos has quit [Client Quit]
21:40
hex0punk has joined #ocaml
21:56
<
eight >
Does the order of evaluation for arguments matter for function application ?
22:00
<
d_bot >
<dinosaure> the order of the evaluation is not specified by the language
22:00
hex0punk has quit [Ping timeout: 264 seconds]
22:01
<
d_bot >
<dinosaure> but I think, you can "enforce" the order via `unit` with `fun x -> (); fun y -> x + y`
22:01
<
d_bot >
<dinosaure> I already seen such trick - however, I'm not sure that it's really relevant
22:05
<
eight >
Thanks for the tip, really interesting
22:06
<
companion_cube >
yikes
22:07
<
companion_cube >
I guess it can be useful, it's just a hack, and will also probably allocate more closures
22:07
noisy-bot has quit [Remote host closed the connection]
22:24
Haudegen has quit [Ping timeout: 264 seconds]
22:24
Haudegen has joined #ocaml
22:35
Tuplanolla has quit [Quit: Leaving.]
22:47
cedric has quit [Quit: Konversation terminated!]
22:57
salkin has quit [Ping timeout: 272 seconds]
23:17
hex0punk has joined #ocaml
23:27
hex0punk has quit [Ping timeout: 272 seconds]
23:34
Haudegen has quit [Ping timeout: 244 seconds]
23:57
drakonis1 has joined #ocaml
23:58
drakonis1 has quit [Client Quit]