komar_ has quit [Read error: 60 (Operation timed out)]
sgwizdak has quit [Read error: 104 (Connection reset by peer)]
komar_ has joined #ocaml
sgwizdak has joined #ocaml
charlenopires has joined #ocaml
eaburns has left #ocaml []
jeddhaberstro has joined #ocaml
charlenopires has quit [Read error: 104 (Connection reset by peer)]
charlenopires has joined #ocaml
charlenopires has quit [Read error: 104 (Connection reset by peer)]
maskd has quit [Remote closed the connection]
Lemonator has joined #ocaml
Lemonator has quit [Read error: 104 (Connection reset by peer)]
thelema has joined #ocaml
Submarine has joined #ocaml
Yoric[DT] has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
jeddhaberstro has quit []
thelema has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
lde has quit [Read error: 110 (Connection timed out)]
Submarine has quit [Read error: 60 (Operation timed out)]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
Submarine has joined #ocaml
thelema has joined #ocaml
slash_ has joined #ocaml
hkBst has joined #ocaml
jeanbon has joined #ocaml
mjs22 has joined #ocaml
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
mjs22 has quit []
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
_zack has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
julm has joined #ocaml
ulfdoz has joined #ocaml
youscef has joined #ocaml
_zack has quit ["Leaving."]
Submarine has quit [Remote closed the connection]
toyvo has joined #ocaml
<toyvo>
Hi. I'm looking for an URI handling OCaml library. Any suggestions? Thanks.
<sgnb>
toyvo: neturl, from ocamlnet
<toyvo>
thanks a lot, got it
esope has joined #ocaml
itewsh has quit [Success]
itewsh has joined #ocaml
fschwidom has joined #ocaml
toyvo` has joined #ocaml
toyvo has quit [Read error: 104 (Connection reset by peer)]
Ched has quit [Read error: 60 (Operation timed out)]
<C_Tux>
hmmmm, ocamlbuild copies all your source files in the _build folder, a symlink or using the regular file would probably be better
<sgnb>
indeed
<sgnb>
(or a hardlink)
<C_Tux>
I'd avoid hardlinks because it would be tempting to use them on windows with ntfs partitions, but they are terrible on that platform
toyvo` has quit [Read error: 104 (Connection reset by peer)]
<julm>
C_Tux: what's terrible about NTFS' harlinks?
<sgnb>
oh... right (I always forget about windows...)
<julm>
hard*
itewsh has quit [Connection timed out]
<C_Tux>
julm: they work in a weird way, that's maybe explorer's fault (WinSxS is actually full of hardlinks and seems to work) but if you create one to another file, you won't be able to remove it without rebooting or move it
itewsh has joined #ocaml
<C_Tux>
I should try again on win7 but my previous experiences have been so bad...
<julm>
ok, thx
komar_ has quit [Read error: 60 (Operation timed out)]
Ched has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
slash_ has quit [Client Quit]
komar_ has joined #ocaml
lcars has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
<mehdid>
C_Tux: Sometimes, you need to modify your sources during build (yes I know, it's rare) but still... in such case, you are happy to see ocamlbuild copying the sources...
itewsh has joined #ocaml
<C_Tux>
it's true copying is safer
* C_Tux
cries
<C_Tux>
I couldn't get why something didn't typecheck, I was using objects and was calling something set as "val" instead of "method" ='(
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
Yoric[DT] has quit [Read error: 110 (Connection timed out)]
komar_ has quit [Read error: 60 (Operation timed out)]
komar_ has joined #ocaml
ertai has joined #ocaml
ertai has quit [Client Quit]
ertai has joined #ocaml
Phyx- has joined #ocaml
<Phyx->
hey guys, one question, what does ^ mean in a type?
<julm>
Phyx-: do you have an example?
_zack has joined #ocaml
<Phyx->
val StPred = Type `:^State->bool` ;
<julm>
it is OCAML code?
<Phyx->
it's actually ML but i can't find a channel for just ML
<julm>
ah
itewsh has quit [Read error: 110 (Connection timed out)]
* julm
doesn't know then..
<Phyx->
my wildest guess is that it makes an argumen that's a function
itewsh has joined #ocaml
<bacam>
Phyx-: That doesn't look like normal ML; perhaps it's a mosml quotation?
<Phyx->
bacam: that might be, probably why i couldn't find anything about it in the ML language reference
<bacam>
There's a section in the mosml manual about it.
<Phyx->
*looks*
<Phyx->
ah, antiquoted
jmou has joined #ocaml
_zack has quit ["Leaving."]
julm has quit [Read error: 110 (Connection timed out)]
ulfdoz has quit [Read error: 110 (Connection timed out)]
jeddhaberstro has joined #ocaml
Dr_Slump has joined #ocaml
Dr_Slump has quit [Client Quit]
jmou has quit [Read error: 110 (Connection timed out)]
jmou has joined #ocaml
mpwd has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
Phyx- has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
komar_ has quit [Read error: 60 (Operation timed out)]
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
julm has joined #ocaml
jmou has quit [Read error: 110 (Connection timed out)]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
mpwd is now known as xcthulhu_afk
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
jmou has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
jeddhaberstro has quit []
jmou is now known as julm
_zack has joined #ocaml
ergodick has joined #ocaml
okagawa has joined #ocaml
ergodick has left #ocaml []
okagawa has left #ocaml []
AxleLonghorn has joined #ocaml
<AxleLonghorn>
I have a question about variant types
<AxleLonghorn>
polymorphic variants
<AxleLonghorn>
I'm modeling the Parrot VM PIR language
<AxleLonghorn>
which has four register types
<AxleLonghorn>
Int, Num, String, and PMC
<AxleLonghorn>
So far, I've used a regular variant type: let ptype = Int | Num | Str | PMC
<AxleLonghorn>
this presents a problem when I have functions that should only take one of the register types
<AxleLonghorn>
i.e. (concat s0 s1 s2)
<AxleLonghorn>
s0,s1,s2 should all be Str, but obviously the type system can't guarantee that
<AxleLonghorn>
would polymorphic variants achieve what I want here? or should I separate the types into say: type pint;; type pnum;; type pstr;; type ppmc
<AxleLonghorn>
actually, scratch the second one, because there are several functions that should be able to take all of the different register types
<C_Tux>
polymorphic variants sound fit for that
<AxleLonghorn>
am I going to run into any problems?
<AxleLonghorn>
the manual lists some weaknesses. In practice is there anything I should be aware of?
<AxleLonghorn>
If I sound hesitant, it's because it's probably going to take an hour to refactor the code
xcthulhu_afk is now known as xcthulhu
<C_Tux>
well, I can't guarantee the results but one motivation for polymorphic variants was to enable stronger typing in places where regular variants wouldn't, which is the case in your example afaik
<AxleLonghorn>
ok, cool
<AxleLonghorn>
I've never found I had a need for them till now, so I never learned them
_zack has quit ["Leaving."]
rAphael_ has joined #ocaml
Smerdyakov has joined #ocaml
flux has quit [Read error: 60 (Operation timed out)]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
yziquel has joined #ocaml
yziquel has left #ocaml []
flux has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
AxleLonghorn has left #ocaml []
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
M| has joined #ocaml
Ppjet6 has joined #ocaml
mjs22 has joined #ocaml
jmou has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
jmou is now known as julm
lagenar has joined #ocaml
lagenar has left #ocaml []
digitake has joined #ocaml
mjs22 has quit []
jeddhaberstro has joined #ocaml
jael has joined #ocaml
ulfdoz has joined #ocaml
<C_Tux>
anyone know how to access ocaml objects from C ?
<C_Tux>
schme: manual032 doesn't have the required infos
mal`` has quit ["Coyote finally caught me"]
<C_Tux>
julm: looks like what I need, but I am probably doing it the wrong way, I shouldn't make them directly readable from ocaml
mal`` has joined #ocaml
<C_Tux>
I'll just keep pointers
esope has left #ocaml []
digitake has quit []
Yoric[DT] has joined #ocaml
Jedai has quit ["KVIrc Insomnia 4.0.0, revision: , sources date: 20090115, built on: 2009/03/07 00:45:02 UTC http://www.kvirc.net/"]
ulfdoz has quit [Read error: 110 (Connection timed out)]
jeanbon has quit [".)(.)(."]
<mrvn>
C_Tux: 18.3.5 handles objects. Accessing the value parts of an object from C isn't really how ocaml works, just like under ocaml you have to call a method that returns a value instead of accessing the value directly from outside the class.
<mrvn>
C_Tux: Or do you want to write an ocaml object that is (partly) implemented in C?
<C_Tux>
mrvn: I thought calling methods to get the values and transmit these values one by one would work, but that seemed quite ugly
<C_Tux>
mrvn: no, workign on gtk 'objects'
<mrvn>
C_Tux: I would wrap the gtk object in an abstract type. Then write an ocaml class that has as value that abstract type and the methods call C functions to extract the values from the abstract type.
<mrvn>
.oO(i.e. keep the pointer :)
Yoric[DT] has quit ["Ex-Chat"]
<mrvn>
Might be nice to make it a custom type with finalize() function so that when ocaml no longer uses an gtk object it can be freed. But that might be more complex.
<C_Tux>
mrvn: yep, I'll keep the pointer and won't try to access it directly from ocaml
<C_Tux>
mrvn: will depend on lablgtk
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
<C_Tux>
that's awful, it's 00:12 and I could go read a book outside without any additional light, big cities definitely produce too much light
<mrvn>
And the only options are: Close the blinds and die of heatstroke or sleep in light.
<C_Tux>
it'll be ok, it got fresher today, but being able to light the clouds is scary
<C_Tux>
last time I came back to Paris in an airplane during the night, I noticed Paris, it was very cloudy but you could see Paris lights throught the clouds =/
peddie_ has joined #ocaml
peddie has quit [Read error: 60 (Operation timed out)]
itewsh has quit [Read error: 110 (Connection timed out)]
fschwidom has quit [Remote closed the connection]
itewsh has joined #ocaml
jmou has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
jmou is now known as julm
itewsh has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]