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
Algebr` has quit [Ping timeout: 249 seconds]
unbalancedparen has quit [Quit: WeeChat 1.5]
sh0t has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 258 seconds]
jeffmo has joined #ocaml
darkf has joined #ocaml
tennix has joined #ocaml
jeffmo_ has joined #ocaml
jeffmo has quit [Ping timeout: 240 seconds]
jeffmo_ is now known as jeffmo
yunxing_ has joined #ocaml
yunxing_ has quit [Remote host closed the connection]
nicholasf has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
Reshi has quit [Quit: WeeChat 1.5]
nicholasf has joined #ocaml
jeffmo has quit [Quit: jeffmo]
tennix has quit [Ping timeout: 246 seconds]
Simn has quit [Quit: Leaving]
nicholasf has quit [Ping timeout: 276 seconds]
johnf has quit [Read error: Connection reset by peer]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
johnf has joined #ocaml
johnf_ has joined #ocaml
shinnya has quit [Ping timeout: 276 seconds]
johnf has quit [Ping timeout: 240 seconds]
vishesh has quit [Ping timeout: 260 seconds]
nicholasf has joined #ocaml
teiresias has quit [Read error: Connection reset by peer]
teiresias has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
pyon has quit [Quit: ... flowering silent scarlet piece of night.]
johnelse has quit [Ping timeout: 272 seconds]
johnelse has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
A1977494 has joined #ocaml
tautologico has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
yunxing_ has joined #ocaml
yunxing_ has quit [Client Quit]
shinnya has joined #ocaml
shim has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Ping timeout: 276 seconds]
f[x] has quit [Ping timeout: 240 seconds]
M-martinklepsch1 has joined #ocaml
rwmjones_ has joined #ocaml
spion_ has joined #ocaml
tautologico has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
sfri has quit [*.net *.split]
MorTal1ty has quit [*.net *.split]
manizzle has quit [*.net *.split]
spion has quit [*.net *.split]
M-martinklepsch has quit [*.net *.split]
cdidd has quit [*.net *.split]
clog has quit [*.net *.split]
abeaumont has quit [*.net *.split]
breitenj has quit [*.net *.split]
rwmjones has quit [*.net *.split]
mankyKitty has quit [*.net *.split]
jeroud has quit [*.net *.split]
sspi has quit [*.net *.split]
stephe_ has quit [*.net *.split]
mrallen1 has quit [*.net *.split]
breitenj has joined #ocaml
M-martinklepsch1 has quit [Ping timeout: 260 seconds]
regnat[m] has quit [Ping timeout: 276 seconds]
regnat[m] has joined #ocaml
nicholasf has quit [Remote host closed the connection]
M-martinklepsch has joined #ocaml
manizzle has joined #ocaml
cdidd has joined #ocaml
MercurialAlchemi has joined #ocaml
_2can has quit [Ping timeout: 240 seconds]
_2can has joined #ocaml
tennix has joined #ocaml
tennix has quit [Ping timeout: 258 seconds]
clog has joined #ocaml
jonasen has joined #ocaml
nicholasf has joined #ocaml
slash^ has joined #ocaml
nicholasf has quit [Ping timeout: 260 seconds]
jonasen_ has joined #ocaml
jonasen has quit [Ping timeout: 272 seconds]
shinnya has quit [Ping timeout: 244 seconds]
jonasen_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
abeaumont has joined #ocaml
seangrove has joined #ocaml
jonasen has joined #ocaml
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Sorella has quit [Quit: Connection closed for inactivity]
copy` has quit [Quit: Connection closed for inactivity]
M-pesterhazy has quit [Remote host closed the connection]
regnat[m] has quit [Remote host closed the connection]
M-jimt has quit [Read error: Connection reset by peer]
M-martinklepsch has quit [Remote host closed the connection]
M-Illandan1 has quit [Remote host closed the connection]
parataxis has quit [Ping timeout: 250 seconds]
parataxis has joined #ocaml
A1977494 has quit [Remote host closed the connection]
shinnya has joined #ocaml
rand__ has joined #ocaml
tennix has joined #ocaml
TheLemonMan has joined #ocaml
AlexDenisov has joined #ocaml
jonasen has joined #ocaml
regnat[m] has joined #ocaml
jonasen has quit [Max SendQ exceeded]
octachron has joined #ocaml
tennix has quit [Ping timeout: 258 seconds]
M-martinklepsch has joined #ocaml
M-jimt has joined #ocaml
M-pesterhazy has joined #ocaml
M-Illandan has joined #ocaml
nicholasf has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
agarwal1975 has quit [Quit: agarwal1975]
seangrove has quit [Ping timeout: 276 seconds]
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
nicholas_ has joined #ocaml
nicholasf has quit [Ping timeout: 260 seconds]
tg has quit [Ping timeout: 240 seconds]
tg has joined #ocaml
rand__ has quit [Ping timeout: 272 seconds]
sdothum has joined #ocaml
seangrove has joined #ocaml
vxn has joined #ocaml
silver has joined #ocaml
tane has joined #ocaml
nojb_ has joined #ocaml
agarwal1975 has joined #ocaml
AlexDenisov has joined #ocaml
octachron has quit [Ping timeout: 250 seconds]
A1977494 has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dakk has quit [Ping timeout: 276 seconds]
dakk has joined #ocaml
octachron has joined #ocaml
chris2 has quit [Ping timeout: 250 seconds]
nicholasf has joined #ocaml
dhil has joined #ocaml
nicholas_ has quit [Ping timeout: 250 seconds]
chris2 has joined #ocaml
fluter has quit [Ping timeout: 264 seconds]
A1977494 has quit [Quit: Leaving.]
nicholasf has quit [Remote host closed the connection]
sepp2k has joined #ocaml
nicholasf has joined #ocaml
fluter has joined #ocaml
tane has quit [Quit: Leaving]
MorTal1ty has joined #ocaml
octachron has quit [Ping timeout: 264 seconds]
seangrove has quit [Ping timeout: 264 seconds]
seangrove has joined #ocaml
sfri has joined #ocaml
pyon has joined #ocaml
seangrove has quit [Ping timeout: 260 seconds]
octachron has joined #ocaml
vxn has left #ocaml [#ocaml]
tane has joined #ocaml
malc_ has joined #ocaml
rgrinberg has joined #ocaml
darkf has quit [Quit: Leaving]
dakk has quit [Ping timeout: 244 seconds]
sfri has quit [Remote host closed the connection]
sh0t has joined #ocaml
abeaumont has quit [Ping timeout: 276 seconds]
sfri has joined #ocaml
sz0 has joined #ocaml
<mrvn> When I want to send a pull request to ocaml what branch should I base it on?
<Drup> trunk
pierpa has joined #ocaml
tennix has joined #ocaml
<mrvn> *compile, compile, wait*
<Drup> -j5 is reasonably fast
fraggle_ has joined #ocaml
copy` has joined #ocaml
<mrvn> *test, test* why did I not disable tests?
<sh0t> Hi guys: why doesn't my merlin work properly? I want to use auto-complete mode in minibuffers but i only get completion-at-point
<sh0t> this is my .emacs:
<sh0t> def`, can you please help me with that ;=)
<sh0t> ?
<gasche> mrvn: for tests, "cd testsuite; make parallel" makes running the testsuite faster
<gasche> (it uses GNU parallel which you should install)
<gasche> like, sensibly faster
tane has quit [Quit: Leaving]
AlexDenisov has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
nicholasf has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 258 seconds]
FreeBirdLjj has joined #ocaml
tennix has quit [Ping timeout: 258 seconds]
nojb_ has quit [Ping timeout: 272 seconds]
shim has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
martintrojer has quit [Ping timeout: 246 seconds]
martintrojer has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
pecan has quit [Ping timeout: 250 seconds]
sspi has joined #ocaml
<aantron> humm, what are the restrictions on obj.magic? available on js_of_ocaml?
pecan has joined #ocaml
<flux> sure, why not?
<flux> I'm just guessing though :)
<flux> of course, you shouldn't use Obj.magic unless you really, really know what you're doing.
<mrvn> and then you know better
<gasche> it's not part of the language, don't use it
<gasche> (Now that I think of it don't remember introducing it, ever, in the last few years.)
walter|r has joined #ocaml
<mrvn> I hate packages that can't be build twice in a row.
<Drup> aantron: yes it works in jsoo
octopus1 is now known as polaron
sz0 has joined #ocaml
<malc_> gasche: "ever" followed by "in the last few years"... lovely
<flux> I've used it for converting Unix.fds to integers for debugging purposes
<flux> and I would do it again!
<malc_> flux: that'd work great under windows
<flux> actually I recall also converting Bigarray instances, that's bit more dangerous.. :)
<flux> malc_, well, hopefully I only need to debg on Linux..
<flux> and then there was this missing conversion in Ocsigen I overcame with Obj.magic..
<malc_> flux: okay
<flux> it seems I'm a pretty regular user of Obj.magic.
<_y> This Man Has Used Obj.Magic… And Recommends It
<flux> other uses for fd<->int conversions would probably also be pretty platform-specific things (ie. passing them in environment)
<malc_> but really... using FFI ~= using Obj.magic anyhow
<aantron> lol
<mrvn> flux: you can only convert bigarrays when the type is known and has a % optimization.
<flux> gold: let ops = Hashtbl.create 2 in Hashtbl.add ops _ints (fun x y -> ((Obj.magic x) + (Obj.magic y)) |> Obj.magic);
<flux> Hashtbl.add ops _floats
<flux> (fun x y -> ((Obj.magic x) +. (Obj.magic y)) |> Obj.magic);
<flux> I guess GADTs might fix those uses
<mrvn> or simply just `IntOps and `FloatOps
<flux> or open types if it needs to be extensible
<mrvn> make _ints an open type added in a functor that takes a module with add, sub, mul, dir, zero, one
<mrvn> can one combine open types with GADTs?
<mrvn> as in open GADTs?
<malc_> https://github.com/search?utf8=%E2%9C%93&q=unsafePerformIO+in%3Afile+language%3Ahaskell&type=Code&ref=searchresults we need to up our magic game, trailing haskell in an unsafe department, pathetic
Algebr` has joined #ocaml
<flux> mrvn, hmm, I'm guessing yes?
rgrinberg has quit [Ping timeout: 272 seconds]
<aantron> Algebr: Algebr`: around?
<Algebr`> ya
<aantron> when you have time, want to figure out, together, what is/was going on with https://github.com/ocsigen/lwt/issues/212 and https://github.com/ocsigen/lwt/issues/203 ?
yunxing_ has joined #ocaml
<aantron> 203 seems like a problem somewhere other than lwt, at first glance
<aantron> 212 seems a bit difficult to reproduce :)
<Algebr`> eh, I don't think I have enough of the original context to reproduce. I vote to close both
<aantron> alright. if something like this comes up again and i recognize it, i can ping you if you want
<Algebr`> yes please do
rand__ has joined #ocaml
<aantron> thanks. regarding 212 by the way, there is this potentially-related issue: https://github.com/ocsigen/lwt/issues/82
<aantron> this is concerning not starting threads before calling daemonize
chris2 has quit [Quit: trotz alledem!]
<Algebr`> yes I learned about that and had to do it
<Algebr`> would be nice if dameonize raised an exception somehow if it was called after main
chris2 has joined #ocaml
<aantron> a comment on #82 will help me to remember, when i deal with that :)
chris2 has quit [Quit: trotz alledem!]
chris2 has joined #ocaml
<aantron> thanks!
yunxing_ has quit [Remote host closed the connection]
teiresias has quit [Read error: Connection reset by peer]
teiresias has joined #ocaml
yunxing_ has joined #ocaml
xaimus has quit [Ping timeout: 246 seconds]
xaimus has joined #ocaml
yunxing_ has quit [Ping timeout: 250 seconds]
StrykerKKD has joined #ocaml
abeaumont has joined #ocaml
Sorella has joined #ocaml
walter|r has quit [Remote host closed the connection]
walter|r has joined #ocaml
larhat has joined #ocaml
rand__ has quit [Ping timeout: 246 seconds]
larhat has quit [Quit: Leaving.]
dhil has quit [Ping timeout: 276 seconds]
slash^ has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
rand__ has joined #ocaml
<sspi> I'm looking through the changes of 4.3.0 and was wondering what GPR# means?
johnf_ has quit [Remote host closed the connection]
<sspi> ah github pr I guess?
<Kakadu> yep
dhil has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
agarwal1975 has quit [Quit: agarwal1975]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
malc_ has quit [Remote host closed the connection]
<Kakadu> It's time for weird questions
<Kakadu> Can merlin restore from parsting errors and say something `You forgot 'in'. Add it on line 100 position 2?`
<Kakadu> something like*
<Kakadu> parsing*
<Algebr`> isn't that a syntax error
<Kakadu> yes, usually
<gasche> Merlin has unusually good support for dealing with syntax errors, but the best way to tell for a specific example is to try it
<gasche> (Merlin worked with a fork of the Menhir parser generator for a long time designed for better error messages and, more importantly, error recovery; the good bits should be integrated in Menhir by now, which is one of the reason why I'm trying to switch OCaml compiler's parser from ocamlyacc to menhir)
<Kakadu> Yeah, I seen this PR
<Kakadu> The first attemp shows this: http://paste.in.ua/1765/#9
<Kakadu> It would be great if merlin could propose quick fix
<Kakadu> especially for beginners
<Kakadu> but AFAIR error recovery is rather complex problem. Especially for parser combinators (AFAIR menhir is LR based)
<Kakadu> What about errors like `The expression e has type a but type b is expected. Replace e by 'somefunction e'?`.....
<Drup> kakadu: that's not a parser error.
<Kakadu> Drup: :) yeah, it was a separated question
<Kakadu> I'm kind of writing ideas about powerful IDE
<Kakadu> Ah, killer-feature: `replace Lsit by List?`
<Kakadu> + some hotkey to automatically apply it
Algebr` has quit [Ping timeout: 250 seconds]
<Drup> merlin already does fuzzy completion
<Drup> and about better error messages .. that should not be an IDE feature :)
<Kakadu> Drup: fuzzy completion? How can I try it?
<Kakadu> I have seen how ocaml trys to report spelling errors but not merlin
<Kakadu> s/trys/tries/
<gasche> in your example, Camlp4 gives the right error message :-)
<gasche> (I kept it, thanks, I'm accumulating a bank of OCaml sources that produce bad error messages)
<gasche> Fabrice Le Fessant mentioned to me once that he has a script that reads OCaml error messages and converts them into an automatic edition action
<gasche> (Unused parameter ... => prepend a _ to the identifier binding)
<gasche> seems to be what you are looking for
<gasche> you should ask on the caml-list if someone has scripts available for this
sh0t has quit [Remote host closed the connection]
nicholasf has joined #ocaml
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
octachron has quit [Quit: Leaving]
sepp2k has quit [Quit: Leaving.]
walter|r has quit [Remote host closed the connection]
wagle has quit [Remote host closed the connection]
wagle has joined #ocaml
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
sh0t has joined #ocaml
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
StrykerKKD has quit [Quit: Leaving]
maurer has quit [Ping timeout: 260 seconds]
maurer has joined #ocaml
Kakadu has quit [Remote host closed the connection]