ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
struktured has joined #ocaml
dtak has joined #ocaml
Arsenik has quit [Remote host closed the connection]
dtak has quit [Ping timeout: 265 seconds]
mcclurmc has joined #ocaml
koderok has joined #ocaml
koderok has quit [Client Quit]
mcclurmc has quit [Ping timeout: 252 seconds]
Bluddy has joined #ocaml
badkins has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 250 seconds]
iorivur has quit [Ping timeout: 244 seconds]
hilquias has quit [Remote host closed the connection]
Hannibal_Smith has quit [Quit: Leaving]
<struktured> I thought I finally got the hang of polymorphic variants. I was wrong.
mcclurmc has joined #ocaml
hannes` is now known as hannes
badkins has joined #ocaml
boadie has quit [Read error: Connection reset by peer]
boadie has joined #ocaml
gabemc has joined #ocaml
Simn has quit [Quit: Leaving]
gabemc has quit [Ping timeout: 258 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
vanila has joined #ocaml
<vanila> hello
<vanila> is anyone using mirage? I can't build one of the examplec codes after hello world
<vanila> just wonder if there'sa easy fix
<struktured> vanila: I can't help you because I never used it but you have a better chance of getting help if you post the builder on gists
<struktured> vanila: *build error
<vanila> oh ok!
<vanila> http://lpaste.net/117357 that's what's giving me trouble - trying update upgrade right now in case its that
<struktured> vanila: yeah I would try that too, looks like one is lwt and one is non-lwt, hinting at an api difference
rgrinberg has joined #ocaml
dtak has joined #ocaml
matason has quit [Quit: Leaving...]
<hugomg> vanila: also, if you want to use 4.02 install the compiler via opam instead of relying on the "system" switch
<vanila> cheers :)
<vanila> I have the stackv4 example runing now, just wondering how to connect to it..
madroach has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
madroach has quit [Ping timeout: 250 seconds]
<vanila> $ sudo ifconfig tap0 10.0.0.1 netmask 255.255.255.0
madroach has joined #ocaml
<vanila> does anyone know how ip addr/ip route equivalent of this command?
<vanila> ive tried a couple things but nothing seems to let me connect to the thing
hugomg has quit [Quit: Leaving]
avsm has joined #ocaml
<whitequark> ip addr add 10.0.0.1/24 dev tap0
willy_ has joined #ocaml
<vanila> thank you, it lets me ping it but I can't connect with curl yet for some reason
<vanila> trying to get the 'hello mirage world' message from curl http://10.0.0.2 but it says Connection refused instead
wwilly has quit [Ping timeout: 245 seconds]
<whitequark> no idea
badkins has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
<vanila> ah i got it, the tutorial had desynced a little with the code - its now port 8080
badkins has joined #ocaml
badkins has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 250 seconds]
badkins has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 244 seconds]
oscar_toro has joined #ocaml
rgrinberg has joined #ocaml
avsm has quit [Quit: Leaving.]
badkins has quit []
marynate has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
darkf has joined #ocaml
ivan\ has quit [Ping timeout: 252 seconds]
ivan\ has joined #ocaml
madroach has joined #ocaml
BitPuffin has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Quit: Leaving.]
esden has quit [Read error: Connection reset by peer]
esden has joined #ocaml
vanila has quit [Quit: Leaving]
lordkryss has quit [Quit: Connection closed for inactivity]
MotorMe has joined #ocaml
samrat has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 244 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
natrium1970 has joined #ocaml
natrium1970 has quit [Quit: natrium1970]
ontologiae has joined #ocaml
nullcat has joined #ocaml
AltGr has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
oscar_toro has quit [Ping timeout: 240 seconds]
nullcat has quit [Max SendQ exceeded]
ggole has joined #ocaml
psy has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 256 seconds]
marynate has quit [Read error: Connection reset by peer]
marynate has joined #ocaml
govg has joined #ocaml
AltGr has left #ocaml [#ocaml]
bytbox has joined #ocaml
bytbox has quit [Ping timeout: 258 seconds]
madroach has quit [Ping timeout: 250 seconds]
psy has quit [Quit: Leaving]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
enitiz has quit [Ping timeout: 240 seconds]
Bluddy has quit [Quit: Connection closed for inactivity]
madroach has joined #ocaml
dtak has quit [Remote host closed the connection]
boadie has quit []
<ggole> nickmeharry: did you figure it out?
boadie has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 265 seconds]
MotorMe has quit [Remote host closed the connection]
MotorMe has joined #ocaml
MotorMe has quit [Remote host closed the connection]
MotorMe has joined #ocaml
mcclurmc has joined #ocaml
myyst has quit [Ping timeout: 265 seconds]
myyst has joined #ocaml
mcclurmc has quit [Ping timeout: 258 seconds]
dtak has joined #ocaml
dtak has quit [Ping timeout: 256 seconds]
avsm has joined #ocaml
avsm has quit [Ping timeout: 252 seconds]
alkoma has joined #ocaml
alkoma has quit [Remote host closed the connection]
kakadu has joined #ocaml
MercurialAlchemi has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
psy has joined #ocaml
<jcloud> is there a way to define something like (define (eat-line line) eat-line) in OCaml? I tried writing let rec eat_line line = eat_line, but I guess the type system doesn’t like that
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
kapil__ has joined #ocaml
<struktured> jcloud: u mean this? let rec eat_line x = eat_line x ?
govg has quit [Ping timeout: 256 seconds]
<jcloud> no, I just want to return the function itself
sol__ has joined #ocaml
matason has joined #ocaml
<ggole> Use -rectypes
<ggole> It's opt-in because cyclic types are usually a programmer error.
milosn has quit [Ping timeout: 252 seconds]
matason has quit [Quit: Leaving...]
<jcloud> ggole: thanks very much for the help!
matason has joined #ocaml
dtak has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 272 seconds]
psy has quit [Ping timeout: 265 seconds]
dtak_ has joined #ocaml
dtak has quit [Read error: Connection reset by peer]
stokey_ has joined #ocaml
jerith_ is now known as jerith
stokey has joined #ocaml
ygrek has joined #ocaml
tharugrim has quit [Ping timeout: 256 seconds]
stokey_ has quit [Ping timeout: 245 seconds]
matason has quit [Quit: Leaving...]
tharugrim has joined #ocaml
Simn has joined #ocaml
malc_ has joined #ocaml
chinglish has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 256 seconds]
davine has joined #ocaml
davine has left #ocaml [#ocaml]
chinglish has quit [Ping timeout: 244 seconds]
chinglish has joined #ocaml
dtak_ has quit [Remote host closed the connection]
govg has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
demonimin has quit [Ping timeout: 245 seconds]
MotorMe has quit [Remote host closed the connection]
samrat has quit [Quit: Computer has gone to sleep.]
jonludlam has quit [Quit: Coyote finally caught me]
jonludlam has joined #ocaml
lordkryss has joined #ocaml
demonimin has joined #ocaml
larhat has quit [Read error: Connection reset by peer]
larhat has joined #ocaml
etehtsea has joined #ocaml
etehtsea has quit [Max SendQ exceeded]
Arsenik has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
avsm has joined #ocaml
dtak has joined #ocaml
ontologiae has joined #ocaml
dtak has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
contempt has joined #ocaml
stokey has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
leowzukw has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
matason has joined #ocaml
leowzukw_ has joined #ocaml
Hannibal_Smith has joined #ocaml
leowzukw has quit [Ping timeout: 246 seconds]
psy has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 265 seconds]
oscar_toro has joined #ocaml
leowzukw_ has quit [Ping timeout: 246 seconds]
leowzukw has joined #ocaml
govg has quit [Ping timeout: 265 seconds]
axiles has joined #ocaml
enitiz has joined #ocaml
rgrinberg has joined #ocaml
govg has joined #ocaml
govg is now known as Guest5957
ygrek has joined #ocaml
Thooms has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
Guest5957 has quit [Ping timeout: 265 seconds]
rgrinberg has joined #ocaml
nojb has joined #ocaml
dtak has joined #ocaml
mcclurmc has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
dtak has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Quit: Leaving.]
avsm has joined #ocaml
BitPuffin has joined #ocaml
willy__ has joined #ocaml
ontologiae has joined #ocaml
leowzukw has quit [Quit: leaving]
willy_ has quit [Ping timeout: 256 seconds]
avsm has quit [Quit: Leaving.]
huza has joined #ocaml
nojb has quit [Ping timeout: 240 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
pngl has joined #ocaml
<pngl> Hi, I'm trying to debug a stack overflow. The trace only shows many "Called from file "pervasives.ml", line 214, characters 22-31", but testing on a dummy infinitely recursing function gives me the correct line from my code. I suspect the trace is truncated, what should I do?
<ggole> IIRC this can happen if you raise an exception which is then caught and re-raised
<pngl> ggole: There is a little bit of exception handling in my code (some Not_founds), but no re-raising
<ggole> Pervasives might be doing it though :/
<ggole> Which version?
<ggole> Actually, I don't see such a re-raise in pervasives.ml in 4.02.1.
<pngl> 4.01
<ggole> I assume you are compiling and linking with -g, using OCAMLRUNPARAM="b", etc
<pngl> ggole: I have OCAMLRUNPARAm set and I do ocamlbuild $TARGET.d.byte
<ggole> Seems reasonable. I don't know what your problem is, sorry.
<ggole> Maybe somebody else will have an idea though.
<pngl> ggole: Thanks a lot for taking a look at it!
<ggole> I looked at that source line in 4.01 pervasives.ml, which is part of @ (list append)
<ggole> Are you appending huge lists?
<pngl> ggole: Ah, yes.
<ggole> @ is not tail recursive.
<ggole> This could be your problem.
ygrek has joined #ocaml
<pngl> thank you!
<ggole> Handy that opam keeps the sources around...
madroach has quit [Ping timeout: 250 seconds]
darkf has quit [Quit: Leaving]
huza has quit [Read error: Connection reset by peer]
samrat has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
dtak has joined #ocaml
dtak has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 244 seconds]
nojb has joined #ocaml
nojb has quit [Client Quit]
nojb has joined #ocaml
nojb has quit [Client Quit]
bytbox has joined #ocaml
bytbox has quit [Ping timeout: 245 seconds]
<larhat> Is there a function for dumping Parsetree.expression for debugging purposes?
malc_ has quit [Ping timeout: 245 seconds]
bytbox has joined #ocaml
mcclurmc has joined #ocaml
malc_ has joined #ocaml
avsm has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
ygrek has quit [Ping timeout: 244 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
nojb has joined #ocaml
nojb has quit [Quit: nojb]
transfinite has quit [Ping timeout: 256 seconds]
hugomg has joined #ocaml
jao has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
ontologiae has joined #ocaml
nojb has joined #ocaml
nojb has quit [Client Quit]
<def`> larhat: check Printast & Pprintast
q66[lap]_ has joined #ocaml
q66[lap]_ has quit [Excess Flood]
dtak has joined #ocaml
q66[lap]_ has joined #ocaml
q66[lap] has quit [Disconnected by services]
q66[lap]_ is now known as q66[lap]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
dtak has quit [Ping timeout: 240 seconds]
_5kg has quit [Ping timeout: 250 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
kapil__ has quit [Quit: Connection closed for inactivity]
samrat has quit [Ping timeout: 258 seconds]
samrat has joined #ocaml
nojb has joined #ocaml
marynate has quit [Quit: Leaving]
samrat has quit [Ping timeout: 264 seconds]
samrat has joined #ocaml
Bluddy has joined #ocaml
govg has joined #ocaml
sheijk has joined #ocaml
_5kg has joined #ocaml
samrat has quit [Ping timeout: 250 seconds]
<larhat> def`: thanks!
<larhat> Is it possible to use both camlp4 and ppx extensions?
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
<struktured> larhat: in general, they don't operate well together
samrat has joined #ocaml
<larhat> struktured: yes, I want to use my ppx extension in js_of_ocaml code, but cannot force them to play nicely together :)
dtak has joined #ocaml
<struktured> larhat: I don't use any json with ocaml these days, but maybe https://github.com/whitequark/ppx_deriving_yojson#usage could help?
<larhat> struktured: no, I don't use json, I use js_of_ocaml syntax for stuff like `Html.window##onload <- Dom.handler start`
<struktured> larhat: got it. well hopefully someone is making / has made a ppx equivalent somewhere
<def`> larhat: one way is to put all js_of_ocaml-extended code in a unique module, at the boundary for instance
<def`> (I find generally nice to minimize the "non-standard" ocaml codebase)
<larhat> def`: yes, that's my plan B :)
dtak has quit [Ping timeout: 252 seconds]
<larhat> http://paste.in.ua/10216/ — here the expansion of `Html.window##onload <- Dom.handler start`, so I guess I just write this by hand for now, and then will think about how to use ppx for that
samrat has quit [Ping timeout: 258 seconds]
<def`> (merlin can handle ppx and js_of_ocaml both at the same time, you just won't be able to compile… haha :P)
samrat has joined #ocaml
<MercurialAlchemi> bah, compiling is overrated
<def`> If it typechecks, it works. What's the point of consuming more cpu-time
<Drup> larhat: camlp4 doesn't work with ppxs
<Drup> If you want to beta test the ppx for js_of_ocaml, you can.
<Drup> Beware that I know it's broken ;)
<larhat> Drup: where I can get it?
<MercurialAlchemi> how much broken?
<Drup> the syntax will change and I know the codegen is not really right
<Drup> I just stoped working on it because I can't make the syntax right for now.
<Drup> the equivalent of ## should work just fine, though
<Drup> (it's the literal object stuff which doesn't)
<larhat> Drup: what's the syntax for literal objects in camlp4 version? Btw, I've made syntax extension for react.js to desrcibe virtual DOM. http://paste.in.ua/10217/#3 — here is what I use for object options
BitPuffin has quit [Ping timeout: 250 seconds]
avsm has quit [Quit: Leaving.]
pdewacht has quit [Ping timeout: 252 seconds]
psy has quit [Ping timeout: 256 seconds]
rand000 has joined #ocaml
govg has quit [Quit: leaving]
leowzukw has joined #ocaml
<nickmeharry> ggole: I sort of got it working with the record abstraction, but I had to cheat on the usage side.
<nickmeharry> ggole: Obj.magic :(
ontologiae has quit [Ping timeout: 245 seconds]
<nickmeharry> Seems to work though.
<ggole> nickmeharry: I think I solved it "properly"
<ggole> Instead of a constraint, you can say type handler = { f : 'a . ([< z] as 'a) -> int }
<ggole> And that gets you a polymorphic field of the right type
<ggole> (Again, z instead of c.)
hugomg has quit [Ping timeout: 258 seconds]
<Drup> larhat: get back to me in a couple of days, I'm not really available right now. I'm curious about your virtual dom thing
pngl has quit [Ping timeout: 246 seconds]
hugomg has joined #ocaml
leowzukw has quit [Quit: leaving]
rgrinberg has joined #ocaml
<Drup> larhat: however, the virtual dom shouldn't be done through a syntax extension, it should simply be a library.
dtak has joined #ocaml
mcclurmc has joined #ocaml
dtak has quit [Ping timeout: 245 seconds]
sivoais has quit [Ping timeout: 250 seconds]
bjorkintosh has quit [Ping timeout: 258 seconds]
rgrinberg has quit [Quit: Leaving.]
samrat has quit [Ping timeout: 258 seconds]
jao has quit [Ping timeout: 250 seconds]
ggole has quit []
oscar_toro has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
nojb has quit [Quit: nojb]
hugomg has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
nojb has joined #ocaml
hugomg has joined #ocaml
dtak has joined #ocaml
dtak has quit [Client Quit]
bjorkintosh has joined #ocaml
q66[lap]_ has joined #ocaml
q66[lap] has quit [Disconnected by services]
q66[lap]_ is now known as q66[lap]
mcclurmc has quit [Remote host closed the connection]
dtak has joined #ocaml
fatmav has joined #ocaml
nojb has quit [Quit: nojb]
<companion_cube> o/
artagnon has joined #ocaml
<artagnon> whitequark: I take it that you didn't like my gc module patch.
<artagnon> Could you please elaborate on what should be done?
<artagnon> Also, I'm facing weird link errors on Linux that I don't see on OS X.
<companion_cube> hmm, what's your GC patch?
dtak has quit []
<artagnon> companion_cube: http://reviews.llvm.org/D6779
<artagnon> ... but the link errors are getting in my way now.
<artagnon> I also found out that llvm-config --src-root (or anything) returns the wrong path.
<artagnon> Only on Linux, again.
<companion_cube> oh, it's llvm
<artagnon> Link errors: http://pastie.org/9802688
mcclurmc has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
avsm has joined #ocaml
NoNNaN has joined #ocaml
psy has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
axiles has quit [Remote host closed the connection]
willy__ has left #ocaml ["Leaving"]
psy has quit [Ping timeout: 245 seconds]
keen__________16 has joined #ocaml
keen__________15 has quit [Ping timeout: 244 seconds]
oscar_toro has joined #ocaml
matason has quit [Quit: Leaving...]
matason has joined #ocaml
kakadu has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
Arsenik has quit [Remote host closed the connection]
rand000 has quit [Quit: leaving]
<Tekk_> how do you get ocamlopt to emit debugging information for use in gdb? I figured that -g would do it but when I compile a program with -g it complains that there's no debugging information
<artagnon> Tekk_: You can't debug OCaml programs using gdb. Use ocamldebug (which sucks).
<artagnon> gdb only works when the symbols are C/C++ or Go (more recently).
<Tekk_> ah, okay. I thought I read somewhere that when you're using ocamlopt you can use gdb
<artagnon> (I might be mistaken then)
<Tekk_> guess I need to figure out how to use external libraries with the bytecode interpreter..
<artagnon> ocamlc -g works.
<Tekk_> or can ocamldebug run ocamlopt'd programs?
<artagnon> It can.
<Tekk_> hm
<Tekk_> how?
<Tekk_> when I try to start it just gives me "game.native is not a bytecode program"
<artagnon> ocamldebug <binary>
<companion_cube> now, it can run bytecode programs
<Tekk_> with ocamldebug game.native
<Tekk_> alright, figured that out
<Tekk_> any easy way to skip past the initialization stuff and actually get to my source file?
<Tekk_> so that I'm not seeing line after line from Pervasives
<Tekk_> well Str is actually the biggest offender here it seems
<whitequark> use a breakpoint
<whitequark> (also, avoid Str)
<Tekk_> I'm not using Str
<Tekk_> not explicitly
<Tekk_> I think Ctypes is pulling it in
<whitequark> oh.
<whitequark> you can use gdb with ocamlopt, indeed
<Tekk_> weird
<whitequark> it's not very convenient tho
<Tekk_> Eh, probably more convenient than ocamldebug at least
<Tekk_> since emacs actually supports gdb nicely
<whitequark> you can only step and set breakpoints
<whitequark> you can't e.g. print variable values
<Tekk_> ah
<Tekk_> yeah, that's not so convenient then :)
Hannibal_Smith has quit [Quit: Leaving]
* artagnon pokes whitequark
<artagnon> whitequark: Had a chance to look at the patch?
<whitequark> the non-OCaml changes must be reviewed by someone else
<whitequark> ask on #llvm
ygrek has joined #ocaml
milosn has joined #ocaml
<artagnon> Cool. I'd appreciate it if you could connect me to someone.
<whitequark> see CODE_OWNERS.txt
* artagnon nods
<artagnon> I think Bill Wendling fits it somewhat, based on the shortlog of include/llvm-c?
mcclurmc has joined #ocaml
<whitequark> it's not about llvm-c, it's about codegen
fatmav has quit [Ping timeout: 246 seconds]
<artagnon> Oh.
* artagnon re-runs the sl
<artagnon> Lattner/ Cheng.
<artagnon> Hm, Evan Cheng isn't on Phabricator.