amiloradovsky has quit [Ping timeout: 258 seconds]
penguwin has quit [Ping timeout: 256 seconds]
rock64 has quit [Ping timeout: 265 seconds]
penguwin has joined #ocaml
rock64 has joined #ocaml
mcginleyr1_ has joined #ocaml
mmohammadi9812 has quit [Ping timeout: 240 seconds]
mmohammadi9812 has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
mfp_ has quit [Ping timeout: 240 seconds]
catt has quit [Ping timeout: 240 seconds]
rdivyanshu has joined #ocaml
mcginleyr1_ has quit [Quit: Connection closed for inactivity]
zebrag has quit [Quit: Konversation terminated!]
<d_bot>
<gar> Hi folks. I've got Bazel code that supports generalized namespace libraries ("wrapped" libraries in Dune-speak). It decouples renaming from aliasing, and supports arbitrary mapping of module paths to filesystem objects. For example, here's one way you could map `A.B.C`: A: x.ml -> a.ml; B: y.ml -> foo/bar.ml; C: z.ml -> baz/buz.ml. Of course that's a pathological example, you can easily do more sensible things. You can also use the
zolk3ri has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
narimiran has joined #ocaml
vicfred has joined #ocaml
rdivyanshu has quit [Quit: Connection closed for inactivity]
zolk3ri has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
amiloradovsky has joined #ocaml
olle has joined #ocaml
amiloradovsky has quit [Ping timeout: 258 seconds]
bjorkintosh has quit [Read error: Connection reset by peer]
bjorkintosh has joined #ocaml
mfp_ has joined #ocaml
aquijoule_ has joined #ocaml
richbridger has quit [Ping timeout: 264 seconds]
<rwmjones>
octachron: hey, any general ETA on ocaml 4.12.0 ? it's ok if not
<octachron>
in the upcoming weeks: this one or the next one.
Haudegen has quit [Ping timeout: 258 seconds]
mmohammadi9812 has quit [Ping timeout: 265 seconds]
mmohammadi9812 has joined #ocaml
<rwmjones>
octachron++ thanks :-)
vicfred has quit [Quit: Leaving]
vicfred has joined #ocaml
mmohammadi9812 has quit [Read error: Connection reset by peer]
mmohammadi9812 has joined #ocaml
vicfred has quit [Quit: Leaving]
Haudegen has joined #ocaml
<olle>
new features?
<octachron>
the main feature is the convergence with the multicore runtime.
<companion_cube>
is the runtime closer to being reentrant, too?
<companion_cube>
old dream of mine to have several OCaml cohabitate in one process
<octachron>
There is mostly one item left (the major heap allocator) on the roadmap for "multicore is only additions to vanilla"
<olle>
kk
<olle>
what about the feature to allocate on the stack?
<olle>
unboxed
<octachron>
There are some propositions for more unboxed representations but there are still propositions. In term of other features, there are also names for warnings, more ! for types.
<companion_cube>
"more !" ?
<d_bot>
<Anurag> I'm also looking forward to the fixes done in 4.12.0 to get it working with clang11 🙂
<octachron>
A quite serious performance regression fix for people tuning their GC
<octachron>
!: Injectivity annotations for abstract types
<olle>
octachron: what does that mean, injectivity?
<octachron>
Anurag, note that those fix should be part of 4.11.2 too.
<octachron>
olle: imagine that you have 'a t = 'b t, does that means that 'a = 'b or not? The answer is yes, only if _ t is injective in its first parameter.
<octachron>
In practice, this mostly matters when using GADTs where it is useful to know more inequalities
<d_bot>
<Anurag> octachron: Good to know!
Haudegen has quit [Ping timeout: 240 seconds]
<Fardale>
octachron: do you have an example where ! is useful with GADTs ?
Haudegen has joined #ocaml
mxns has joined #ocaml
<olle>
octachron: ah ok
Guest93718 is now known as mrd
mrd has quit [Changing host]
mrd has joined #ocaml
olle has quit [Ping timeout: 264 seconds]
vicfred has joined #ocaml
<sadiq>
octachron, there's a couple more things left. I think we might even have a list somewhere on github.
<sadiq>
iirc we need to do some work integrating the memory model.
<Fardale>
octachron: your example did not work because M.t is abstract? Is ! similar to + in the sense that it is useful to give information if the type is abstract?
mmohammadi9812 has quit [Remote host closed the connection]
mmohammadi9812 has joined #ocaml
<octachron>
Yes, any nominal types are automatically injectives in their parameters. The injectivity annotations makes it possible to remember this information in the case of abstract types.
<octachron>
The quintessential non-injective types is "type 'a t = unit"
<companion_cube>
can injectivity be combined with variance?
<octachron>
Yes.
<companion_cube>
`type !+'a t` ? :)
<octachron>
or +!'a t. Both are allowed.
<companion_cube>
so injectivity is per parameter?
Haudegen has quit [Quit: Bin weg.]
bartholin has quit [Quit: Leaving]
<octachron>
Yes, like variance.
<companion_cube>
interesting, thank you!
mmohammadi9812 has quit [Ping timeout: 264 seconds]
mmohammadi9812 has joined #ocaml
zebrag has joined #ocaml
Haudegen has joined #ocaml
olle has joined #ocaml
metro has joined #ocaml
amiloradovsky has joined #ocaml
metreo has quit [Ping timeout: 240 seconds]
metro is now known as metreo
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
metreo has quit [Ping timeout: 256 seconds]
mmohammadi9812 has quit [Ping timeout: 240 seconds]
metreo has joined #ocaml
mmohammadi9812 has joined #ocaml
metreo has quit [Ping timeout: 240 seconds]
boxscape has joined #ocaml
metreo has joined #ocaml
olle has quit [Ping timeout: 246 seconds]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
metreo has quit [Ping timeout: 258 seconds]
mxns has quit [Ping timeout: 265 seconds]
metreo has joined #ocaml
olle has joined #ocaml
tane has joined #ocaml
mxns has joined #ocaml
mmohammadi9812 has quit [Ping timeout: 240 seconds]
mxns has quit [Ping timeout: 258 seconds]
mmohammadi9812 has joined #ocaml
mxns has joined #ocaml
olle has quit [Ping timeout: 256 seconds]
osa1_ is now known as osa1
jnavila has joined #ocaml
<d_bot>
<Robin> hey when i'm on a line correcting my code letters are replacing the ones which follows instead of just adding on the line do you know how to fix that?
<theblatte>
@Robin: hit the "insert" (Ins?) key on your keyboard?
raver has joined #ocaml
<d_bot>
<Robin> it doesn't work bc to even when i write "insert" or anything else the text after is replaced 😦
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
raver has quit [Quit: Gateway shutdown]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
raver has joined #ocaml
raver has quit [Client Quit]
jnavila has quit [Quit: Konversation terminated!]
raver has joined #ocaml
raver has quit [Client Quit]
raver has joined #ocaml
raver has quit [Client Quit]
amiloradovsky1 has joined #ocaml
amiloradovsky has quit [Read error: Connection reset by peer]
amiloradovsky1 is now known as amiloradovsky
raver has joined #ocaml
narimiran has quit [Ping timeout: 240 seconds]
raver has quit [Quit: Gateway shutdown]
raver has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
raver has quit [Quit: Gateway shutdown]
raver has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
mxns has joined #ocaml
raver has quit [Quit: Gateway shutdown]
mmohammadi9812 has quit [Ping timeout: 240 seconds]