adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.3 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
kakadu has quit [Remote host closed the connection]
SomeDamnBody has quit [Quit: Leaving]
Simn has quit [Read error: Connection reset by peer]
ceryo has joined #ocaml
nullcatxxx_ has joined #ocaml
Denommus has joined #ocaml
rgrinberg2 has quit [Ping timeout: 246 seconds]
ryanartecona has quit [Quit: ryanartecona]
madroach has quit [Ping timeout: 260 seconds]
madroach has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
ryanartecona has joined #ocaml
ygrek_ has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
ygrek has quit [Ping timeout: 265 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ontologiae has joined #ocaml
raphaelss has quit [Ping timeout: 260 seconds]
pierpa` has joined #ocaml
igoroliveira has quit [Quit: Connection closed for inactivity]
pierpa has quit [Ping timeout: 264 seconds]
pierpa`` has joined #ocaml
pierpa``` has joined #ocaml
ncthom91 has joined #ocaml
pierpa` has quit [Ping timeout: 276 seconds]
ontologiae has quit [Ping timeout: 260 seconds]
pierpa`` has quit [Ping timeout: 244 seconds]
larhat1 has quit [Ping timeout: 240 seconds]
ril is now known as ril[away]
johnf has joined #ocaml
rgrinberg2 has joined #ocaml
ril[away] is now known as ril
Denommus has quit [Ping timeout: 255 seconds]
larhat1 has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
orbifx has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
echo-area has joined #ocaml
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Denommus has joined #ocaml
AlecTaylor has quit [Ping timeout: 250 seconds]
orbifx has quit [Read error: Connection reset by peer]
orbifx2 has joined #ocaml
ncthom91 has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
flx has joined #ocaml
flxx has quit [Ping timeout: 264 seconds]
ncthom91 has joined #ocaml
ril has quit [Read error: Connection reset by peer]
ncthom91 has quit [Client Quit]
Snark has quit [Ping timeout: 264 seconds]
Snark has joined #ocaml
yaewa has joined #ocaml
coody has quit [Ping timeout: 264 seconds]
coody has joined #ocaml
moei has quit [Ping timeout: 264 seconds]
vbmithr has quit [Ping timeout: 264 seconds]
mariusae has quit [Ping timeout: 264 seconds]
vbmithr has joined #ocaml
mariusae has joined #ocaml
ncthom91 has joined #ocaml
tizoc has quit [Ping timeout: 264 seconds]
vbmithr has quit [*.net *.split]
jeroud has quit [*.net *.split]
meiji11 has quit [*.net *.split]
rbocquet has quit [*.net *.split]
flux has quit [*.net *.split]
ggVGc has quit [*.net *.split]
tizoc` has joined #ocaml
flux has joined #ocaml
ggVGc has joined #ocaml
vbmithr has joined #ocaml
rbocquet has joined #ocaml
meiji11 has joined #ocaml
rbocquet has quit [Ping timeout: 264 seconds]
AlecTaylor has joined #ocaml
AlecTaylor has joined #ocaml
nullcatxxx_ has joined #ocaml
jeroud has joined #ocaml
ril has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rbocquet has joined #ocaml
raphaelss has joined #ocaml
ygrek_ has quit [Ping timeout: 250 seconds]
Guest95941 has quit [Ping timeout: 246 seconds]
wolfcore has joined #ocaml
wolfcore is now known as Guest32839
Guest32839 has quit [Ping timeout: 260 seconds]
wolfcore_ has joined #ocaml
wolfcore_ is now known as wolfcore
wolfcore has quit [Changing host]
wolfcore has joined #ocaml
octachron has joined #ocaml
_whitelogger has joined #ocaml
badon_ has joined #ocaml
badon has quit [Disconnected by services]
badon_ is now known as badon
darkf has joined #ocaml
darkf has joined #ocaml
darkf has quit [Changing host]
python476 has joined #ocaml
MercurialAlchemi has joined #ocaml
NingaLeaf123 has joined #ocaml
mac10688 has quit [Ping timeout: 255 seconds]
NingaLeaf has quit [Ping timeout: 244 seconds]
wolfcore is now known as trix
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
octachron has quit [Ping timeout: 244 seconds]
AlecTaylor has quit [Quit: Leaving]
Mercuria1Alchemi has joined #ocaml
rgrinberg2 has quit [Ping timeout: 246 seconds]
octachron has joined #ocaml
tmtwd has quit [Ping timeout: 240 seconds]
psy_ has quit [Read error: Connection reset by peer]
octachron has quit [Quit: Leaving]
jgjl has joined #ocaml
psy_ has joined #ocaml
tmtwd has joined #ocaml
rgrinberg2 has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 260 seconds]
ygrek_ has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBird_ has quit [Ping timeout: 276 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
orbifx2 has quit [Ping timeout: 240 seconds]
NingaLeaf123 has quit [Read error: Connection reset by peer]
NingaLeaf123 has joined #ocaml
zpe has joined #ocaml
JuggleTux has joined #ocaml
AltGr has joined #ocaml
ely-se has joined #ocaml
NingaLeaf has joined #ocaml
NingaLeaf has quit [Read error: Connection reset by peer]
Haudegen has quit [Ping timeout: 250 seconds]
NingaLeaf has joined #ocaml
octachron has joined #ocaml
zpe_ has joined #ocaml
NingaLeaf123 has quit [Read error: Connection reset by peer]
kushal has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
badon_ has joined #ocaml
badon has quit [Disconnected by services]
badon_ is now known as badon
orbifx has joined #ocaml
orbifx has quit [Client Quit]
aphprentice has quit [Quit: Connection closed for inactivity]
<companion_cube> o/
Haudegen has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
<ely-se> hi!
mort___ has joined #ocaml
ollehar has joined #ocaml
ollehar has left #ocaml [#ocaml]
rgrinberg2 has quit [Ping timeout: 250 seconds]
badon_ has joined #ocaml
badon has quit [Disconnected by services]
badon_ is now known as badon
mort___ has quit [Quit: Leaving.]
troydm has quit [Ping timeout: 260 seconds]
zpe_ has quit [Remote host closed the connection]
troydm has joined #ocaml
yaewa has quit [Quit: Leaving...]
moei has joined #ocaml
jgjl has quit [Read error: Connection reset by peer]
pierpa``` has quit [Ping timeout: 240 seconds]
accname has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
<trix> hey!
<trix> kind of a bummer really
accname has quit [Ping timeout: 240 seconds]
<solrize> interesting, i wonder if anyone did that test with ghc
<flux> isn't flambda going to rescue us all.. :)
<flux> someone with sufficient amounts of energy could try the flambda branch right now!
<solrize> the last couple comments are enlightening and reasonable
<trix> there's a comment at the end that says all versions of `g` perform much more similarly now
kushal has quit [Quit: Leaving]
<trix> though I guess, if one is objectively faster every time, why do it any other way
<flux> TIL: { 4.2 with contents = "hello" }
<trix> even if fully eta-expanded functions are lengthier
<ely-se> flux: what is there to learn about that?
<flux> well, it's a corner case really, not useful at all
<ely-se> oh, that it passes the type checker?
<ely-se> that is indeed surprising
<flux> yep
<ely-se> how does it work lol
<ely-se> > bytes ref = {contents = "hello"}
<ely-se> that makes no sense
<ely-se> oh, because a bytes ref is a record with a contents field
<ely-se> so it implicitly discards the part before the with keyword?
ontologiae has quit [Ping timeout: 255 seconds]
Kakadu has joined #ocaml
mort___ has joined #ocaml
ontologiae has joined #ocaml
dsheets has joined #ocaml
ontologiae has quit [Ping timeout: 246 seconds]
Kakadu_ has joined #ocaml
<flux> yep
<ely-se> ewww!
Kakadu has quit [Ping timeout: 246 seconds]
AltGr has left #ocaml [#ocaml]
ocp has joined #ocaml
<ely-se> lol, someone made this (rightfold is my username elsewhere): http://i.stack.imgur.com/okkj2.png
infinity0 has joined #ocaml
echo-area has quit [Remote host closed the connection]
orbifx has joined #ocaml
ontologiae has joined #ocaml
rgrinberg2 has joined #ocaml
infinity0 has quit [Ping timeout: 276 seconds]
Sorella has joined #ocaml
rgrinberg2 has quit [Ping timeout: 240 seconds]
FreeBird_ has joined #ocaml
zpe has joined #ocaml
larhat1 has quit [Quit: Leaving.]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBird_ has quit [Ping timeout: 276 seconds]
netrobyatmobile has joined #ocaml
JuggleTux has quit [Quit: leaving]
freehck has joined #ocaml
troydm has quit [Ping timeout: 260 seconds]
troydm has joined #ocaml
ely-se has quit [Quit: leaving]
ely-se has joined #ocaml
sepp2k has joined #ocaml
Kakadu_ has quit [Ping timeout: 246 seconds]
raphaelsss has joined #ocaml
raphaelss has quit [Ping timeout: 240 seconds]
<freehck> people, is there a way to print a dependency graph for opam packages?
<freehck> I'm a little bit tired to walk through opam-files. :)
tizoc` is now known as tizoc
<flux> the answer is: maybe! I dimly remember it might be possible with the opam tool ;)
JuggleTux has joined #ocaml
tizoc has quit [Changing host]
tizoc has joined #ocaml
<freehck> already found, thx
<freehck> opam list --recursive --required-by leveldb
Haudegen has quit [Ping timeout: 244 seconds]
<flux> thanks for the reminder of the command, maybe it'll come handy at some point
AltGr has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
Nahra has quit [Ping timeout: 272 seconds]
<JuggleTux> 1/part
JuggleTux has left #ocaml [#ocaml]
Haudegen has joined #ocaml
Simn has joined #ocaml
t4nk448 has joined #ocaml
Bahman has joined #ocaml
Denommus has quit [Quit: Bye]
dsheets has quit [Ping timeout: 250 seconds]
emias has quit [Quit: OS upgrade.]
BitPuffin has joined #ocaml
t4nk448 has quit [Ping timeout: 246 seconds]
raphaelsss has quit [Ping timeout: 260 seconds]
AltGr has left #ocaml [#ocaml]
AltGr has joined #ocaml
types has joined #ocaml
ceryo has joined #ocaml
<types> i have installed opam, but after the installation which ocaml still points to /usr/bin/ocaml
<types> what did i wrong
<freehck> types: and what did you expect?
<freehck> If you wanna use the newer ocaml version installed from opam, you can use 'opam switch <version>'
<freehck> and then "eval `opam config env`"
AltGr has left #ocaml [#ocaml]
<orbifx> types: infact opam can edit your user config files to set opam's packages as default, but it wont do it silently
cdidd has quit [Ping timeout: 252 seconds]
<ely-se> lol imagine it did do it silently
<ely-se> that would be a nightmare
<orbifx> types: apropos we have reached to this point where you are here with a decision
<reynir> I think I read that oh-my-zsh does something like that
<orbifx> types: either go through that door let opam become default by executing the command or go through the other can save Trinity
<orbifx> The choise lies with you.
<orbifx> reynir: I use zsh and opam finds it and asks you to edit it.
cdidd has joined #ocaml
<types> i told opam to change ocamlinit and profile
<types> no saving trinity
<freehck> types: have you re-source your .rc-files for terminal?
<freehck> Usually u have to perform something like "source ~/.bashrc"
<freehck> Or just restart your terminal of course.
<types> i have exited from the terminal and logged in again but nothing changed
python476 has quit [Ping timeout: 246 seconds]
<freehck> types: grep opam ~/.bashrc
<freehck> types: and btw... Have you done "opam init"?
<orbifx> which would have asked him to install the configs if I recall correctly
raphaelss has joined #ocaml
<types> freehck: grep opam ~/.bashrc returns nothing, and i have done opam init
AltGr has joined #ocaml
dsheets has joined #ocaml
lobo has joined #ocaml
AltGr has left #ocaml [#ocaml]
ryanartecona has joined #ocaml
infinity0 has joined #ocaml
<ely-se> I think I found a nice use-case for polymorphic variants. I've never used them before.
<orbifx> types: which shell do you use?
<orbifx> and did you notice `opam init` asking you to write your configs?
<orbifx> brb
orbifx has quit [Quit: WeeChat 1.3]
kushal has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
dsheets has joined #ocaml
raphaelss has quit [Ping timeout: 272 seconds]
<ely-se> less XY: I currently have type type_or_univar = Type of typ | Univar of int however I'd like to flatten it so that I don't have to double pattern match all the time
<ely-se> but I don't want Univar in typ
<ely-se> because univars are only created and used within one particular function, and removed before that function returns, whereas other typs are used all over the place
martintrojer has quit [Ping timeout: 250 seconds]
Haudegen has quit [Remote host closed the connection]
martintrojer has joined #ocaml
<companion_cube> what's a univar?
<ely-se> a unification variable
<companion_cube> oh, ok
<ely-se> I'm implementing type checker/inferencer
OnkV has joined #ocaml
<octachron> ely-se: you can use explicit coercion: let y = ( x :> typ2 )
nicoo has quit [Remote host closed the connection]
<ely-se> octachron: oy vey, how could have I missed that :D
<ely-se> thanks!
ryanartecona has quit [Ping timeout: 260 seconds]
nicoo has joined #ocaml
<ely-se> I'm so happy
<ely-se> I love OCaml.
OnkV has quit [Ping timeout: 252 seconds]
<ely-se> octachron: funfact: I just realised I don't need this at all XD
BitPuffin has quit [Ping timeout: 244 seconds]
OnkV has joined #ocaml
ryanartecona has joined #ocaml
OnkV has quit [Ping timeout: 264 seconds]
netrobyatmobile has quit [Quit: Connection closed for inactivity]
ryanartecona has quit [Quit: ryanartecona]
OnkV has joined #ocaml
<freehck> people, how to move cursor to the end of the current expression in emacs merlin-mode?
<freehck> I have a very long let and wanna see where it ends.
orbifx has joined #ocaml
ryanartecona has joined #ocaml
octachron has quit [Quit: Leaving]
<Khady> gasche_: do you know if there is a way to get a warning when I have a rule like <path_with_typo/file.ml>: package(foo) that is not used (because of the typo in the path)?
<Khady> the rule is in _tags and I talk about ocamlbuild
fluter has quit [Ping timeout: 252 seconds]
fluter has joined #ocaml
jeffmo has joined #ocaml
zpe has quit [Remote host closed the connection]
ncthom91 has joined #ocaml
zpe has joined #ocaml
ontologiae has quit [Ping timeout: 255 seconds]
zpe has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
slash^ has joined #ocaml
yomimono has joined #ocaml
shinnya has joined #ocaml
ely-se has quit [Quit: leaving]
rgrinberg2 has joined #ocaml
<Bahman> Is there any function equivalent to `::`, for example `List.cons 1 [2;3]`?
<companion_cube> in the next version of OCaml, yes; also found in alternative stdlib
<Bahman> companion_cube: Alternative stdlib?
<Bahman> The Jane Street version?
<companion_cube> there are several stdlibs, including Core (janestreet) and Batteries (community), and several smaller ones
<companion_cube> I think most of them have some List.cons equivalent
<theblatte> oh wow, (::) is not even a thing :/
<Enjolras_> that's because it's not an operator but a constructor
<Enjolras_> and constructor are not function-like in ocaml, you cannot treat Some as a function for instance
<Bahman> Thanks companion_cube.
<Enjolras_> and hence you cannot treat :: as a function either
jabesed has joined #ocaml
<theblatte> Enjolras_: right, that makes sense, silly me. I guess you cannot define your own infix constructors?
<Enjolras_> not yet.That's the only one
<theblatte> there's quite a bit of hardcoded stuff in ocaml :)
octachron has joined #ocaml
<groovy2shoes> mostly due to its age
<Enjolras_> that's totally ad-hoc indeed :)
<Enjolras_> it breaks two rules. Constructors are prefix and start with an upper case letter
<Enjolras_> except this one
<theblatte> :)
FreeBirdLjj has quit [Remote host closed the connection]
ril has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
orbifx has quit [Quit: WeeChat 1.3]
nullcatxxx_ has joined #ocaml
ocp has quit [Quit: Leaving.]
jabesed has quit [Remote host closed the connection]
octachron has quit [Ping timeout: 240 seconds]
dsheets has quit [Ping timeout: 272 seconds]
ygrek_ has joined #ocaml
tane has joined #ocaml
^elyse^ has joined #ocaml
zpe_ has joined #ocaml
tane has quit [Remote host closed the connection]
zpe_ has quit [Ping timeout: 240 seconds]
tane has joined #ocaml
BitPuffin has joined #ocaml
tane has quit [Ping timeout: 276 seconds]
libertas has quit [Quit: Lost terminal]
FreeBirdLjj has joined #ocaml
Denommus has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jwatzman|work has joined #ocaml
nullcatxxx_ has joined #ocaml
mort___ has left #ocaml [#ocaml]
types has quit [Ping timeout: 246 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Cypi_ is now known as Cypi
nullcatxxx_ has joined #ocaml
nullcatxxx_ has quit [Client Quit]
Kakadu has joined #ocaml
nullcatxxx_ has joined #ocaml
tane has joined #ocaml
<^elyse^> I have this code: val mangle : (string, string, string, string) Ast.modul -> (string, string, string, string) Ast.modul
<^elyse^> but this is quite "holy shit my eyes". is there a way to make it so that I have to write (string, string, string, string) only once instead of twice?
<^elyse^> I could make a type alias but then I have to put that in every module structure with this signature
<ygrek_> you can put it Ast
<companion_cube> val mangle : (string,string,string,string) Ast.modul as 'foo -> 'foo
<companion_cube> I think this should work :p
larhat1 has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 255 seconds]
<^elyse^> btw, is it possible to use Tuareg but *only* for syntax highlighting, and disable everything else it offers?
<thizanne> what else would you want to disable ?
<^elyse^> indentation, for example
<companion_cube> it's sooo nice to have colors in OCaml
<companion_cube> can't wait for 4.03 to be released :p
yomimono has quit [Quit: Leaving]
<^elyse^> reasoning: identation of Tuareg on MELPA is so horribly broken that it's unusable, and I don't want opam on my machine (I run the toolchain in a VM)
ygrek_ has quit [Ping timeout: 272 seconds]
python476 has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jeffmo has quit [Quit: jeffmo]
jeffmo has joined #ocaml
sepp2k has quit [Quit: Leaving.]
larhat1 has quit [Quit: Leaving.]
chris2 has quit [Ping timeout: 272 seconds]
orbifx has joined #ocaml
darkf has quit [Quit: Leaving]
^elyse^ has left #ocaml ["Leaving"]
mort___ has joined #ocaml
Bahman has quit [Quit: Ave atque vale]
ncthom91 has joined #ocaml
pikachuyann has quit [Quit: A plus !]
kushal has quit [Quit: Leaving]
ygrek_ has joined #ocaml
rgrinberg2 has quit [Ping timeout: 255 seconds]
shinnya has joined #ocaml
jeffmo_ has joined #ocaml
jeffmo has quit [Ping timeout: 260 seconds]
jeffmo_ is now known as jeffmo
Lis has joined #ocaml
BitPuffin has quit [Ping timeout: 240 seconds]
rgrinberg2 has joined #ocaml
Lis has quit [Client Quit]
rgrinberg2 has quit [Ping timeout: 240 seconds]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
foofoo_ has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
nullcatxxx_ has joined #ocaml
ncthom91 has joined #ocaml
mort___ has quit [Quit: Leaving.]
ohama has quit [Ping timeout: 252 seconds]
<python476> anyone got a mail for an event about Bob Harper PFPL book 2nd edition ?
<sgeisenh> python476: what?
<python476> I know it's not directly OCaml related
ohama has joined #ocaml
<python476> but Bob Harper being involved in SML .. I thought I could ask
<sgeisenh> python476: An email? Did you sign up for a mailing list on Cambridge Press or something?
<python476> sgeisenh: that's the thing I don't remember anything like that
<python476> I thought it was a meetup at first
<python476> it looks like a hangout video chat .. first time I see this
<sgeisenh> I guess I'm just sad because I'd be interested but I didn't get an email.
<python476> I'm trying to contact the sender to have details
<python476> I'll ask if he can send other invitations if you want
groovy2shoes has quit [Quit: Leaving]
OnkV has quit [Ping timeout: 272 seconds]
<sgeisenh> I'm still just kind of confused what the email is about.
<python476> invitation from the type theory group for 'something' saturday at 0:00 (<< ??) Paris time
ohama has quit [Ping timeout: 246 seconds]
<python476> bbl
ohama has joined #ocaml
solrize has quit [Ping timeout: 240 seconds]
slash^ has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ryanartecona has quit [Quit: ryanartecona]
freehck has quit [Remote host closed the connection]
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
chris2 has joined #ocaml
natimic has joined #ocaml
uvicon has quit [Quit: Leaving]
pierpa has joined #ocaml
ollehar has joined #ocaml
ollehar has quit [Client Quit]
matthewhill has joined #ocaml
matthewhill has quit [Remote host closed the connection]
Algebr has joined #ocaml
matthewhill has joined #ocaml
matthewhill has quit [Remote host closed the connection]
matthewhill has joined #ocaml
matthewhill has quit [Remote host closed the connection]
<Algebr> I can sequence unit Lwt.t with >>= fun () -> ... but this is repetitive, how can I worked a sequence of unit Lwt.ts? Like say a list of unit Lwt.ts where I want one done right after another.
<companion_cube> Lwt_list.iter_s
<Algebr> derp, and I did look in Lwt_list
<Algebr> companion_cube: This is ugly though, Lwt_list.iter_s (fun _ -> return ())[g : unit Lwt.t; h : unit Lwt.t]
<companion_cube> fun x->x would work
<companion_cube> but this is useful only if you have dozens of operations, I think
<companion_cube> otherwise, let%lwt () = a in let%lwt () = b in ......
ryanartecona has joined #ocaml
ryanartecona has quit [Client Quit]
^elyse^ has joined #ocaml
<^elyse^> Is there something like Haskell's deriving (Functor)?
<^elyse^> possibly as a preprocessor of some sort
ryanartecona has joined #ocaml
<companion_cube> ppx_deriving
<companion_cube> something like ppx_deriving.map, I think
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<^elyse^> nice :D
<^elyse^> just found it
psy_ has quit [Ping timeout: 260 seconds]
<^elyse^> if I can get it to work I can reduce hundreds of lines of boilerplate :p
<companion_cube> it's dead simple, if you use 4.02.3
<companion_cube> just depend on ppx_deriving.std, roughly, and everything works
<companion_cube> also: ppx_deriving_yojson if you need serialization
<^elyse^> I'm afraid it won't work though :(
<^elyse^> note the number of type parameters
<^elyse^> they just all happen to be of the same type in my case
<^elyse^> ugh, I have OCaml 4.01.0. fucking debian
<^elyse^> need something like Quadfunctor
<companion_cube> erk
solrize has joined #ocaml
pierpa` has joined #ocaml
pierpa has quit [Ping timeout: 272 seconds]
groovy2shoes has joined #ocaml
ncthom91 has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
zpe has joined #ocaml
<^elyse^> Ast.transform_decl mangle mangle mangle mangle glorious code :P
<companion_cube> :D
<companion_cube> you can easily define a map1 from map4, come on, it's 1 line
nchambers is now known as dtscode
jeffmo has quit [Quit: jeffmo]
jeffmo has joined #ocaml
Nahra has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Algebr> hope paris people are okay
<companion_cube> hope so, too
Denommus has quit [Quit: going home]
^elyse^ has quit [Quit: Leaving]
nullcatxxx_ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 250 seconds]
^elyse^ has joined #ocaml
Algebr has quit [Ping timeout: 240 seconds]
<pierpa`> why they shouldn't be?
<edwin> see news about shooting on bbc
<pierpa`> hmmm
tane has quit [Ping timeout: 250 seconds]
<pierpa`> !
Mercuria1Alchemi has quit [Ping timeout: 250 seconds]
mac10688 has joined #ocaml
ontologiae has joined #ocaml
foofoo_ has quit [Quit: Page closed]
ryanartecona has joined #ocaml
swgillespie has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
Simn has quit [Quit: Leaving]
ryanartecona has joined #ocaml
Kakadu has quit [Remote host closed the connection]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
Nahra has quit [Quit: ERC (IRC client for Emacs 24.5.1)]
zpe has quit [Ping timeout: 240 seconds]
jeffmo has quit [Quit: jeffmo]
pierpa` has quit [Ping timeout: 255 seconds]
pierpa` has joined #ocaml