nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
kushal has quit [Ping timeout: 265 seconds]
toolslive has quit [Ping timeout: 260 seconds]
toolslive has joined #ocaml
FreeBirdLjj has joined #ocaml
agarwal1975 has joined #ocaml
kushal has joined #ocaml
al-damiri has joined #ocaml
pierpa has quit [Ping timeout: 244 seconds]
<orbitz>
Hello, if I have a module type like module type S = sig type t end. And I have a module M, I would like to say that "M is an S but with type t as int". Is that a valid thing to try to express?
<Algebr`>
isn't that something like with t = int
<orbitz>
Oh nice. Now: can I do that with an include in a .mli file?
<orbitz>
Ohh,I think I can
<orbitz>
I wonder why this failed on me before... I think I must have just been confused.
<orbitz>
thanks Algebr`
kushal has quit [Ping timeout: 250 seconds]
laserpants has quit [Ping timeout: 250 seconds]
zpe has quit [Remote host closed the connection]
copy` has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
laserpants has joined #ocaml
yomimono has joined #ocaml
sepp2k has joined #ocaml
shinnya has joined #ocaml
freusque has joined #ocaml
danieli has quit [Ping timeout: 250 seconds]
freusque has quit [Quit: WeeChat 1.4]
danieli has joined #ocaml
Algebr` has quit [Ping timeout: 258 seconds]
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
bruce_r has joined #ocaml
MercurialAlchemi has joined #ocaml
two_wheels has joined #ocaml
Algebr` has joined #ocaml
laserpants has quit [Ping timeout: 264 seconds]
Algebr` has quit [Ping timeout: 240 seconds]
cantstanya has quit [Read error: Connection reset by peer]
<toolslive>
quick question: How can I make ppx_deriving's show generate "X" iso "ModuleA.ModuleB.ModuleC.X" ?
yomimono has quit [Ping timeout: 252 seconds]
nicholasf has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
toolslive has quit [Ping timeout: 244 seconds]
nicholasf has quit [Ping timeout: 240 seconds]
mcspud has quit [Ping timeout: 250 seconds]
mcspud has joined #ocaml
nicholasf has joined #ocaml
Algebr` has joined #ocaml
nicholasf has quit [Ping timeout: 244 seconds]
slash^ has joined #ocaml
ygrek_ has joined #ocaml
Algebr` has quit [Ping timeout: 244 seconds]
toolslive has joined #ocaml
mcspud has quit [Ping timeout: 250 seconds]
copy` has joined #ocaml
mcspud has joined #ocaml
ygrek_ has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
toolslive has quit [Ping timeout: 250 seconds]
ontologiae has quit [Quit: WeeChat 0.4.2]
mbrock has joined #ocaml
johnelse has quit [Ping timeout: 276 seconds]
toolslive has joined #ocaml
jwatzman|work has quit [Ping timeout: 250 seconds]
fraggle-boate has quit [Remote host closed the connection]
fraggle-boate has joined #ocaml
mcspud has quit [Ping timeout: 250 seconds]
Algebr` has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
toolslive has quit [Ping timeout: 260 seconds]
mcspud has joined #ocaml
toolslive has joined #ocaml
pyon has quit [Quit: Fix config.]
Algebr` has quit [Ping timeout: 265 seconds]
pyon has joined #ocaml
manizzle has quit [Remote host closed the connection]
manizzle has joined #ocaml
toolslive has quit [Ping timeout: 276 seconds]
tane has joined #ocaml
agarwal1975 has quit [Read error: Connection reset by peer]
agarwal1975 has joined #ocaml
ygrek_ has joined #ocaml
toolslive has joined #ocaml
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 250 seconds]
alexelcu has joined #ocaml
Xizor has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
_andre has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Ping timeout: 244 seconds]
Algebr` has joined #ocaml
rgrinberg has joined #ocaml
Algebr` has quit [Ping timeout: 260 seconds]
Xizor has quit [Read error: Connection reset by peer]
soupault has joined #ocaml
soupault has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
ontologiae_ has joined #ocaml
nicholasf has joined #ocaml
octachron has quit [Quit: Leaving]
Algebr` has joined #ocaml
nicholasf has quit [Ping timeout: 264 seconds]
rfk has quit [Read error: Connection reset by peer]
rfk has joined #ocaml
michbad has joined #ocaml
alexelcu has quit [Remote host closed the connection]
vramana has quit [Quit: vramana]
copy` has quit [Quit: Connection closed for inactivity]
AlexRussia has joined #ocaml
<seliopou>
Drup: what's happening? :)
pierpa has joined #ocaml
<seliopou>
Oh, for the buffered interface?
<seliopou>
Yeah I like to sprinkle objects here and there just to confuse folks :P
michbad has quit [Remote host closed the connection]
mcspud has quit [Ping timeout: 250 seconds]
<seliopou>
(I actually think that certain uses of objects are easier to understand and use than modules with mutable structs as `t`)
<Drup>
I can't blame you, I ocasionally do that too :p
<seliopou>
It's like "Hmmm.... I have this state. How shall I encapsulate it?"
<seliopou>
btw how did tyre perf test stack up?
<seliopou>
and re: generators. I don't think that could replace many due to backtracking.
<seliopou>
In the case where you don't want to allocate and you're going to commit to the parse, `skip_many (p <* commit >>| push)` is the way to do it
<seliopou>
I should maybe include a function that just does that
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
Heasummn has joined #ocaml
soupault has quit [Ping timeout: 244 seconds]
<rgrinberg>
Drup: in the group case, i'm kind of worried about `rep` skewing the results. Since I will have to match every single group at once.
<rgrinberg>
That's kind of atypical.
<rgrinberg>
I'll just do all variants here. It's simple enough.
<Drup>
the thing is, if you want to extract the list, you would use all/all_gen. If you just want to match, you would do execp+rep
<Drup>
so ...
<Drup>
each is the most optimize for the task
Algebr` has quit [Ping timeout: 265 seconds]
<rgrinberg>
for execp+rep I agree. But all/all_gen does quite a bit more allocation. Since the group array will be resized to fit all headers from all requests.
<rgrinberg>
I should just benchmark it...
<Drup>
resized ? not sure I understand
<Drup>
the number of group is fixed for a given regex, it never changes and it's known at time of Re.compile
<rgrinberg>
yeah, whoops. I forgot that rep http_request won't be used for all_gen
<Drup>
if there are groups under a star, it just takes the first or last one (depending of Re.nest or not)
wolfcore has quit [Ping timeout: 244 seconds]
Simn has quit [Quit: Leaving]
wolfcore has joined #ocaml
<rgrinberg>
Drup: alright, alright. I will get my shit together :P
<rgrinberg>
ok all the benchmarks are up
<rgrinberg>
I'm testing on 4.02.3 so I will leave it to flambda enthusiass to do further work.
<rgrinberg>
There are non trivial perf. differences though
<rgrinberg>
nothing amazing as expected
<Drup>
?
<rgrinberg>
Drup: i've added your benches. Will put up the results in a minute
<Drup>
hum, I'm a bit surprised by the fact that execp+nogroup compared to the manual version
antoro is now known as antoro_
<Drup>
(your bench naming is weird :p)
<rgrinberg>
maybe flambda will make a difference?
<Drup>
I doubt it
<Drup>
flambda will probably not do much for re, it's full of mutations and imperative stuff
<rgrinberg>
i'm now curious to add sedlex and ocamllex to the mix.
<rgrinberg>
Of course we'll have to simulate grouping there. But shouldn't be too hard.
<Drup>
yeah, or do the opposite: use Tyre.route ;)
SpiceGuid has joined #ocaml
<Drup>
rgrinberg: there are no way to tell core_bench to only compares things inside groups ?
<Drup>
the last column of the table is completely useless
Xizor has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
lopex has quit [Ping timeout: 244 seconds]
<rgrinberg>
Drup: yup. It's annoying :/ I'm not sure how to improve it apart from putting it in different exe's
<rgrinberg>
but then my little regression script will have to do more work
tane has quit [Quit: Leaving]
lopex has joined #ocaml
pyon has quit [Quit: Rebooting universe.]
pyon has joined #ocaml
atbagautdinov has quit [Ping timeout: 265 seconds]
kakadu has quit [Remote host closed the connection]