Simn has quit [Read error: Connection reset by peer]
kizzx2 has quit [Quit: Leaving.]
thizanne has quit [Ping timeout: 272 seconds]
thizanne has joined #ocaml
ocp has quit [Ping timeout: 245 seconds]
csakatoku has joined #ocaml
cantstanya has joined #ocaml
struktured has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
strobegen has joined #ocaml
platypine has quit [Ping timeout: 246 seconds]
yacks has quit [Ping timeout: 240 seconds]
zxqdms has quit [Quit: leaving]
ollehar has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 272 seconds]
ollehar has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 246 seconds]
ggole has joined #ocaml
csakatoku has joined #ocaml
zarul has quit [Remote host closed the connection]
yacks has joined #ocaml
ollehar has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
Arsenik has joined #ocaml
zarul has joined #ocaml
skchrko has quit [Quit: Leaving]
hnrgrgr has quit [Ping timeout: 245 seconds]
CalimeroTeknik has quit [Ping timeout: 245 seconds]
hnrgrgr has joined #ocaml
chambart has joined #ocaml
CalimeroTeknik has joined #ocaml
chambart has quit [Ping timeout: 252 seconds]
Arsenik has quit [Remote host closed the connection]
ttamttam has joined #ocaml
wolfnn has joined #ocaml
emctoo has joined #ocaml
<emctoo>
I want to compile ocaml binary for windows on linux, is it possible?
<emctoo>
somebody could help me ?
<mangaba_leitosa>
emctoo: why not? just download ocaml for windows?
<mangaba_leitosa>
emctoo: I did it by downloading cygwin + gcc and compiling ocaml from source
dch has quit []
<emctoo>
I do not have windows system
<mangaba_leitosa>
oh, I missed 'on linux', sorry
<mangaba_leitosa>
not, I didn't try this
<emctoo>
any resource ?
<mangaba_leitosa>
I don't know if ocaml supports cross compilation
shinnya has joined #ocaml
<emctoo>
the windows distro of ocaml is cross compiled, right?
djcoin_ has joined #ocaml
<emctoo>
@mangaba, thanks
<mangaba_leitosa>
emctoo: I don't know, but I did successfully compile ocaml from source under windows itself using cygwin
<mangaba_leitosa>
emctoo: maybe try wine + cygwin there :-)
<emctoo>
actually, I do not like cygwin dependancy
<mangaba_leitosa>
emctoo: there is no cygwin depenency for binaries compiled by ocaml this way
<emctoo>
maybe the right question is, can the cygwin dependancy removed?
<emctoo>
you means the output binary is naitive?
<mangaba_leitosa>
yes
<emctoo>
em, that's better than I thought, I think I should try
<emctoo>
Thanks
<emctoo>
very much
<mangaba_leitosa>
you're welcome
emctoo has quit [Quit: Page closed]
Kakadu has joined #ocaml
cago has joined #ocaml
troydm has quit [Ping timeout: 264 seconds]
csakatok_ has joined #ocaml
skchrko has joined #ocaml
csakatoku has quit [Ping timeout: 248 seconds]
Kakadu_ has joined #ocaml
Kakadu has quit [Ping timeout: 246 seconds]
olibjerd has joined #ocaml
anderse has joined #ocaml
ygrek has joined #ocaml
anderse has quit [Quit: anderse]
steshaw has quit [Ping timeout: 240 seconds]
cago has quit [Ping timeout: 272 seconds]
jonludlam has quit [Remote host closed the connection]
maufred has joined #ocaml
anderse has joined #ocaml
Enjolras_ is now known as Enjolras
Enjolras has quit [Changing host]
Enjolras has joined #ocaml
Simn has joined #ocaml
eikke has joined #ocaml
NoNNaN has joined #ocaml
csakatoku has joined #ocaml
csakatok_ has quit [Ping timeout: 245 seconds]
NoNNaN has quit [Remote host closed the connection]
platypine has joined #ocaml
platypine has quit [Changing host]
platypine has joined #ocaml
anderse has quit [Quit: anderse]
platypine has quit [Ping timeout: 245 seconds]
ggole_ has joined #ocaml
ggole has quit [Ping timeout: 240 seconds]
mfp has joined #ocaml
steshaw has joined #ocaml
ttamttam has quit [Quit: ttamttam]
ygrek has quit [Ping timeout: 245 seconds]
Neros has quit [Ping timeout: 272 seconds]
letoh has quit [Ping timeout: 265 seconds]
jonludlam has joined #ocaml
NoNNaN has joined #ocaml
cago has joined #ocaml
cago has quit [Client Quit]
cago1 has joined #ocaml
Neros has joined #ocaml
_andre has joined #ocaml
levi` has quit [Ping timeout: 272 seconds]
cago1 has left #ocaml []
cago has joined #ocaml
djcoin_ is now known as djcoin
zpe has joined #ocaml
chambart has joined #ocaml
troydm has joined #ocaml
steshaw has quit [Quit: Leaving]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 248 seconds]
yacks has quit [Quit: Leaving]
csakatoku has joined #ocaml
chrisdotcode has quit [Ping timeout: 245 seconds]
ttamttam has joined #ocaml
<eikke>
am I correct that %caml_string_getN and %caml_string_getNu (for N = 16, 32,...) are the same, but the 'u' version doesnt perform string boundary checks?
yacks has joined #ocaml
troydm has quit [Ping timeout: 264 seconds]
ocp has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 260 seconds]
chambart has quit [Ping timeout: 245 seconds]
darkf has quit [Quit: Leaving]
mort___ has joined #ocaml
ttamttam has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
ttamttam has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
mort___ has quit [Client Quit]
milosn has quit [Read error: Operation timed out]
yacks has quit [Quit: Leaving]
milosn has joined #ocaml
jonludlam has quit [Remote host closed the connection]
dsheets has quit [Ping timeout: 245 seconds]
Neros has quit [Ping timeout: 245 seconds]
Drup has joined #ocaml
Neros has joined #ocaml
Drup has quit [Client Quit]
Drup has joined #ocaml
Drup has quit [Client Quit]
Neros has quit [Remote host closed the connection]
Neros has joined #ocaml
Drup has joined #ocaml
Drup has left #ocaml []
dsheets has joined #ocaml
Drup has joined #ocaml
Drup has quit [Client Quit]
Drup has joined #ocaml
dsheets_ has joined #ocaml
<ggole_>
eikke: seems that is correct, looking at the patch that added them.
dsheets has quit [Ping timeout: 245 seconds]
ggole_ is now known as ggole
troydm has joined #ocaml
jonludlam has joined #ocaml
<eikke>
think I found a bug in them
<ggole>
Oh?
jonludlam has quit [Ping timeout: 245 seconds]
Kakadu_ has quit []
chambart has joined #ocaml
jonludlam has joined #ocaml
adrinou is now known as adrien_oww
<mrvn>
drup: mirage needs xen.
<Drup>
huum, indeed
_andre has quit [Read error: No route to host]
fantasticsid has joined #ocaml
struktured has quit [Ping timeout: 260 seconds]
mcclurmc has joined #ocaml
fantasticsid has quit [Client Quit]
Drup has quit [Read error: Connection reset by peer]
Drup has joined #ocaml
skchrko has quit [Ping timeout: 240 seconds]
mort___ has joined #ocaml
skchrko has joined #ocaml
letoh has joined #ocaml
wolfnn has quit [Ping timeout: 260 seconds]
dsheets_ has quit [Ping timeout: 260 seconds]
metasyntax has joined #ocaml
adam345 has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
adam345 has quit []
ggole_ has joined #ocaml
ggole has quit [Ping timeout: 260 seconds]
Neros has joined #ocaml
mfp has quit [Read error: Connection reset by peer]
saml has joined #ocaml
mfp has joined #ocaml
ocp has quit [Quit: Leaving.]
ocp has joined #ocaml
mort___ has quit [Quit: Leaving.]
Simn has quit [Quit: Leaving]
dsheets_ has joined #ocaml
skchrko has quit [Quit: Leaving]
rwmjones has quit [Ping timeout: 246 seconds]
_andre has joined #ocaml
<adrien_oww>
I'm curious: anyone knows how ocaml-gettext behaves when the .mo is missing?
<adrien_oww>
I've just seen that python's gettext module raises an exception and that sounds overkill
_andre has quit [Client Quit]
<adrien_oww>
(since missing translations is a common thing and the usual outcome is to not translate)
ggole_ is now known as ggole
rwmjones has joined #ocaml
csakatoku has joined #ocaml
jonludlam has quit [Ping timeout: 245 seconds]
Guest76588 has quit [Read error: Operation timed out]
Guest76588 has joined #ocaml
Guest76588 has quit [Client Quit]
ollehar has joined #ocaml
jonludlam has joined #ocaml
csakatoku has quit [Remote host closed the connection]
rwmjones has quit [Ping timeout: 246 seconds]
csakatoku has joined #ocaml
strobegen has quit [Quit: Leaving.]
strobegen has joined #ocaml
ocp has quit [Quit: Leaving.]
csakatoku has quit [Ping timeout: 272 seconds]
ocp has joined #ocaml
Drup has quit [Ping timeout: 248 seconds]
cantstanya has quit [Ping timeout: 240 seconds]
Drup has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
cago has left #ocaml []
rwmjones has joined #ocaml
ttamttam has quit [Quit: ttamttam]
chambart has quit [Ping timeout: 248 seconds]
cantstanya has joined #ocaml
skchrko has joined #ocaml
ocp has quit [Quit: Leaving.]
kmicinski has joined #ocaml
<kmicinski>
I'm trying to write a memoization function which uses a map to memoize inputs and store outputs, but the input is polymorphic, so I need something like a universal list that contains something like ('a, t 'a).
<kmicinski>
I understand there's an inherent wrongness about this, but any suggestions on implementing something universal as this?
<whitequark>
what you want sounds like a job for GADTs
<kmicinski>
I agree, though I didn't think about that
<whitequark>
haha, the implementation is ingeniously simple
_andre has joined #ocaml
rwmjones has quit [Ping timeout: 246 seconds]
shinnya has quit [Read error: Operation timed out]
tane has joined #ocaml
Neros has joined #ocaml
rwmjones has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
skchrko has quit [Ping timeout: 272 seconds]
skchrko has joined #ocaml
djcoin has quit [Quit: WeeChat 0.4.1]
_andre has quit [Remote host closed the connection]
Arsenik has joined #ocaml
_andre has joined #ocaml
eikke has quit [Read error: Operation timed out]
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
wolfnn has joined #ocaml
nk0 has joined #ocaml
talzeus has quit [Ping timeout: 246 seconds]
ocp has joined #ocaml
jonludlam has quit [Remote host closed the connection]
zpe has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
zpe has quit [Ping timeout: 248 seconds]
anderse has joined #ocaml
stevej has joined #ocaml
<ggole>
30 matches for "assert false" in buffer
<ggole>
Time to rethink some of this.
mcclurmc_ has joined #ocaml
lamawithonel_ has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
lamawithonel_ has joined #ocaml
kmicinski has quit [Quit: Lost terminal]
ollehar has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
TDJACR has quit [Ping timeout: 245 seconds]
dsheets_ has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
TDJACR has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
TDJACR has quit [Ping timeout: 272 seconds]
zpe has joined #ocaml
ollehar has joined #ocaml
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
yezariaely has joined #ocaml
Drup has quit [Ping timeout: 240 seconds]
zpe has quit [Ping timeout: 240 seconds]
strmpnk has quit []
rwmjones has quit [Ping timeout: 246 seconds]
jonludlam has joined #ocaml
dsheets_ has joined #ocaml
tane has quit [Quit: Verlassend]
TDJACR has joined #ocaml
tane has joined #ocaml
BitPuffin has joined #ocaml
jonludlam has quit [Ping timeout: 240 seconds]
rwmjones has joined #ocaml
BitPuffin has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
ggole has quit []
chrisdotcode has joined #ocaml
Anarchos has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
ontologiae has joined #ocaml
pango has quit [Remote host closed the connection]
ocp has quit [Ping timeout: 272 seconds]
pango has joined #ocaml
_andre has quit [Quit: leaving]
yezariaely has quit [Quit: Leaving.]
chambart has joined #ocaml
Drup has joined #ocaml
yacks has joined #ocaml
rand000 has joined #ocaml
darkf has joined #ocaml
BitPuffin has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
wmeyer has joined #ocaml
<wmeyer>
ping adrien
<adrien>
wmeyer: pong
<adrien>
saw a couple emails but I'm too tired; I'll re-read tomorrow morning
<adrien>
without reading them though, the patch I put up last week should be good but I've had no time to test it
<adrien>
just finished a project at work so I'm again getting free time
<wmeyer>
adrien: I think we should then revert the work you've done, if you don't have time, people can't test the compiler because of this issue.
<wmeyer>
myself I am tired today too, but we have to fix it
<wmeyer>
you should not submit untested patches
<adrien>
that patch I made last week is on the mailing-list; I wish they tested it
<wmeyer>
no, you have to test your patches, at least please respond to them today. We have to fix it, otherwise people will get angry
<adrien>
it's also a bit frustrating for me because I gave the first hint for that patch several weeks ago but got no comment
<mrvn>
Jipey. I have ocaml runnint bare-bone on my RaspberryPI now.
<adrien>
I got home a few minutes ago, I'm really unable to think right now
<wmeyer>
because I am not sure if that works, anymore, maybe we should just revert it
<adrien>
it's probably more work to revert than to test the patch I put on the ML: it's 10 lines of changes which are all the same and trivial
<wmeyer>
I'll apply the patch (or the two patches, I lost it, and see if that fixes the problem)
<wmeyer>
there are three patches:
<adrien>
(I think I'm only counting 2 right now)
<adrien>
heh, juste saw that in the compiler: Compile multiplication by power of 2 constant to left shift.
zamN has joined #ocaml
<zamN>
hello friends! I have some ocaml syntax questions if anyone cares to answer. Google seems to be failing me x|
<wmeyer>
adrien: ok i replied
<wmeyer>
please read
<zamN>
What does the option keyword mean? in specifics: char option
<zamN>
i.e. I have: int * char option * int. THat means that I don't have to specify the char and it will be filled with something else?
<jpdeplaix>
zamN: it's not a keyword, it's a parametrized type
<jpdeplaix>
defined by: « type 'a option = None | Some of 'a »
<zamN>
how do I interpret that
<adrien>
wmeyer: I really prefer to wait until tomorrow morning; I'll be answering after I wake up, before going to work
<adrien>
but right now, I'm dead
<nicoo>
mrvn: Nice
<adrien>
I'm doing a bootstrap test though
<wmeyer>
adrien: dont' say it
<nicoo>
zamN: a char option is either None or (Some char)
<adrien>
dead-tired :)
<zamN>
how can I play around with types in the ocaml parser?
<zamN>
If i do: type transition = int * char option * int and I reference transition again it says it is unbound
<Drup>
zamN: what do you mean by "in the parser" ?
<zamN>
er, i mean't interpreter
<Drup>
transition is a type, you can't manipulate as a value
<zamN>
so then how do i create something as that type
<Drup>
in this case, the type is only an alias
<Drup>
let x : transition = (3, None, 2) ;;
<Drup>
should be accepted
<Drup>
": transition" is here to tell the type, it's optionnal
<zamN>
ah okay
<zamN>
i remember that now
<zamN>
This expression has type char but an expression was expected of type
<zamN>
char option
<zamN>
i tried putting in 'a' instead of None.
<zamN>
Are characters different in ocaml? o_O
<nicoo>
zamN: Il faut mettre (Some 'a')
<zamN>
nicoo: english?
<nicoo>
Sorry. You have to put (Some 'a')
<zamN>
ah okay. thanks
<nicoo>
Because, as I said, a value of type "char option" is either "None" or "Some char"
<wmeyer>
adrien: don't worry about it, but I'll be fixing it now.
<nicoo>
You are welcome :)
<adrien>
wmeyer: hmm? what do you mean?
<wmeyer>
adrien: please read the email
lopex has quit [Remote host closed the connection]
<adrien>
I'm wondering if I've been expressing myself very poorly during months
lopex has joined #ocaml
<wmeyer>
adrien: i am wondering if we had enough time and faith testing the patches
<wmeyer>
but let me fix that
<adrien>
Xavier managed to mention yet another build scenario
<adrien>
full testing is:
<adrien>
- configure
<adrien>
- build world
<adrien>
- build world.opt
<adrien>
- build world then opt.opt
<adrien>
- bootstrap
<adrien>
- make core
<adrien>
- bootstrap camlp4
<adrien>
- god knows what else
<adrien>
and
<adrien>
on linux, windows, *bsd
ygrek has quit [Ping timeout: 245 seconds]
ggherdov has quit [Write error: Connection reset by peer]
bobry has quit [Remote host closed the connection]
davekong has quit [Remote host closed the connection]
IbnFirnas_ has quit [Remote host closed the connection]
jyeo has quit [Remote host closed the connection]
Arsenik has quit [Remote host closed the connection]
chrisdotcode is now known as chrisblake
eikke has joined #ocaml
<adrien>
wmeyer: answering
<adrien>
summary
<adrien>
patch from last week which is in turn based on the approach mentionned a month ago fixes the bootstrap issue according to the build procedure given by Alain
<wmeyer>
adrien: great
<wmeyer>
Which patches are these, 3 last latches?
<wmeyer>
could you prepare a test cases, so we can test it?
<adrien>
I'll try to make that clear in the mail
<adrien>
and I don't have a test case, that's the first issue!
<adrien>
there are only a few people bootstrapping the compiler
<wmeyer>
this will be a long night :)
<adrien>
and even them only bootstrap parts of it
<adrien>
I'm going to bed soon (I hope)
<adrien>
well, writing the email
<wmeyer>
adrien: remember that we have to get it right
<wmeyer>
by tomorrow night
<adrien>
well, wait for the email
tane has quit [Quit: Verlassend]
tane has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
<zamN>
back back friends :x
zamN has quit []
NoNNaN has joined #ocaml
<eikke>
is there a more efficient way to 'uncurry' a function compared to (fun (a, b) -> curried a b) ? (using some primop)