nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
_whitelogger____ has joined #ocaml
AltGr has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
tmtwd has quit [Ping timeout: 240 seconds]
tennix has joined #ocaml
manud has quit [Quit: manud]
badkins has quit []
BitPuffin|osx has joined #ocaml
jave has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
manizzle has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
linman8 has joined #ocaml
rand000 has quit [Quit: leaving]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
badkins has joined #ocaml
tmtwd has joined #ocaml
manud has joined #ocaml
manud has quit [Client Quit]
dongcarl has joined #ocaml
badkins has quit []
tmtwd has quit [Quit: Leaving]
swgillespie has joined #ocaml
tmtwd has joined #ocaml
manud has joined #ocaml
linman8 has quit [Ping timeout: 272 seconds]
darkf has joined #ocaml
dongcarl_ has joined #ocaml
dongcarl has quit [Ping timeout: 246 seconds]
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml
Bhavya has joined #ocaml
claudiuc has quit [Remote host closed the connection]
manud has quit [Quit: manud]
vishesh has joined #ocaml
f[x] has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ygrek_ has quit [Ping timeout: 240 seconds]
f[x] has quit [Ping timeout: 256 seconds]
truncate has joined #ocaml
truncate has quit [Quit: WeeChat 1.3-dev]
truncate has joined #ocaml
truncate has quit [Client Quit]
truncate has joined #ocaml
truncate has quit [Remote host closed the connection]
truncate has joined #ocaml
truncate has quit [Client Quit]
truncate has joined #ocaml
truncate has quit [Client Quit]
swgillespie has joined #ocaml
swgillespie has quit [Max SendQ exceeded]
swgillespie has joined #ocaml
linman8 has joined #ocaml
swgillespie has quit [Max SendQ exceeded]
swgillespie has joined #ocaml
Bhavya has quit [Quit: Quit the channel]
manizzle has quit [Ping timeout: 272 seconds]
Bhavya has joined #ocaml
dongcarl_ has quit [Quit: Leaving...]
kolko has quit [Read error: Connection reset by peer]
native_killer has joined #ocaml
manud has joined #ocaml
keen__________33 has joined #ocaml
keen__________32 has quit [Ping timeout: 272 seconds]
igoroliveira has quit [Quit: Connection closed for inactivity]
vishesh has quit [Ping timeout: 246 seconds]
linman16 has joined #ocaml
linman8 has quit [Ping timeout: 246 seconds]
tmtwd has quit [Remote host closed the connection]
shinnya_ has quit [Ping timeout: 264 seconds]
BitPuffin|osx has quit [Ping timeout: 260 seconds]
dongcarl has joined #ocaml
dongcarl has quit [Ping timeout: 260 seconds]
ggole has joined #ocaml
vishesh has joined #ocaml
manud has quit [Quit: manud]
madroach_ has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
linman16 has quit [Ping timeout: 244 seconds]
kolko has joined #ocaml
manud has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
manud has quit [Quit: manud]
Heiher has joined #ocaml
Haudegen has joined #ocaml
<Heiher>
Hi, how to debug ocaml assembly compiler? thanks
vishesh has quit [Ping timeout: 240 seconds]
mort___ has joined #ocaml
sh0t has joined #ocaml
manud has joined #ocaml
f[x] has joined #ocaml
TheLemonMan has joined #ocaml
kushal has joined #ocaml
zpe has joined #ocaml
mort___ has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 244 seconds]
sh0t has quit [Ping timeout: 272 seconds]
f[x] has quit [Ping timeout: 252 seconds]
native_killer has quit [Ping timeout: 265 seconds]
native_killer has joined #ocaml
Hannibal_Smith has joined #ocaml
manud has quit [Quit: manud]
native_killer has quit [Ping timeout: 244 seconds]
native_killer has joined #ocaml
ggole has quit [Ping timeout: 244 seconds]
native_killer has quit [Ping timeout: 244 seconds]
manud has joined #ocaml
native_killer has joined #ocaml
Kakadu has joined #ocaml
native_killer has quit [Ping timeout: 255 seconds]
native_killer has joined #ocaml
native_killer has quit [Ping timeout: 246 seconds]
native_killer has joined #ocaml
manud has quit [Quit: manud]
native_killer has quit [Ping timeout: 246 seconds]
siddharthv_away is now known as siddharthv
manud has joined #ocaml
manud has quit [Remote host closed the connection]
siddharthv is now known as siddharthv_away
siddharthv_away is now known as siddharthv
native_killer has joined #ocaml
creichert has quit [Ping timeout: 246 seconds]
grouzen has joined #ocaml
native_killer has quit [Ping timeout: 265 seconds]
yomimono has joined #ocaml
native_killer has joined #ocaml
AltGr has left #ocaml [#ocaml]
ollehar has joined #ocaml
native_killer has quit [Ping timeout: 255 seconds]
ollehar has quit [Ping timeout: 260 seconds]
Heiher has left #ocaml [#ocaml]
nullcatxxx_ has joined #ocaml
rand000 has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
whirm has joined #ocaml
psy_ has quit [Ping timeout: 244 seconds]
jabesed has joined #ocaml
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 265 seconds]
rand000 has quit [Quit: leaving]
nullcatxxx_ has joined #ocaml
_andre has joined #ocaml
ollehar has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
mrvn has joined #ocaml
<mrvn>
oasis question: How do I make "Executable test" depend on "Executable foo"?
ollehar has quit [Ping timeout: 256 seconds]
<Drup>
TestTools: foo
jabesed has quit [Quit: Konversation terminated!]
jabesed has joined #ocaml
<mrvn>
Thanks. that seems to work.
Haudegen has joined #ocaml
<mrvn>
I'm starting ocaml with FD 3 being a socket to the parent. How do I get a Unix.file_descr for that? Should I just Obj.magic 3?
jabesed has quit [Ping timeout: 250 seconds]
raphaal has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcatxxx_ has joined #ocaml
<mehdid>
that fd should be /proc/self/fd/3, no?
<mrvn>
yes
ceryo has joined #ocaml
<mrvn>
but if I open that I get another FD (e.g. 4) that is a dup of 3, right?
Bhavya has quit [Quit: Quit the channel]
<mehdid>
open(3) doesn't mention dup... but, yeah open creates a new fd which points to the opened file
<mehdid>
ek, open(2)
<mrvn>
and then closing 4 would not close the socket because 3 remains open.
<mehdid>
yup
tennix has quit [Ping timeout: 246 seconds]
<adrien_znc>
mrvn: I'd say Obj.magic 3
<adrien_znc>
a quick check in otherlibs/unix/ to be sure it uses Int_val()/Val_int() but that's it
<mrvn>
Similary: How do I get the socket to be FD 3? val dup2 : file_descr -> file_descr -> unit
<mehdid>
In unix.ml, type file_descr = int too... but, imho, that should not be abused :-)
<mrvn>
I have to Obj.magic 3 to get the right file_decr to dup2 into.
natrium1970 has joined #ocaml
<adrien_znc>
mehdid: it's POSIX ABI, it's not going to change
<adrien_znc>
actually
* mehdid
nods
<mrvn>
adrien_znc: it could change in ocaml though. Become a record or custom type that closes the FD in the finalizer
<natrium1970>
I had Ocaml 4.02.1 installed from source, and I installed 4.02.3 tonight. Now opam doesn’t seem to do anything right.
<adrien_znc>
you could make a binding and actually, it might make sense to add that to Unix, but I'm not sure the complexity of keeping it next to the other code really makes sense compared to one Obj.magic
<adrien_znc>
I don't know how that'll behave for windows however :)
<adrien_znc>
(but you don't inherit FDs in the same way)
<mrvn>
adrien_znc: I would just Obj.magic in Unix. Then if ever the FD type changes that changes too.
<adrien_znc>
mehdid: oh, I really think it'd make sense in Unix but until then... :)
<adrien_znc>
mrvn: Windows support :)
<natrium1970>
I hate opam.
<mrvn>
windows has file handles that aren't int, right?
<natrium1970>
The advice I found online suggests install a systemwide version of camlp4 instead there is a systemwide version of ocaml. I guess I can try that again, but I thought I already did that.
<mrvn>
Maybe Unix should have a val export_file_descr : file_descr -> string, val import_filed_descr : string -> file_descr
kushal has quit [Quit: Leaving]
siddharthv is now known as siddharthv_away
<mehdid>
what's the difference with an Obj.magic? type safety preserved by maintainers of the language? :-)
<adrien_znc>
mrvn: iirc it has handles which are and it also has HANDLE
<adrien_znc>
mehdid: windows compat :P
contempt has quit [Ping timeout: 272 seconds]
natrium1970 has quit [Quit: natrium1970]
<mrvn>
Alternatively Unix.create_process could allow having extra FDs.
contempt has joined #ocaml
nullcatxxx_ has quit [Remote host closed the connection]
nullcatxxx_ has joined #ocaml
<mrvn>
bugreport filed
<mrvn>
Fun: let rec x = [| x |]; 1. in () segfaults.
ggole has joined #ocaml
grouzen has quit [Ping timeout: 244 seconds]
<mehdid>
Hrm. Fun. :-)
kushal has joined #ocaml
<mrvn>
The compiler could optimize the [| x |] out completly.
<ggole>
mrvn: nice one
<ggole>
Only seems to happen for floats
<mrvn>
maybe for anything boxed
<ggole>
I tried int64, int32, didn't crash
psy_ has joined #ocaml
<ggole>
Assembly shows it zeros a pointer and then derefs it.
tashjash has joined #ocaml
badkins has joined #ocaml
ollehar has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
Haudegen has quit [Remote host closed the connection]
<mrvn>
hmm. I think that's because float arrays are special.
<mrvn>
[| float |] unboxes the float and puts it in a float array
kdas__ has joined #ocaml
Haudegen has joined #ocaml
kushal has quit [Disconnected by services]
kdas__ is now known as kushal
kushal has quit [Changing host]
kushal has joined #ocaml
tennix has joined #ocaml
tennix has quit [Changing host]
tennix has joined #ocaml
<ggole>
Yeah, could be
Haudegen has quit [Ping timeout: 246 seconds]
mort___ has joined #ocaml
tennix has quit [Ping timeout: 246 seconds]
igoroliveira has joined #ocaml
mort___ has quit [Client Quit]
tennix has joined #ocaml
tennix has joined #ocaml
kdas__ has joined #ocaml
f[x] has joined #ocaml
kushal has quit [Disconnected by services]
kdas__ is now known as kushal
kushal has quit [Changing host]
kushal has joined #ocaml
tennix has quit [Ping timeout: 272 seconds]
octachron has joined #ocaml
Haudegen has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
uris77 has joined #ocaml
Haudegen has joined #ocaml
jonludlam has joined #ocaml
vishesh has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
mort___ has joined #ocaml
Haudegen has joined #ocaml
tennix has joined #ocaml
tennix has joined #ocaml
tennix has quit [Ping timeout: 272 seconds]
paddymahoney has joined #ocaml
darkf has quit [Quit: Leaving]
_whitelogger____ has joined #ocaml
<Drup>
yeah, this is equivalent to "only one set of type equalities per tag" :p
<Drup>
(but your explanation is probably easier to grasp)
octachron has quit [Ping timeout: 240 seconds]
mort___ has quit [Quit: Leaving.]
<mrvn>
Anyone know if melange is still being worked on?
<Drup>
I don't know which state the command line tools are in currently, but the underlying library have been worked on
ollehar has quit [Ping timeout: 260 seconds]
<mrvn>
The linker script only determines the address where stuff gets loaded to, not the offset in the elf file. For 64bit sections get aligned to 1MB boundaries in the elf file so you often get a lot of 0 before the multiboot header
<mrvn>
ups
tennix has joined #ocaml
<mrvn>
Drup: The git repository has the last commit from 2011. I wonder if I got the wrong one then.
<sgnb>
mrvn: yes, the repos is apt-able, but don't use it in production... it's mainly for preparation of the transition... e.g. it's not kept up-to-date, and version numbers for recompiled packages are not bumped
<j0sh>
i guess Re.diff and Re.compl don't really work with regex operators... getting runtime errors
<nicoo>
Drup: It is definitely encodable
<nicoo>
perhaps it would be worth adding to ocaml-re
<Drup>
nicoo: not exactly
<Drup>
because compl is not valid on all regexps
<Drup>
(as j0sh discovered :p)
<nicoo>
You mean wrt. capture?
<Drup>
No, I mean the implementation in Re
<nicoo>
Ah, ok
* nicoo
didn't know the implementation in Re was incomplete.
f[x] has joined #ocaml
<Drup>
compl is only valid on charsets
<nicoo>
Anyhow, doing it with negation would be terrible, because it wouldn't work with capture
<nicoo>
Drup: I am most sad.
<j0sh>
i guess maybe a stupid way to do it would be to match the group i'm trying to exclude, then take substrings around that group's position
<Drup>
nicoo: how would you do compl of ^ or $ ?
<Drup>
or of a group
<Drup>
(or of word boundaries)
<nicoo>
Compl is non-local with guards (including look-aheads)
<Drup>
(you are very welcome to improve the implementation of compl :D)
shinnya has joined #ocaml
<j0sh>
will there be an updated ocaml-re release soon? I just realized the Group module isn't in this release
<Drup>
is is released
<Drup>
oh
<Drup>
huum
<Drup>
j0sh: it was a backward-compatible code reorganisation
<Drup>
no new features
<j0sh>
Drup: yeah, figured out how to get what i wanted (get_ofs) by looking at the diff, thanks
<j0sh>
yep, my stupid way worked, by taking the substrings around the group offsets
swgillespie has joined #ocaml
<j0sh>
(and it actually worked the first time. cheers, type checker)
ollehar has quit [Ping timeout: 240 seconds]
linman16 has joined #ocaml
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
vishesh has joined #ocaml
<mrvn>
Drup: python is much more terse. Way more bugs per byte that ocaml allows.
tennix has joined #ocaml
sailorswift has joined #ocaml
Kakadu has quit [Remote host closed the connection]
ollehar has joined #ocaml
ollehar has quit [Client Quit]
<mrvn>
When a datagram socket is ready for writing (select/poll/epoll) does that mean send won't block? Or can it have space for just a few bytes and not a full datagram?
tennix has quit [Ping timeout: 244 seconds]
<malc_>
mrvn: it would not block whether the write/send/whatever would complete successfully is another matter
nicoo has quit [Ping timeout: 255 seconds]
<mrvn>
malc_: write/send would block. The question is what sendto/sendmsg does.
<malc_>
mrvn: according to p1003.1 d3 sendmsg will fail
<mrvn>
malc_: even if NONBLOCK is not set?
<mrvn>
and what does the next select() call then do? say the socket is ready for writing again=
<mrvn>
malc_: That doesn't realy help (other than saying without NONBLOCK it will block). The question is how to handle that case and how select will behave then.
<malc_>
If space is not available at the sending socket to hold the message to be transmitted and the socket file descriptor does have O_NONBLOCK set, the sendmsg() function shall fail.
<mrvn>
Which is kind of a problem if there is 100 byte space and the message is 200 byte. Select() should return the FD ready for write and sendmsg should fail and then you have a busy loop till space clears up.
marsam has quit [Read error: Connection reset by peer]
<mrvn>
time to make a test case for this scenario and try what happens (under my current linux kernel)
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]