jonludlam has quit [Read error: Connection reset by peer]
cthuluh has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
BitPuffin has quit [Ping timeout: 255 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
thomasga has joined #ocaml
mort___ has quit [Quit: Leaving.]
mort___ has joined #ocaml
mort___ has quit [Remote host closed the connection]
englishm_ has joined #ocaml
badon_ has joined #ocaml
badon has quit [Ping timeout: 260 seconds]
badon_ is now known as badon
thomasga has quit [Quit: Leaving.]
troutwine is now known as troutwine_away
q66 has quit [Quit: Leaving]
shinnya has quit [Ping timeout: 250 seconds]
philtor has joined #ocaml
ygrek has joined #ocaml
araujo has quit [Read error: Connection reset by peer]
araujo has joined #ocaml
manizzle has quit [Ping timeout: 255 seconds]
jpdeplaix has quit [Ping timeout: 245 seconds]
englishm_ has quit [Remote host closed the connection]
englishm has joined #ocaml
englishm has quit [Ping timeout: 250 seconds]
englishm has joined #ocaml
jpdeplaix has joined #ocaml
typedlambda has quit [Ping timeout: 250 seconds]
typedlambda has joined #ocaml
englishm_ has joined #ocaml
aggelos_ has quit [Ping timeout: 240 seconds]
englishm has quit [Ping timeout: 250 seconds]
philtor has quit [Ping timeout: 245 seconds]
manizzle has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
manizzle has quit [Ping timeout: 250 seconds]
yacks has joined #ocaml
vincom2 has joined #ocaml
ygrek has joined #ocaml
vincom2 has quit []
vincom2 has joined #ocaml
samrat has joined #ocaml
englishm_ has quit [Ping timeout: 272 seconds]
manizzle has joined #ocaml
manizzle has quit [Ping timeout: 255 seconds]
troutwine_away is now known as troutwine
troutwine is now known as troutwine_away
flazz has joined #ocaml
<flazz>
is it possible to convert Unix.file_descr from int? my ocaml program is forked with certain descriptors already open
samrat has quit [Quit: Computer has gone to sleep.]
hellome has quit [Read error: Connection reset by peer]
jao has quit [Ping timeout: 250 seconds]
ggole has joined #ocaml
axiles has joined #ocaml
<ygrek>
flazz, yes
<ygrek>
# ExtUnix.All.file_descr_of_int;;
<ygrek>
- : int -> Unix.file_descr = <fun>
<ygrek>
core and ocamlnet also have helpers for that
<flazz>
ygrek: is ExtUnix in the stdlib?
badon has quit [Ping timeout: 245 seconds]
badon_ has joined #ocaml
badon_ is now known as badon
mort___ has joined #ocaml
<ygrek>
nope
samrat has joined #ocaml
avsm has joined #ocaml
nojb has joined #ocaml
siddharthv_away is now known as siddharthv
badon has quit [Ping timeout: 245 seconds]
badon has joined #ocaml
flazz is now known as zz_flazz
ebzzry_ has joined #ocaml
omqal has joined #ocaml
ebzzry has quit [Ping timeout: 260 seconds]
avsm has quit [Quit: Leaving.]
nojb has quit [Read error: Connection reset by peer]
mort___ has quit [Quit: Leaving.]
omqal has quit [Ping timeout: 255 seconds]
fraggle_laptop has quit [Remote host closed the connection]
fraggle_laptop has joined #ocaml
troydm has quit [Ping timeout: 250 seconds]
ygrek has quit [Ping timeout: 255 seconds]
arj has joined #ocaml
Simn has joined #ocaml
hhugo has joined #ocaml
morphles has joined #ocaml
sandy1 has quit [Quit: WeeChat 0.4.3]
avsm has joined #ocaml
tane has joined #ocaml
sgnb has joined #ocaml
ygrek has joined #ocaml
mort___ has joined #ocaml
AltGr has joined #ocaml
eikke__ has joined #ocaml
Kakadu has joined #ocaml
morphles has quit [Ping timeout: 240 seconds]
_0xAX has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
Hannibal_Smith has joined #ocaml
madroach has joined #ocaml
rossberg has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
miko has joined #ocaml
hhugo has quit [Quit: Leaving.]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
morphles has joined #ocaml
rossberg has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
thomasga has joined #ocaml
jonludlam has joined #ocaml
Reventlov has quit [Ping timeout: 250 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
maattdd has joined #ocaml
pyon has quit [Quit: Fiat justitia ruat caelum.]
freling has joined #ocaml
samrat has joined #ocaml
Reventlov has joined #ocaml
Reventlov has quit [Changing host]
Reventlov has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
pyon has joined #ocaml
sagotch has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
zpe has joined #ocaml
locallycompact has joined #ocaml
maattdd has quit [Ping timeout: 250 seconds]
maattdd has joined #ocaml
thomasga has quit [Quit: Leaving.]
badon has quit [Ping timeout: 250 seconds]
troydm has joined #ocaml
jonludlam has quit [Ping timeout: 250 seconds]
badon has joined #ocaml
BitPuffin has joined #ocaml
mrvn_ has joined #ocaml
numeo_ has joined #ocaml
bcucciol1 has joined #ocaml
uggwar_ has joined #ocaml
misv_ has joined #ocaml
gargawel_ has joined #ocaml
Asmadeus_ has joined #ocaml
sad0ur_ has joined #ocaml
sad0ur has quit [*.net *.split]
_5kg has quit [*.net *.split]
numeo has quit [*.net *.split]
vfoley_ has quit [*.net *.split]
seliopou has quit [*.net *.split]
misv has quit [*.net *.split]
Valdo has quit [*.net *.split]
uggwar has quit [*.net *.split]
gargawel has quit [*.net *.split]
pollux has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
mrvn has quit [*.net *.split]
rs0 has quit [*.net *.split]
bcuccioli has quit [*.net *.split]
Valdo has joined #ocaml
vfoley_ has joined #ocaml
seliopou has joined #ocaml
_5kg has joined #ocaml
pollux has joined #ocaml
thomasga has joined #ocaml
rs0 has joined #ocaml
maattdd has quit [Ping timeout: 245 seconds]
jonludlam has joined #ocaml
Arsenik has joined #ocaml
dsheets has joined #ocaml
maattdd has joined #ocaml
sagotch has quit [Ping timeout: 250 seconds]
morphles has quit [Quit: leaving]
jonludlam has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 250 seconds]
avsm has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
fraggle_laptop has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
maattdd has quit [Ping timeout: 255 seconds]
fraggle_laptop has joined #ocaml
maattdd has joined #ocaml
tane has quit [Quit: Verlassend]
<Kakadu>
o/
maattdd has quit [Ping timeout: 260 seconds]
<companion_cube>
\o
avsm has joined #ocaml
pminten has joined #ocaml
<Kakadu>
Have you ever bought new hardware which doesn't suit each other?
<Kakadu>
(let's imagine that it is a friday evening... :D )
<companion_cube>
apart from the usual printer hell, I don't think so
Hannibal_Smith has quit [Read error: No route to host]
samrat has quit [Quit: Computer has gone to sleep.]
siddharthv is now known as siddharthv_away
sagotch has joined #ocaml
samrat has joined #ocaml
thomasga has joined #ocaml
jonludlam has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
nojb has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
seanmcl has joined #ocaml
seanmcl has quit [Client Quit]
avsm has quit [Quit: Leaving.]
wwilly has quit [Quit: Ex-Chat]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
Gonzih has joined #ocaml
locallycompact has quit [Ping timeout: 245 seconds]
_andre has joined #ocaml
pyon has quit [Quit: Fiat justitia ruat caelum.]
numeo_ is now known as numeo
englishm_ has joined #ocaml
nojb has quit [Ping timeout: 255 seconds]
maattdd has joined #ocaml
pyon has joined #ocaml
locallycompact has joined #ocaml
locallycompact has quit [Read error: No route to host]
locallycompact has joined #ocaml
<sagotch>
Can someone remind me what is the '&' in type signature? (`Vector of int * t & int * 'a)
izaak has joined #ocaml
lordkryss_ has joined #ocaml
<ggole>
Intersection, iirc
samrat has joined #ocaml
<dsheets>
I think it is ambiguous constructor (union)
maattdd has quit [Ping timeout: 272 seconds]
arjunguha has joined #ocaml
pminten has quit [Remote host closed the connection]
huza has joined #ocaml
<arjunguha>
anyone with camlp4 experience? i'm building a camlp4 extension that depends on ulex (for the lexer). the extension builds OK, but i get link errors when i try to use it.
<dsheets>
dunno if you're using oasis but there are definitely some back bends to get packages in syntax extensions working
<dsheets>
or ocamlfind for that matter
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
avsm has joined #ocaml
tane has joined #ocaml
<tane>
hey
thomasga has quit [Quit: Leaving.]
<arjunguha>
thanks
<arjunguha>
yeah, i discovered "requires(syntax) = ..." in META
<arjunguha>
i am using oasis, which doesn't seem to be able to generate that, but i added it manually
<avsm>
arjunguha: which version of oasis? latest should just work
Anarchos has joined #ocaml
izaak has quit [Ping timeout: 245 seconds]
<avsm>
it has a heuristic that adds foo.syntax to the camlp4 lines
<arjunguha>
0.4.4
<arjunguha>
not new enough?
<avsm>
yeah, should just work. cstruct's oasis has nothing special in it
<avsm>
(that is, _tags doesnt need to be changed manually)
<arjunguha>
hmm
<avsm>
or META
<arjunguha>
it almost works
<arjunguha>
i actually depend on ipaddr and ulex
<avsm>
Ohhhh
<avsm>
this is in the camlp4 extension
<avsm>
argh
<arjunguha>
manually mucking with ipaddr works
<arjunguha>
yes yes
<avsm>
yes, err, less happy
<avsm>
that's why cow has a somewhat homebrew build system :-)
<avsm>
hm
<arjunguha>
ulex still gives a link error when i try to use the extension
<avsm>
manually editing the META file is probably the easiest short term fix
<avsm>
and be careful not to regenerate oasis without resyncing it
<arjunguha>
yep :)
_2can has joined #ocaml
nlucaroni has joined #ocaml
avsm has quit [Quit: Leaving.]
maattdd has joined #ocaml
thomasga has joined #ocaml
sagotch has quit [Ping timeout: 250 seconds]
jonludlam has quit [Ping timeout: 260 seconds]
igitoor has quit [Ping timeout: 240 seconds]
huza has quit [Quit: WeeChat 0.3.8]
igitoor has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
stevej has quit [Ping timeout: 245 seconds]
travisbrady has joined #ocaml
jonludlam has joined #ocaml
Nuki has joined #ocaml
zz_flazz is now known as flazz
_0xAX has quit [Remote host closed the connection]
Asmadeus_ is now known as Asmadeus
miko has quit [Remote host closed the connection]
Reventlov has quit [Ping timeout: 250 seconds]
Reventlov has joined #ocaml
Reventlov is now known as Guest36750
Guest36750 is now known as Reventlov
Reventlov has quit [Changing host]
Reventlov has joined #ocaml
samrat has quit [Ping timeout: 250 seconds]
BitPuffin has quit [Ping timeout: 264 seconds]
<Anarchos>
Are there x86 asm instructions that the ocaml code emitter is unable to generate ?
mcclurmc_ has quit [Remote host closed the connection]
<Drup>
simd stuff.
lordkryss_ is now known as lordkryss
<Anarchos>
when i want to learn x86, i read a list of the instructions. And i feel like overwhelmed by so much instructions...
shinnya has joined #ocaml
<Armael>
whitequark: what was the thing in camlimages that makes it fail to compile on 4.02?
samrat has joined #ocaml
<Armael>
you should do a PR about that if the problem is still in HEAD
jonludlam has quit [Ping timeout: 250 seconds]
<travisbrady>
Anyone know if it’s possible to pass a 2D bigarray to a C function that takes a double ** (and then indexes into it as: matrix[i][j]) without copying?
<tane>
indexing double** as [i][j] doesn't really make sense
<travisbrady>
I know, but I’m binding to a 3rd party library and that’s what it does.
<travisbrady>
I’ve actually considered forking it and rewriting all of that so it uses a flat layout, but it would be time consuming.
nojb has joined #ocaml
<nojb>
Is there a way to tell lambda-term not to erase the line before printing the read-line prompt ?
arjunguha has quit [Read error: Connection reset by peer]
<Drup>
nojb: it's a bit vague, but it you only do printing, it shouldn't erase anything
arjunguha has joined #ocaml
<Drup>
see utop for example, it doesn't erase previous lines
<nojb>
Drup: that is because utop always prints the type of the expressoin *and then prints a newline*
<nojb>
I am printing something that may not end with a newline, in which case the prompt gets printed on top
<Drup>
check if last char is a new line and add a newline if not ?
<Drup>
also, which code are you using ? there are lots of way to print stuff in lambda-term, both very low and high level
jonludlam has joined #ocaml
<nojb>
I am using LTerm.print* together with LTerm_read_line
<nojb>
I would rather not add anything to the output, but I don't mind if the prompt gets shifted out of place ...
<Drup>
shifted prompt T___T
<Drup>
don't do that
englishm_ has quit [Ping timeout: 260 seconds]
<nojb>
Drup: why ?
<Drup>
because I've used cli stuff doing that, and it's a pain in the *.
<Drup>
try to use print_box, I think it will add relevant newline if needed
<nojb>
Drup: ok, thanks, I will look into it!
<Drup>
but the "check if newline, if not add it" is valid
englishm has joined #ocaml
<nojb>
Drup: yeah, I guess I will do that
lordkryss has quit [Quit: Connection closed for inactivity]
xitology_ has quit [Quit: Ex-Chat]
maattdd has quit [Ping timeout: 250 seconds]
<Armael>
whitequark: it's Xmas, camlspotter is merging things
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
jonludlam has quit [Remote host closed the connection]
pminten has joined #ocaml
ygrek has joined #ocaml
englishm has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
englishm has joined #ocaml
fraggle_laptop has quit [Remote host closed the connection]
slash^ has joined #ocaml
demonimin_ has joined #ocaml
nojb has quit [Ping timeout: 240 seconds]
nojb has joined #ocaml
maattdd has joined #ocaml
jwatzman|work has joined #ocaml
agarwal1975 has joined #ocaml
demonimin has quit [Ping timeout: 256 seconds]
Kakadu has quit [Ping timeout: 246 seconds]
sgnb has quit [Read error: Connection reset by peer]
demonimin_ has quit [Remote host closed the connection]
NoNNaN has quit [Remote host closed the connection]
demonimin has joined #ocaml
NoNNaN has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
octachron has joined #ocaml
maattdd has quit [Ping timeout: 250 seconds]
mrpantoufle has joined #ocaml
tane has quit [Quit: Verlassend]
AltGr has left #ocaml [#ocaml]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
nojb has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
nojb has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
thomasga has quit [Ping timeout: 250 seconds]
_0xAX has joined #ocaml
Kakadu has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pminten has quit [Remote host closed the connection]
q66 has joined #ocaml
<nojb>
another lambda-term question: how am I supposed to do standard input when using LTerm_read_line? Using Pervasives.read_line messes everything up ...
scriptdevil has joined #ocaml
<Drup>
huh, why would you want standard input ? LTerm_read_line handles the input for you ...
troutwine_away is now known as troutwine
<nojb>
Because it is a repl for a scripting language and I don't want the interpreter to know anything about lambda-term which is only concerned with the interface ...
<Drup>
then make the interpreter take a string.
<Drup>
no reason to use standard input
<nojb>
the point is that I do not know when the script might require input - right now it seems that 1) I have to make the interpreter 1) use lambda-term directly, or 2) get out of the execution loop, read the input using lambda-term and then pass it back to the script somehow ...
arj has quit [Quit: Leaving.]
<Drup>
oh, you want to support standard input *in the script you are executing*
<nojb>
Anyway, it's no big deal - for now I can just use lambda-term directly
<Drup>
ok, right
<nojb>
right, that's right
<Drup>
just look at how utop does it
<Drup>
You're using LTerm_read_line.term, right ?
<nojb>
yes
octachron has quit [Ping timeout: 246 seconds]
<Drup>
so, yeah, there is a small thing to do in the interactive loop to handle that, but I don't remember it. Should be easy to find in utop
<nojb>
thans, I will take a lot .
<nojb>
*thanks
<nojb>
*look
Submarine has joined #ocaml
Nuki has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
ygrek has quit [Ping timeout: 250 seconds]
philtor has joined #ocaml
troutwine is now known as troutwine_away
ollehar has joined #ocaml
englishm_ has joined #ocaml
englishm has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 250 seconds]
Gonzih has quit [Ping timeout: 240 seconds]
troutwine_away is now known as troutwine
Arsenik has quit [*.net *.split]
seliopou has quit [*.net *.split]
Arsenik has joined #ocaml
seliopou has joined #ocaml
fold has quit [Ping timeout: 255 seconds]
nojb has quit [Ping timeout: 260 seconds]
axiles has quit [Ping timeout: 245 seconds]
Tom_ has joined #ocaml
Tom_ is now known as Guest57088
travisbrady has joined #ocaml
<Guest57088>
Hi guys, anyone failiar with tuntap in Ocaml?
<flux>
not in particular, but I don't see why using it would require much more than Unix.read/write. well, maybe some C for configuring it.
hhugo has joined #ocaml
<Guest57088>
that is right. My question would be more related to unix config other than OCaml
NoNNaN has quit [Ping timeout: 264 seconds]
<Guest57088>
I have an OCaml client using tap0
<Guest57088>
I am setting ip addresses statically
<Guest57088>
I would like to connect my client to a server running on local host
NoNNaN has joined #ocaml
<Guest57088>
I couldn't make it work with unix bridge
<Guest57088>
any idea that can help me in making it work?
<flux>
what do you need the tap for if you're connecting localhost?
<Guest57088>
I am writing a general mirage program that uses tuntap
<madroach>
Guest57088: are you on linux? Can you post ifconfig and route output somewhere?
<Guest57088>
you mean, post it here?
parcs has quit [Remote host closed the connection]
locallycompact has quit [Ping timeout: 260 seconds]
<Drup>
pastebin :)
<Guest57088>
nice thing Drup
parcs has joined #ocaml
<Guest57088>
wait for a moment pls
troutwine is now known as troutwine_away
Arsenik has quit [Remote host closed the connection]
<madroach>
Your tun interface doesn't need any ip. Linux bridging is a bit difficult, because it won't assign IPs to the member interfaces. Instead the bridge interface acts as a virtual ethernet interface.
<madroach>
I guess your eth0 gets its ip assigned by dhcp.
<Guest57088>
that is right
<Guest57088>
eth0 has its ip assigned by dhcp
<madroach>
Try running dhclient on bridge0 after setting up the bridge.
<madroach>
then your internet connection should prevail.
<Guest57088>
should I keep eth0 ip, or release it?
<madroach>
release it.
Gonzih has joined #ocaml
<Guest57088>
I did it once, but I try t again, since I didn't run dhclient on the bridge
<madroach>
When I last used linux (several years ago) bridges did not use ips assigned to the member interfaces.
englishm_ has quit [Ping timeout: 264 seconds]
<madroach>
You had to configure the bridge0 interfase as "virtual" interface instead.
<Guest57088>
so, if both interfaces doesn't have ip, how the client that is build over tap0 will connect to the listening program?
<Guest57088>
shall I set cleint ip to 127.0.0.1 and connect to the same ip on a different port?
<Guest57088>
hmmm
englishm_ has joined #ocaml
travisbrady has joined #ocaml
<madroach>
uh
mcclurmc has joined #ocaml
<madroach>
bridges work on the MAC level.
englishm has quit [Ping timeout: 240 seconds]
<madroach>
the ip of your virtualized mirage is set on the guest.
<madroach>
think of the bride as ethernet hub/switch. You won't configure IPs on your switch either.
<Guest57088>
that is right.
<Guest57088>
but I am thinking of the guest app and server as two machines connected through interfaces that want ot communicate on tcp/ip level
<Guest57088>
so, what would be the dest ip for the socket in client app?
<madroach>
the ip your bridge0 gets assigned by dhcp
<Guest57088>
oh, got it
<Guest57088>
I forgot that dhclient
<madroach>
I don't know mirage. Is it able to act as dhcp client?
<madroach>
It will be able to get its config from your dhcp server.
samrat has quit [Quit: Computer has gone to sleep.]
<madroach>
And don't forget to do ifconfig eth0 up !!
<Guest57088>
yes, it can, but at the moment it doesn't since it cannot see dhcp server
<Guest57088>
sure, so let me try it
<Guest57088>
thanks by the way, if I didn't come back, that means my connection to the local network is lost. I will continue pinging you guys later or tomorrow if problem still exists
Gonzih has quit [Ping timeout: 255 seconds]
maattdd has joined #ocaml
Thooms has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
hhugo has quit [Quit: Leaving.]
maattdd has quit [Ping timeout: 264 seconds]
NoNNaN has joined #ocaml
ollehar has joined #ocaml
Guest57088 has quit [Ping timeout: 246 seconds]
martintrojer has quit [Ping timeout: 245 seconds]
martintrojer has joined #ocaml
englishm_ has quit [Remote host closed the connection]
_0xAX has quit [Quit: Leaving]
_0xAX has joined #ocaml
englishm_ has joined #ocaml
_0xAX has quit [Client Quit]
_0xAX has joined #ocaml
_0xAX has quit [Remote host closed the connection]
rand000 has joined #ocaml
manizzle has joined #ocaml
hhugo has joined #ocaml
WraithM has quit [Ping timeout: 240 seconds]
philtor has joined #ocaml
Arsenik has joined #ocaml
ccowan` has quit [Ping timeout: 260 seconds]
ccowan` has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
pgomes has joined #ocaml
<whitequark>
Armael: where can I report bugs on camlimages?