flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.03.0 announced http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
<aantron> ah
rgrinberg has joined #ocaml
<aantron> those functions give you these http://ocsigen.org/lwt/2.5.1/api/Lwt_process.process_none-c , which have a status member
<aantron> method*
<aantron> that should let you poll to the same level of detail (e.g. signals) as Unix.waitpid, if you need that
<rgrinberg> aantron: what do you think of publishing the lwt docs outside of the ocsigen site as well?
<aantron> for separate control over presentation and such?
<aantron> bensu: yep :)
<rgrinberg> aantron: yes... honestly i just hate the ocsigen.org styling. But it would be nice to have docs of lwt/master up as well
<aantron> rgrinberg: ive been wanting to do this :)
<seangrove> rgrinberg: The new Reasonml doc styling seems quite nice
<aantron> rgrinberg: but, btw, i think you can find the master docs here http://ocsigen.org/lwt/dev/api/Lwt
<aantron> im going to work on docs after ci, so if you have notes/strong opinions/requests, please let me know
<rgrinberg> no strong opinins. I do like bunzli's styling though
<seangrove> Super long shot - I'd love a merlin chrome extension that works on Github. Hover over a definition, see an Reason-in-Atom-style info panel. I have a hard time following types reading isolated OCaml code in the browser.
<aantron> i just spent much longer than i originally expected, messing with cygwin and packaging ocaml+opam to speed up the build so it wouldnt be annoyingly slow
<aantron> im probably going to speed up some of the travis builds as well, and get at least one win32-only platform (mingw, msvc) working. then docs
<Algebr`> seangrove: wow that sounds nice!
<aantron> seangrove: seconded
yunxing_ has joined #ocaml
<aantron> oh yeah it would also be nice to automatically run tests on js_of_ocaml and/or bucklescript
<bensu> what module would you recommend for command line argument parsing?
<Algebr`> cmdliner
<aantron> +1
jeffmo has quit [Quit: jeffmo]
two_wheels has joined #ocaml
<Algebr`> How do you ensure that an object is garbage collected? I was thinking let test () = let helper () = ignore (some_object ()) in helper(); Gc.full_major
<Algebr`> yes
<bensu> Algebr`: aantron thanks!
<Algebr`> ah, my way worked
fredlhsu has quit [Quit: fredlhsu]
<Algebr`> I wonder, how can I use oasis with like a debug condition?
<Algebr`> like I don't think oasis lets me get at environment variables
<Algebr`> at arbitrary ones
Kakadu has quit [Remote host closed the connection]
two_wheels has quit [Ping timeout: 258 seconds]
<Drup> rgrinberg: is the hate of ocsigen.org's styling for practical or fashion reasons ? :)
<Algebr`> it looks icky and its hard to navigate.
<Algebr`> the experience is not pleasurable, other docs sites do better.
<Drup> hard to navigate ?
<Drup> Compared to other ocaml docs ? You'll have to explain that to me
<Drup> I understand the fashion concerns, and I agree, but .. it's just fashion
<Algebr`> Its hard to navigate compared to all other docs
<Algebr`> I started the lwt branch on readthedocs
<Algebr`> I think it ought to just be moved there
<Algebr`> readthedocs has solved this docs problem, it looks great and easy to navigate
<rgrinberg> Drup: i have to say it's just the styling. The one thing that always bugged me is how long the docs are and yet you cannot have a link to a single function
<rgrinberg> or maybe i haven't learned to
<Drup> rgrinberg: the link thing is a very annoying point of ocamldoc, I agree
<Drup> fortunatly, you can work around it, by adding #VALname_of_fun to the URL
<Drup> we should probably hack something around that, it has been a long standing issue
<aantron> rgrinberg: i usually inspect the DOM at the function, and paste the id out.. its pretty awkward
<rgrinberg> if only ocamldocs had a manpage target :P
<Drup> rgrinberg: it does
<aantron> ive been using lambda soup to "fix up" ocamldoc output.. i must say the markup is pretty awful, as in not very semantic
<Drup> but it completely borks the markup
<rgrinberg> Drup: lies
<Drup> rgrinberg: "man List"
<rgrinberg> :P
<Drup> try it.
<rgrinberg> that's glorious :O
<rgrinberg> $ man Obj
<rgrinberg> \o/
<aantron> whoa.
<engil> :o
<Drup> rgrinberg: no do "man Format"
<Drup> and you'll understand what I mean by "borks the markup"
<rgrinberg> yuck..
<aantron> is there a reason to publish the doc in multiple places? as long as the process is automatic
<aantron> not to*
<aantron> i mean, there is no reason why Algebr` couldn't have a mirror at readthedocs
<Drup> aantron: not really, I'm strongly against not publishing the lwt doc on ocsigen.org, though
<aantron> yeah, i cant consider removing it
<rgrinberg> Drup: oh absolutely. The last thing we need is an old crusty version of lwt documented as the #2 google link
<Drup> The issue is, How is the markup going to be on readthedocs ?
<aantron> what do you mean?
<Drup> well, readthedocs doesn't speak wikicreole, doesn't it ?
<rgrinberg> $ man Unix
<rgrinberg> the comments aren't stripped :P
<Algebr`> readthedocs uses markdown, .md or rst
<aantron> i dont know what readthedocs speaks, but we can easily extract text from HTML output
<rgrinberg> i meant not wrapped
<Algebr`> rst is python docs, basically markdown
<engil> a little nicer
<engil> a little more than a little, in fact
<Drup> aantron: reverse engineer rst from the html document on ocsigen.org ?
<aantron> Drup: im not volunteering to do it :p
<Drup> me neither
<Drup> that sounds terrifying
<aantron> not sure why terrifying though
<rgrinberg> says the author of lambda soup :P
<Drup> the only decent solution I see is using the wikicreole produced by wikidoc, which would allow to also cover the manual
<aantron> heh yes, i think it should be pretty easy.. i just dont want to do it because i have a ton of other lwt things to do
<aantron> and mainly, i was focused on the mlis
<aantron> i guess the manual is a bigger challenge indeed
yunxing_ has quit [Remote host closed the connection]
<aantron> hmm, the pdf manual links are "not found"
<aantron> is the whole manual one page?
<Drup> the lwt one, yeah
<Drup> the other ones, no
<aantron> well that makes it a lot easier in the case of lwt
yunxing_ has joined #ocaml
silver has quit [Quit: rakede]
<aantron> but yeah. for me at least the much higher priority is to improve the actual texts
<Algebr`> truth be told, Lwt doesn't have all that much docs anyway, it wouldn't be too much work to just do the RST right from the beginning
<aantron> Drup: is it possible to adjust the formatting of the entire ocsigen site? i dont mean anything radical, just changing line heights so that they dont offend the eye by being inconsistent?
<aantron> and such changes
<Drup> Algebr`: ocsigen.org speaks wikicreole, and until you rewrite that software and all the ocsigen manuals to speak another markup, we are not going to change to another one :p
<Drup> aantron: you would be very welcome to improve the design of ocsigen.org :D
sepp2k has quit [Quit: Leaving.]
<aantron> ok, good
<Drup> (a complete makeover would be also welcome, but it's a lot of work :/)
<aantron> yeah, i dont think i would be up for that
<aantron> especially since im trying to un-oversubscribe :p
<aantron> but i think improving the text of the doc, making the "master" link clearer, and fixing the CSS up a bit would make things easier for people
Simn has quit [Quit: Leaving]
<aantron> Algebr`: if you want to mirror the mlis, or even the manual, on readthedocs, or somewhere, that sounds good.. but i wont have time to do a good job with that soon on my own
al-damiri has quit [Quit: Connection closed for inactivity]
mcc has joined #ocaml
<aantron> if people find it easier to read (and i guess they will), we could switch over the links gradually, and eventually make it "official" – without removing the ocsigen docs
<Algebr`> right
bensu has quit [Remote host closed the connection]
<aantron> i dont know if you want to wait for any attempts to improve ocsigen first though. maybe that will go well too :)
<aantron> i guess for search purposes it may be better to have one place for the docs.. but i guess also, as long as mirrors are up to date, it doesnt matter that much
kushal has quit [Quit: Leaving]
<Algebr`> I have a crackpot idea
<Algebr`> does ocamldoc expose itself as an API?
<Algebr`> can I get like `docs list`
<aantron> not sure, but suppose it did
<aantron> btw, are there any plans to factor ocamldoc out the way ocamlbuild has been?
<aantron> might be good for ocamldoc :)
<Algebr`> then I get a handle on it as OCaml values, then output JS formmated docs as specificied by this https://github.com/documentationjs/documentation/blob/master/docs/GETTING_STARTED.md and evaluate it all with that JS code with my bindings to JavaScriptCore
<Algebr`> reuse that community's efforts, although it might not work since many assume nodejs
Orion3k has quit [Quit: Leaving]
<aantron> where does javascriptcore come in? when running `documentation`?
<Algebr`> to execute the JS that generates the documentation
<aantron> right, thats what i meant. i guess the command is also called "documentation" :p
<Algebr`> oh righ tha
kushal has joined #ocaml
wiredsister has quit [Ping timeout: 244 seconds]
IntTree has joined #ocaml
FreeBirdLjj has joined #ocaml
yunxing_ has quit [Remote host closed the connection]
yunxing_ has joined #ocaml
bensu has joined #ocaml
yunxing_ has quit [Remote host closed the connection]
bensu has quit [Ping timeout: 276 seconds]
IntTree has left #ocaml [#ocaml]
FreeBirdLjj has quit [Remote host closed the connection]
adelbertc has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Nahra has quit [Ping timeout: 244 seconds]
fredlhsu has joined #ocaml
johnelse has quit [Ping timeout: 244 seconds]
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
johnelse has joined #ocaml
yunxing_ has joined #ocaml
yunxing_ has quit [Client Quit]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
tmtwd has joined #ocaml
Denommus` has quit [Quit: sleeping]
sdothum has joined #ocaml
nicholasf has quit [Ping timeout: 240 seconds]
nicholasf has joined #ocaml
sdothum has quit [Client Quit]
scarygelatin has quit [Remote host closed the connection]
myst|fon has quit [Quit: Connection closed for inactivity]
sh0t has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
MercurialAlchemi has joined #ocaml
yunxing_ has joined #ocaml
yunxing__ has joined #ocaml
yunxing_ has quit [Ping timeout: 250 seconds]
Sorella has joined #ocaml
rgrinberg has quit [Ping timeout: 272 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Algebr` has quit [Ping timeout: 250 seconds]
fredlhsu has quit [Quit: fredlhsu]
p_nathan has joined #ocaml
nichola__ has joined #ocaml
pierpa has quit [Ping timeout: 250 seconds]
nicholasf has quit [Ping timeout: 264 seconds]
<p_nathan> Can I specify the type of a function as well as the definition of a function? I want to ensure the function returns the types I expect.
<flux> p_nathan, when defining a function or calling it? (both can be done)
<flux> p_nathan, ie. let foo a : int = assert false for a function definition defining only the return type
<p_nathan> defining it.
<flux> let foo (a : char) : int = .. for defining argument as well
<flux> though oftentimes I write this, because it's similar to signatures: let foo : char -> int = fun a -> ..
<p_nathan> so let <function-name> (<argument-name> : <argument-type) : <return-type>
<flux> yes
<flux> you can actually use (<variable/pattern-name> : <variable-type>) anywhere
<flux> it can be useful for narrowing type errors
<p_nathan> I'm wresting with using ezjonm and having a ton of "fun". :)
<p_nathan> so anything I can use to debug and figure out where the error lives is useful
<flux> p_nathan, do you have an environment that lets you see types of variables? ie. a platform that works with merlin.
<p_nathan> I would like to say _yes_, but but I have had an incredibly tedious time getting opam to work (and I'm pretty sure it's not all the way there yet).
<p_nathan> (I'm specifically using x64 Linux and emacs as editor)
<flux> well, that's a bummer. because merlin is teh shit ;).
<flux> sounds like your environment is pretty standard, I wonder why opam doesn't work..
<p_nathan> pebkac
<p_nathan> i can compile using a too-stanky command, but I can't import my code into utop
<p_nathan> so _something_ is funkulated
nichola__ has quit [Remote host closed the connection]
<p_nathan> I've focused on mashing code and reading docs and waiting until my grasp of the OCaml world improves before I try to actually go deeper in tools.
darkf has quit [Ping timeout: 250 seconds]
tmtwd has quit [Ping timeout: 240 seconds]
nicholasf has joined #ocaml
d0nn1e has quit [Ping timeout: 272 seconds]
d0nn1e has joined #ocaml
darkf has joined #ocaml
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
A1977494 has joined #ocaml
seangrove has quit [Ping timeout: 276 seconds]
<p_nathan> Hm.
<p_nathan> let get_tuple (role : string, capability : string , obj : string) : triple = # syntax error
adelbertc has joined #ocaml
<flux> ((role : string), ..) etc or (role, capability, obj : string * string * string)
<p_nathan> which is more idiomatic?
<flux> probably the latter
<flux> though even better if you can give a name to the tuple (type credentials = string * string * string)
<flux> and even better if you put them to a record: type credentials = { role : string; .. }
<p_nathan> Yeah, I'm still shaking that syntax out,
<p_nathan> Question. [> `Json of [> Ezjsonm.t ] ] comes out in a type error message. How should I interpret that? `Json is a type constructor. `of` denotes a parameterized type. I can't make out what the > and the [] should denote.
<flux> [> `Foo] indicates a polymorphic variant type that has at least the constructor `Foo
<flux> I consider polymorphic variants an advanced feature, but I guess if you want to do json with Ezjsonm then that's the way to go :)
<flux> ocaml polymorphic variants finds you some good reading, such as https://realworldocaml.org/v1/en/html/variants.html
Nahra has joined #ocaml
seangrove has joined #ocaml
<p_nathan> thanks
<p_nathan> if there's a simpler json library, I'm happy to look into that too. :-)
<flux> I haven't used ezjsonm (nor jsonm) but yojson, I can't really say if it's easier or not.. you can probably persist even with your currently chosen tool :)
seangrove has quit [Ping timeout: 272 seconds]
<flux> yojson itself is quite large as well, but it does come with a Yojson.Basic module
<flux> tiny_json seems simple :)
<flux> more likely those other modules are documented better than that, but on the other hand they probably need it more :)
<flux> tiny_json has chosen to use strings for representing json numbers, though, so that can be annoying
AlexRussia has quit [Ping timeout: 260 seconds]
jonasen has joined #ocaml
mcc has quit [Quit: Connection closed for inactivity]
kushal has quit [Ping timeout: 252 seconds]
yunxing__ has quit [Ping timeout: 250 seconds]
Simn has joined #ocaml
groovy2shoes has joined #ocaml
edwin has joined #ocaml
nojb has quit [Read error: Connection reset by peer]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jasiek has quit [Quit: WeeChat 1.4]
AltGr has joined #ocaml
ygrek has joined #ocaml
<Leonidas> you know it's a good day when it starts with an update to Merlin 2.5 :)
<flux> 5fdd2d :)
<Leonidas> flux: Yojson.Basic for some reason does not include the traversing utilities, which makes it… painful at best.
<Leonidas> oh, no, the other way round
<Leonidas> http://mjambon.com/yojson-doc/Yojson.Basic.Util.html but no such thing for Safe
dave24 has joined #ocaml
<Leonidas> anyone knows why that is?
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<flux> if taste is a concern I really don't like how Yojson uses C preprocessor in its code base instead of OCaml approaches.. :)
Algebr` has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
infinity0 has quit [Ping timeout: 244 seconds]
dexterph has joined #ocaml
infinity0 has joined #ocaml
<flux> cool stringly typed feature except not quite.. :) https://github.com/Microsoft/TypeScript/pull/9163
<flux> wish polymorphic variants learned that trick.
<def`> if it is removal of labels, that is likely to come
<flux> ..removal of labels?
<def`> [`A | 'a
<def`> oups
<def`> something like: [`A | 'a] -> 'a
<flux> I was rather thinking the case of match x with `a -> () | other -> g other
<flux> but that's pretty awesome as well, if not more so :)
<def`> that's the "same"
<flux> so it'd be used automatically there?
<def`> being able to express removal of label from a branch
infinity0 has quit [Remote host closed the connection]
<def`> basically to type "other" you need to be able to exprss all labels except `a
<flux> seems like 'match' would be the perfect construct for expressing that. is that the plan?
<flux> I guess I wouldn't mind if 'if' was able to do it as well, though
<def`> yes :)
<flux> though 'if' would maybe be more like a demo feature than a really used one :)
<def`> 99.9% sure that this won't come to if however.
<def`> if is really no the place for that kind of stuff
<flux> yeah, it would be sort of a special case, whereas match is the exact right tool
infinity0 has joined #ocaml
<def`> that doesn't really work well with expressions oriented languages
<def`> you end up with a weird typing rule for sequence ";"
<flux> I wonder what kind of other cool stuff can one end up writing when that's possible so easily
<flux> after all, one could have just written match x with `a -> () | (`b | `c | `d) as other -> g other before
<def`> yes it is already possible
<asmanur> d
<asmanur> def`: do you say that because of the new paper on union types ? :P
<asmanur> (that = it will come soon)
freehck has joined #ocaml
<flux> will it be possible to express a function val foo : ([`a] as 'a) -> ('a without `a) ?
<flux> oops, of course [> `a] as 'a
<def`> asmanur: the one with a set theoretic model
<def`> ?
<asmanur> yes
<flux> I don't think the union polymorphic types are going to come to ocaml
<def`> that's not what I had in mind, that would be cool though
<flux> I understand there were some compiler termination issues in their approach.. (ie. I read it somewhere ;))
infinity0 has quit [Remote host closed the connection]
myst|fon has joined #ocaml
infinity0 has joined #ocaml
manizzle has quit [Ping timeout: 260 seconds]
jwatzman|work has joined #ocaml
manizzle has joined #ocaml
freehck has quit [Remote host closed the connection]
octachron has joined #ocaml
freehck has joined #ocaml
jonasen has quit [Ping timeout: 244 seconds]
Algebr` has quit [Ping timeout: 250 seconds]
yomimono has joined #ocaml
mfp has quit [Ping timeout: 276 seconds]
mfp has joined #ocaml
malc_ has joined #ocaml
MercurialAlchemi has joined #ocaml
jonasen has joined #ocaml
M-pesterhazy has quit [Remote host closed the connection]
M-Illandan has quit [Remote host closed the connection]
M-martinklepsch has quit [Write error: Connection reset by peer]
kushal has joined #ocaml
larhat has joined #ocaml
tane has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Client Quit]
thomasga has joined #ocaml
<Leonidas> wow, typescript manages to tie ML features into a syntax which makes it verbose and ugly :D
<Leonidas> calling records interfaces?
<Leonidas> hmm, interfaces are possibly more like ocaml objects
darkf has quit [Quit: Leaving]
bensu has joined #ocaml
Kakadu has joined #ocaml
sdothum has joined #ocaml
bensu has quit [Ping timeout: 258 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
AlexRussia has joined #ocaml
infinity0 has quit [Ping timeout: 240 seconds]
M-martinklepsch has joined #ocaml
adelbertc has quit [Quit: Connection closed for inactivity]
<Drup> flux: it's not termination, it's the fact that the inference has mulitple (incompatible) results
<Drup> (if you are talking about the recent icfp paper)
silver has joined #ocaml
silver_ has joined #ocaml
silver has quit [Ping timeout: 244 seconds]
ygrek has quit [Ping timeout: 252 seconds]
newcomer has joined #ocaml
silver_ is now known as silver
<newcomer> so I'm trying to understand the behavior of labeled arguments. I find it confusing and doesn't play well with currying.
<newcomer> ^^__ please see this.
<Drup> To be able to apply a labelled function without the labels, you need to provide all the arguments without labels, all at once
<Drup> that's all
<newcomer> Drup, yes, but that's inconsistent with currying.
A1977494 has quit [Remote host closed the connection]
<newcomer> so (f ~m:5) gives me a partially applying function which takes the labelled argument ~l along with the positional arguments x and y. Now if I apply that new function to arguments without labels, why should it complain?
<Drup> newcomer: well, (f ~m:5) is a function with 3 arguments (and one is labelled), so you can apply it without labels if you apply the 3 arguments at once ...
<Drup> (like you showed in line 6/7
<Drup> f x y z is not exactly equivalent to ((f x) y) z in presence of labels, that's all
FreeBirdLjj has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
FreeBirdLjj has joined #ocaml
kushal has quit [Read error: Connection reset by peer]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
ygrek has joined #ocaml
dhil has joined #ocaml
BitPuffin has joined #ocaml
jeffmo has joined #ocaml
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Remote host closed the connection]
jonasen has joined #ocaml
nojb has joined #ocaml
rgrinberg has joined #ocaml
troydm has quit [Ping timeout: 244 seconds]
octachron has quit [Quit: Page closed]
FreeBirdLjj has joined #ocaml
troydm has joined #ocaml
newcomer has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
StrykerKKD has joined #ocaml
thomasga has joined #ocaml
A1977494 has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
freehck has quit [Remote host closed the connection]
sh0t has quit [Ping timeout: 264 seconds]
ygrek has quit [Ping timeout: 244 seconds]
StrykerKKD has quit [Quit: Leaving]
rgrinberg has quit [Quit: WeeChat 1.5]
rgrinberg has joined #ocaml
nivek has joined #ocaml
fluter has quit [Ping timeout: 264 seconds]
fluter has joined #ocaml
ygrek has joined #ocaml
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tvynr has quit [Ping timeout: 272 seconds]
thomasga1 has joined #ocaml
thomasga has quit [Ping timeout: 264 seconds]
lepoetemaudit_ has joined #ocaml
wiredsister has joined #ocaml
freehck has joined #ocaml
lepoetemaudit_ has quit [Ping timeout: 250 seconds]
sh0t has joined #ocaml
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
nivek has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
ncthom91 has joined #ocaml
fredlhsu has joined #ocaml
tvynr has joined #ocaml
two_wheels has joined #ocaml
ygrek has quit [Remote host closed the connection]
jonasen has joined #ocaml
dwillems has joined #ocaml
fredlhsu has quit [Quit: fredlhsu]
larhat has quit [Ping timeout: 244 seconds]
tane has quit [Quit: Verlassend]
larhat has joined #ocaml
dsheets has joined #ocaml
noddy has joined #ocaml
th5 has joined #ocaml
thaega has joined #ocaml
fedjo has quit [Remote host closed the connection]
kolko has quit [Quit: ZNC - http://znc.in]
kolko has joined #ocaml
nicholasf has quit [Remote host closed the connection]
seangrove has joined #ocaml
tane has joined #ocaml
al-damiri has joined #ocaml
larhat has quit [Quit: Leaving.]
slash^ has joined #ocaml
fredlhsu has joined #ocaml
dexterph has quit [Ping timeout: 258 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
dave24 is now known as |dave24
wiredsister has quit [Quit: ERC (IRC client for Emacs 24.5.1)]
th5 has quit [Ping timeout: 246 seconds]
yomimono has quit [Quit: Leaving]
jeffmo has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
noddy has quit [Ping timeout: 244 seconds]
thibm has joined #ocaml
thibm has left #ocaml [#ocaml]
pierpa has joined #ocaml
kolko has quit [Read error: Connection reset by peer]
nicholasf has joined #ocaml
nivek has joined #ocaml
adelbertc has joined #ocaml
dakk has quit [Read error: Connection reset by peer]
benwbooth has quit [Ping timeout: 244 seconds]
benwbooth has joined #ocaml
benwbooth has quit [Max SendQ exceeded]
yunxing_ has joined #ocaml
benwbooth has joined #ocaml
hcarty has joined #ocaml
al-damiri has quit [Ping timeout: 272 seconds]
al-damiri has joined #ocaml
jeffmo has quit [Ping timeout: 264 seconds]
noddy has joined #ocaml
noddy has quit [Client Quit]
hcarty1 has joined #ocaml
hcarty has quit [Ping timeout: 244 seconds]
bensu has joined #ocaml
|dave24 has quit [Quit: leaving]
groovy2shoes has quit [Remote host closed the connection]
yunxing_ has quit [Remote host closed the connection]
yunxing_ has joined #ocaml
dsheets has quit [Remote host closed the connection]
nivek has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dsheets has joined #ocaml
stux|RC-only has quit [Ping timeout: 250 seconds]
stux|RC-only has joined #ocaml
thomasga1 has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 252 seconds]
nivek has joined #ocaml
yunxing_ has quit [Remote host closed the connection]
yunxing_ has joined #ocaml
sh0t has quit [Quit: Leaving]
octachron has joined #ocaml
yunxing_ has quit [Read error: Connection reset by peer]
yunxing_ has joined #ocaml
BitPuffin has quit [Read error: Connection reset by peer]
benwbooth has quit [Ping timeout: 260 seconds]
benwbooth has joined #ocaml
Kakadu has quit [Quit: Page closed]
<flux> heh, this is a fun way to use operator symbols: let op3 (+) a b c = a + b + c (hardcaml examples use (^:))
<flux> never used one as an argument..
<reynir> nice
<Drup> ah, yes, I used that once, it's quite nice
oisota has joined #ocaml
<mrvn> nice
<octachron> I like also "let map2 (%) v w" = { x= v.x % w.x; y = v.y % w.y }"
slash^ has quit [Read error: Connection reset by peer]
* pierpa takes not to never hire flux or octachron
oisota has left #ocaml [#ocaml]
<pierpa> *note
<flux> from now on I shall make use of that trick at least once a program
<flux> to protect myself from such fierce head-hunters such as pierpa!
<Drup> octachron: that's not really better than just using a normal function name :p
<pierpa> :)
slash^ has joined #ocaml
<flux> let swindle3 ((%), (+)) (a, b) (c, d) (e, f) = a + b % c + d % e + f
nivek has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dwillems has quit [Quit: Ex-Chat]
<octachron> Drup, true; associativity only starts to be useful for n > 2.
slash^ has quit [Client Quit]
fredlhsu has quit [Ping timeout: 240 seconds]
<mrvn> let (+) (*) x = x * x
Kakadu has joined #ocaml
<flux> mrvn, you didn't go all the way.. let (+) (*) (/) = (/) * (/)
<mrvn> flux: /*/
sh0t has joined #ocaml
<mrvn> flux: let's do it right: let (+) (/) (-) = (+) (/) (-);;
<mrvn> val ( + ) : 'a -> ('a -> 'a -> 'b) -> 'b = <fun>
fredlhsu has joined #ocaml
<octachron> or with unary operators: let (+) (~-) (-) (~+) = + (-) - + - (-)
adelbertc has quit [Quit: Updating details, brb]
<Kakadu> There was a problem last week when ocamlbuild could not find some plugin in absence in ocamlfind. And octachron's incredible telpathy skills decided that it is happening in side myocamlbuild.ml. Do you know some inside about it? Maybe it wroths bug report or patch to something?
adelbertc has joined #ocaml
fredlhsu has quit [Ping timeout: 250 seconds]
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 250 seconds]
shinnya has quit [Ping timeout: 252 seconds]
<octachron> my telepathy skill? I don't remember having this skill :p. Do you mean my random guessing?
TheLemonMan has joined #ocaml
dsheets has joined #ocaml
fredlhsu has joined #ocaml
<Kakadu> Yeah, maybe
bensu has quit [Remote host closed the connection]
<Kakadu> It seems that you faced this issue some time ago
Kakadu has left #ocaml [#ocaml]
Kakadu has joined #ocaml
<Kakadu> Do you think we need to do something about this? for example check for ocamlfind existance if ocamlbuild is invoked with -use-ocamlfind?
<octachron> well, a (minimal) repoducible test case for the issue would be a first step
dsheets has quit [Remote host closed the connection]
<Kakadu> shit, It doesn't reproduces in this machine
<Kakadu> reproduce*
<Kakadu> will try tomorrow on original one
darkf has joined #ocaml
<octachron> kakadu, another random guess, was the problem on the same original machine where you had ocamlbuild version mismatches earlier this week?
<Kakadu> no, different one
<Kakadu> I'm sure
bensu_ has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
d0nn1e has quit [Ping timeout: 260 seconds]
fredlhsu has quit [Quit: fredlhsu]
d0nn1e has joined #ocaml
<seliopou> hcarty1 yoyoyo
<seliopou> your bug report is perplexing. that shouldn't happen O_o
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dsheets has joined #ocaml
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dsheets has quit [Ping timeout: 246 seconds]
fredlhsu has joined #ocaml
rgrinberg has joined #ocaml
benwbooth has quit [Ping timeout: 276 seconds]
<mrvn> assert(false); Printf.printf "This should never happen!\n%!";
<gasche> flux: this is little stuff compared to Yoric's evil infix application devince
<gasche> *device
Simn has quit [Read error: Connection reset by peer]
tvynr has quit [Ping timeout: 240 seconds]
<gasche> [1; 2] <+ List.map2 (+) +> [3; 4]
<mrvn> # let (+, -) = (lxor, lxor);;
<mrvn> Error: Syntax error: operator expected.
<mrvn> why doesn't that work? :(
<gasche> let (+),(-) = ...
<mrvn> that was retorical
<gasche> well I see no particular reason to add this syntax as we can already express the same thing in a more consistent way
benwbooth has joined #ocaml
silver_ has joined #ocaml
nivek has joined #ocaml
silver has quit [Ping timeout: 250 seconds]
benwbooth has quit [Ping timeout: 252 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
troydm has quit [Ping timeout: 244 seconds]
fredlhsu has quit [Quit: fredlhsu]
tane has quit [Quit: Leaving]
<hcarty1> seliopou: Thanks for the quick fix! And sorry for the silence here...
hcarty1 is now known as hcarty
<hcarty> seliopou: Are you interested in LE/BE number parsing in Angstrom? (8,16,32,64)bit integers
tvynr has joined #ocaml
A1977494 has quit [Quit: Leaving.]
fredlhsu has joined #ocaml
silver__ has joined #ocaml
benwbooth has joined #ocaml
AltGr has left #ocaml [#ocaml]
manud has joined #ocaml
silver_ has quit [Ping timeout: 264 seconds]
fredlhsu has quit [Quit: fredlhsu]
fredlhsu has joined #ocaml
rgrinberg has quit [Quit: WeeChat 1.5]
rgrinberg has joined #ocaml
malc_ has quit [Remote host closed the connection]
nivek has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
gustav is now known as gustav___
gustav___ is now known as GustavSvenIsrael
bensu_ has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 244 seconds]
<octachron> gasche, I am thinking of adding some readme file to the testsuite folder for "-open" within ocamldoc to precise the aim of the test. Any opinion on the subject?
infinity0 has joined #ocaml
fredlhsu has quit [Quit: fredlhsu]
StrykerKKD has joined #ocaml
hindy has joined #ocaml
StrykerKKD has quit [Client Quit]
yunxing_ has quit [Remote host closed the connection]
yunxing_ has joined #ocaml
octachron has quit [Quit: Leaving]
bensu_ has joined #ocaml
nojb has quit [Ping timeout: 244 seconds]
bensu_ has quit [Remote host closed the connection]
bensu_ has joined #ocaml
bensu_ has quit [Remote host closed the connection]
bensu_ has joined #ocaml
bensu_ has quit [Remote host closed the connection]
fredlhsu has joined #ocaml
bensu has joined #ocaml
nicholasf has quit [Ping timeout: 276 seconds]
bensu has quit [Remote host closed the connection]
hindy has quit [Quit: Leaving]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nicholasf has joined #ocaml
hannes` has joined #ocaml
Algebr` has joined #ocaml
dinosaure2 has joined #ocaml
RomanZ5 has joined #ocaml
struk|desk2 has joined #ocaml
ansiwen_ has joined #ocaml
bensu has joined #ocaml
eagleflo_ has joined #ocaml
sheijk has joined #ocaml
DanielRi1hman has joined #ocaml
rixed_ has joined #ocaml
pippijn_ has joined #ocaml
groovy2shoes has joined #ocaml
Maxdaman1us has joined #ocaml
ohama has quit [Disconnected by services]
hnrgrgr_ has joined #ocaml
jlouis__ has joined #ocaml
haelix has joined #ocaml
sgronblo_ has joined #ocaml
hcarty has quit [Ping timeout: 246 seconds]
kandu_ has joined #ocaml
seliopou_ has joined #ocaml
tvaalen_ has joined #ocaml
SimonJF_ has joined #ocaml
gargawel_ has joined #ocaml
tg` has joined #ocaml
Hakey_ has joined #ocaml
Mandus_ has joined #ocaml
bernardo1pc has joined #ocaml
cr4ven_ has joined #ocaml
rks`_ has joined #ocaml
ohama has joined #ocaml
pitastrudl_ has joined #ocaml
sh0t has quit [Ping timeout: 240 seconds]
al-maisan_ has joined #ocaml
metaglog_ has joined #ocaml
xerael has joined #ocaml
tumdum_ has joined #ocaml
henrytill_ has joined #ocaml
Ravana- has joined #ocaml
ahf_ has joined #ocaml
asmanur_ has joined #ocaml
Druup has joined #ocaml
tokenrov1 has joined #ocaml
rwmjones_ has joined #ocaml
Ankhers_ has joined #ocaml
julienXX_ has joined #ocaml
sh0t has joined #ocaml
freehck has quit [*.net *.split]
Ravana has quit [*.net *.split]
Hakey has quit [*.net *.split]
al-maisan has quit [*.net *.split]
hannes has quit [*.net *.split]
cr4ven has quit [*.net *.split]
seliopou has quit [*.net *.split]
rwmjones has quit [*.net *.split]
henrytill has quit [*.net *.split]
Maxdamantus has quit [*.net *.split]
kandu has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
pitastrudl has quit [*.net *.split]
rseymour has quit [*.net *.split]
tumdum has quit [*.net *.split]
MasseR has quit [*.net *.split]
osheeta has quit [*.net *.split]
pippijn has quit [*.net *.split]
Ankhers has quit [*.net *.split]
julienXX has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
srax has quit [*.net *.split]
DanielRichman has quit [*.net *.split]
Mandus has quit [*.net *.split]
dmiller has quit [*.net *.split]
doomy has quit [*.net *.split]
ahf has quit [*.net *.split]
jlouis has quit [*.net *.split]
haelix_ has quit [*.net *.split]
tokenrove has quit [*.net *.split]
eikke has quit [*.net *.split]
struk|desk has quit [*.net *.split]
ansiwen has quit [*.net *.split]
Algebr has quit [*.net *.split]
Rome has quit [*.net *.split]
git-commit has quit [*.net *.split]
fold4 has quit [*.net *.split]
rbocquet has quit [*.net *.split]
jun__ has quit [*.net *.split]
asmanur has quit [*.net *.split]
emias has quit [*.net *.split]
rks` has quit [*.net *.split]
engil has quit [*.net *.split]
rixed has quit [*.net *.split]
metaglog has quit [*.net *.split]
tvaalen has quit [*.net *.split]
sheijk_ has quit [*.net *.split]
Drup has quit [*.net *.split]
SimonJF has quit [*.net *.split]
sgronblo has quit [*.net *.split]
dinosaure has quit [*.net *.split]
gargawel has quit [*.net *.split]
tg has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
low-profile has quit [*.net *.split]
eagleflo has quit [*.net *.split]
so has quit [*.net *.split]
tg` is now known as tg
ahf_ is now known as ahf
metaglog_ is now known as metaglog
metaglog has quit [Changing host]
metaglog has joined #ocaml
julienXX_ is now known as julienXX
sh0t has quit [Client Quit]
dinosaure2 is now known as dinosaure
srcerer has quit [Ping timeout: 276 seconds]
rbocquet has joined #ocaml
doomy has joined #ocaml
jpdeplaix has joined #ocaml
osheeta has joined #ocaml
srax has joined #ocaml
MasseR has joined #ocaml
jun__ has joined #ocaml
engil has joined #ocaml
dmiller has joined #ocaml
emias has joined #ocaml
rseymour has joined #ocaml
low-profile has joined #ocaml
rgrinberg has quit [Ping timeout: 272 seconds]
fold4 has joined #ocaml
benwbooth has quit [Ping timeout: 244 seconds]
silver__ has quit [Read error: Connection reset by peer]
bensu has quit [Remote host closed the connection]
benwbooth has joined #ocaml
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
bensu_ has joined #ocaml
bensu_ has quit [Remote host closed the connection]
bensu_ has joined #ocaml
bensu_ has quit [Ping timeout: 252 seconds]
bensu has joined #ocaml
dsheets has joined #ocaml
fredlhsu has quit [Quit: fredlhsu]
fredlhsu has joined #ocaml
two_wheels has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
Kakadu has quit [Remote host closed the connection]