mrvn changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | http://ocaml.org/releases/4.02.0.html | Logs at http://irclog.whitequark.org/ocaml
pyon has joined #ocaml
Muzer has quit [Excess Flood]
Muzer has joined #ocaml
philtor has joined #ocaml
eikke__ has quit [Ping timeout: 264 seconds]
troutwine is now known as troutwine_away
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
dotfelix has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
SethTisue has joined #ocaml
philtom has joined #ocaml
Derander has quit [Quit: ZNC - http://znc.sourceforge.net]
Derander has joined #ocaml
philtom has quit [Ping timeout: 272 seconds]
tautologico has joined #ocaml
cthuluh has quit [Ping timeout: 250 seconds]
tautologico has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
lbaan has quit [Quit: sleeping device]
tautologico has joined #ocaml
alinab has quit [Remote host closed the connection]
q66 has quit [Quit: Leaving]
cthuluh has joined #ocaml
SethTisue has quit [Read error: Connection reset by peer]
SethTisue has joined #ocaml
cespinoza has quit [Ping timeout: 268 seconds]
cespinoza has joined #ocaml
darkf has quit [Ping timeout: 240 seconds]
SethTisue has quit [Quit: SethTisue]
darkf has joined #ocaml
philtor has quit [Ping timeout: 264 seconds]
englishm has joined #ocaml
darkf_ has joined #ocaml
SethTisue has joined #ocaml
darkf has quit [Ping timeout: 268 seconds]
darkf__ has joined #ocaml
Muzer has quit [Excess Flood]
tautologico has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
darkf_ has quit [Ping timeout: 240 seconds]
darkf__ is now known as darkf
cespinoza has quit [Ping timeout: 240 seconds]
Muzer has joined #ocaml
cespinoza has joined #ocaml
ZenosDance has joined #ocaml
dotfelix has quit [Quit: Leaving]
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
xiaolin has joined #ocaml
tautologico has joined #ocaml
ZenosDance has quit [Ping timeout: 240 seconds]
ZenosDance has joined #ocaml
tautologico has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
alinab has joined #ocaml
philtor has joined #ocaml
SethTisue_ has joined #ocaml
SethTisue has quit [Ping timeout: 260 seconds]
SethTisue_ is now known as SethTisue
WraithM has quit [Ping timeout: 260 seconds]
fold has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
ZenosDance has quit [Ping timeout: 240 seconds]
philtor has quit [Ping timeout: 276 seconds]
mcclurmc has joined #ocaml
philtor has joined #ocaml
bytbox has quit [Remote host closed the connection]
rbm has joined #ocaml
<rbm> Anyone successfully installed Core, Core_kernel in raspberry pi?
<rbm> it seems is running out of memory ... got similar error messages as in this issue https://github.com/ocaml/opam/issues/1339
mcclurmc has quit [Remote host closed the connection]
philtor has quit [Ping timeout: 246 seconds]
pyon has quit [Quit: These skies and seas hold great possibilities for you. Stay alive. Pursue happiness. I expect much from your life.]
bytbox has joined #ocaml
heidi-ann has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
<johnf> and one more camlp4 question, how do I handle optional values, e.g. type t = { a : int option }. I tried to print the AST using <:str_item< ... >> and duplicate it but get this error,
<johnf> Error: The constructor Ast.ExApp belongs to the variant type Camlp4.PreCast.Ast.expr but a constructor was expected belonging to the variant type option
axiles has joined #ocaml
bytbox has quit [Remote host closed the connection]
SethTisue has quit [Quit: SethTisue]
path[l] has joined #ocaml
rbm has quit [Ping timeout: 240 seconds]
WraithM has joined #ocaml
cespinoza has quit [Ping timeout: 255 seconds]
cespinoza has joined #ocaml
yacks has quit [Quit: Leaving]
Hannibal_Smith has joined #ocaml
slash^ has joined #ocaml
heidi-ann has quit [Quit: heidi-ann]
rand000 has joined #ocaml
WraithM has quit [Ping timeout: 260 seconds]
MercurialAlchemi has joined #ocaml
heidi-ann has joined #ocaml
samrat has joined #ocaml
pyon has joined #ocaml
rand000 has quit [Ping timeout: 260 seconds]
cespinoza has quit [Ping timeout: 240 seconds]
cespinoza has joined #ocaml
zpe has joined #ocaml
zarul has quit [Ping timeout: 260 seconds]
yacks has joined #ocaml
claudiuc has quit [Remote host closed the connection]
Hannibal_Smith has quit [Quit: Sto andando via]
zarul has joined #ocaml
Simn has joined #ocaml
heidi-ann has quit [Quit: heidi-ann]
pgomes has joined #ocaml
pgomes has quit [Client Quit]
englishm has quit [Remote host closed the connection]
heidi-ann has joined #ocaml
englishm has joined #ocaml
<Drup> Leonidas: huum, what's wrong in specifying a max length ?
<Drup> it's only a max length, not the length of the string allocated
WraithM has joined #ocaml
AltGr has joined #ocaml
cago has joined #ocaml
eizodo-- has joined #ocaml
<mrvn> Drup: the only reasonable max length is infinity
eizodo-- is now known as eizodo
eizodo is now known as amixofgreedandcu
amixofgreedandcu is now known as curiosity
curiosity is now known as eizodo
eizodo is now known as thatsthepoint
thatsthepoint is now known as eizodo
<Drup> mrvn: no it's not, not when you are storing data comming from untrusted internet
Sizur has joined #ocaml
<mrvn> Drup: you stream that, you don't store it all in memory.
<Drup> by taking chunck of it, hence the max lenght argument ...
<mrvn> Nobody will ever download more than 2GB via http, right? Damn, that Debian.iso has 4.7Gb.
<mrvn> Drup: if max length determines the chunk size then that is named wrong
<Sizur> i'm just starting with ocaml and need direction under emacs: Tuareg or TypeRex or OCaml IDE?
<Drup> you don't understand, it's an attack vector against your server ...
<mrvn> Sizur: I use tuareg
<Sizur> mrvn: did you try typerex?
cdidd has quit [Quit: Leaving]
ggole has joined #ocaml
<Drup> Sizur: typerex is dead, don't use it
<Drup> either tuareg+ocp-index, or tuareg+merlin
<Sizur> i cannot find any info about capabilities of tuareg
<Drup> (merlin is fabulous, but slightly less reliable than ocp-index, try both)
slash^ has quit [Read error: Connection reset by peer]
<Sizur> thanks for pointers
zpe has quit [Remote host closed the connection]
slash^ has joined #ocaml
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
hhugo has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
<Leonidas> Drup: the problem with a maximum size is getting a number that is a reasonable maximum size
<Leonidas> I don't know what the size will be but wouldn't want the program to break just because I set a maximum size too small
<mrvn> see above, infinity
<Drup> ....
<Leonidas> whereas I don't care much about memory usage, if it gets too big, the kernel can still kill it.
<mrvn> or at least make it configurable. Don't hardcode some limit that will make it break next year
<Leonidas> i get that it is a preference, but it would be nice to be able to choose.
cdidd has joined #ocaml
<Drup> mrvn: you do realize that there is a max length for strings in ocaml ?
<Drup> Leonidas: Sys.max_string_length, if you don't care
<Leonidas> Drup: okay, yup that works for me. thanks.
<Drup> (but do realize it's technically a security hole for your server :p)
<Leonidas> yep, noted :-)
<mrvn> Drup: in 32bit that even is ridiciously 16MB low.
<Drup> in 32bit.
<Leonidas> why so low?
<mrvn> At university I had input data that was 300 byte too big for a string.
<Leonidas> for my purposes this is pretty much enough but still kinda odd
<mrvn> Leonidas: the length is encoded in the tag word of the block of memory. Only so many bits in a 32bit word.
<Drup> on 64bit, it's pretty close to infinity
<Leonidas> Drup: another question: what am I doing wrong with Streamlist? My code compiles but none of the streams gets evaluated. I posted to the ocsigen ML...
<Drup> Leonidas: haven't look at it just yet
<Leonidas> mrvn: ah, that explains it. Fortunately 32 bit is on the way out anyway
<Leonidas> Drup: its probably me doing something stupid
<mrvn> "There is no statute of limitations on stupidity." -- Randomly produced by a computer program called Markov3.
<mrvn> The difference between stupidity and genius is that genius has its limits. -Albert Einstein
<mrvn> "Humans are good at doing stupid things. It's one of our talents, and one we like to exercise frequentyl." -- someone
<mrvn> Leonidas: you are in good company
* Leonidas :)
eikke__ has joined #ocaml
<Drup> Leonidas: I didn't actually knew Eliom_registration.Streamlist :>
<Drup> but, if you want only to do json, String should be fine
<Leonidas> :>
<Leonidas> yes, now that I have an upper limit
<Leonidas> good thing I posted to the list, maybe someone can explain what is going on
<Leonidas> or I could try looking into the source code
Kakadu has joined #ocaml
<Drup> not sure you want to do that :D
heidi-ann has quit [Quit: heidi-ann]
hhugo has quit [Quit: Leaving.]
WraithM has quit [Ping timeout: 245 seconds]
dsheets has joined #ocaml
zpe has joined #ocaml
BitPuffin has joined #ocaml
BitPuffin has quit [Ping timeout: 255 seconds]
Sizur has left #ocaml [#ocaml]
yacks has quit [Ping timeout: 240 seconds]
Sizur has joined #ocaml
thomasga has joined #ocaml
avsm has joined #ocaml
heidi-ann has joined #ocaml
eizodo has quit [Quit: Page closed]
adrien is now known as adrien_oww
adrien_oww is now known as adrien
adrien_o1w is now known as adrien_oww
<Leonidas> Drup: yes, I saw that. I am orienting myself on that, but doing small steps to understand as much as possible on the way.
<Leonidas> (also, it limits on 4096, so I wasn't too impressed ;) )
<Simn> I'm noticing that `test @file` passes the file contents of `file` as command line arguments. Is that an OCaml feature?
rgrinberg has quit [Quit: Leaving.]
jue has joined #ocaml
oscar_toro has joined #ocaml
ggole has quit [Ping timeout: 268 seconds]
yacks has joined #ocaml
ggole has joined #ocaml
<Drup> Leonidas: that's pretty trivial to change
<Drup> Leonidas: If you prefer, there is this version: http://ocsigen.org/tuto/4.0/manual/how-to-write-a-json-service
<Drup> :)
ontologiae has joined #ocaml
robink has quit [Ping timeout: 240 seconds]
<MercurialAlchemi> Drup: I'm disturbed by the fact that the content-type is weakly typed
<Drup> how would you type it strongly ?
<MercurialAlchemi> Have an ADT
<MercurialAlchemi> with an Other constructor for custom content types
<Drup> well, we do that, sort of, just at the level just above, with the various Eliom_registration.Foo modules
<MercurialAlchemi> yes, but in the JSON service example, you don't, which means that if you swap the two parameters around, boom
<Drup> yeah
<MercurialAlchemi> but it could easily be fixed (though that'd be a breaking change, obviously)
<Drup> I don't feel like it's very important. You don't define a new content type very often
<Drup> your patch is welcome
<Drup> :)
<Drup> there are good amount of more important stuff to fix in eliom
<MercurialAlchemi> do tell?
<Drup> err, just browse the bug reports x)
<MercurialAlchemi> :)
George___ has joined #ocaml
<George___> When I run "opam install tcpip", it first tries to install tcpip.pinned, and installation fails
<George___> The error is something like "Unknown revision: fix-checksum-modules."
<George___> any suggestion guys?
<Drup> and if you use a non-pinned version ? ^^'
<George___> How I can install a non-pinned one?
<George___> updating opam resulted in uninstalling the previously installed tcpip library
bezirg has joined #ocaml
<George___> ok, found it
<George___> thanks
path[l] has quit [Ping timeout: 252 seconds]
path[l] has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
ontologiae has joined #ocaml
radekm has joined #ocaml
tane has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
samrat has quit [Client Quit]
tane has quit [Ping timeout: 240 seconds]
tane has joined #ocaml
samrat has joined #ocaml
BitPuffin has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
path[l] has quit [Quit: path[l]]
heidi-ann has quit [Quit: heidi-ann]
eizodo has joined #ocaml
cespinoza has quit [Ping timeout: 264 seconds]
Hannibal_Smith has joined #ocaml
cespinoza has joined #ocaml
heidi-ann has joined #ocaml
heidi-ann has quit [Client Quit]
sivteck has joined #ocaml
sivteck has left #ocaml ["To Infinity and Beyond."]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
philed has quit [Remote host closed the connection]
philed has joined #ocaml
<Kakadu> Why compiler does not agree with me? http://paste.in.ua/9811/raw/
avsm has quit [Quit: Leaving.]
zpe has quit [Ping timeout: 260 seconds]
mhi^ has joined #ocaml
elfring has joined #ocaml
<hnrgrgr> Kakadu: Currently, optional parameters are considered missing after the first 'non-labelled' argument.
<Kakadu> Can I force their application somehow in 2nd element of list?
<hnrgrgr> and: [ f ~a:"" ~b:""; f "" ] typechecks.
<Kakadu> It seems I can add weird () as an argument for f
<hnrgrgr> But the OCaml manual would recommand: "let f ?(a="") ~b () = ... ".
<hnrgrgr> Another hack: [ f ~a:"" ~b:""; f ?a:None ~b:"" ];;
<Kakadu> I wil use with ()
<hnrgrgr> Another one: let f ?prefix b = match prefix with None -> b | Some a -> a^b
_andre has joined #ocaml
rand000 has joined #ocaml
pjdelport has quit [Ping timeout: 272 seconds]
jzelinskie has quit [Ping timeout: 272 seconds]
msch has quit [Ping timeout: 272 seconds]
jennmoneydollars has quit [Ping timeout: 272 seconds]
strmpnk____ has quit [Ping timeout: 272 seconds]
jrw has quit [Ping timeout: 272 seconds]
jeroud has quit [Ping timeout: 272 seconds]
jzelinskie_ has joined #ocaml
msch has joined #ocaml
pgomes has joined #ocaml
strmpnk____ has joined #ocaml
fraggle-boate has joined #ocaml
zpe has joined #ocaml
jennmoneydollars has joined #ocaml
jeroud has joined #ocaml
siddharthv has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
pjdelport has joined #ocaml
jrw has joined #ocaml
jzelinskie_ is now known as jzelinskie
fold has quit [Ping timeout: 264 seconds]
heidi-ann has joined #ocaml
zpe has joined #ocaml
pminten has joined #ocaml
<nicoo> .wg #leloop
<nicoo> Oops
lbaan has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
yacks has quit [Quit: Leaving]
dubst3pp4 has joined #ocaml
<pgomes> Hi
<pgomes> does anybody has any news concerning the build failure of camlp4 with 4.02.0 ?
<adrien> see ML
<pgomes> Even trying to build opam from git gives me the same error ...
<pgomes> what am I doing wrong ?
zpe has quit [Remote host closed the connection]
ontologiae has joined #ocaml
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
<pgomes> ?
zpe has joined #ocaml
siddharthv is now known as siddharthv_away
ontologiae has quit [Ping timeout: 252 seconds]
zpe has quit [Ping timeout: 240 seconds]
slash^ has quit [Read error: Connection reset by peer]
slash^ has joined #ocaml
avsm has joined #ocaml
ontologiae has joined #ocaml
sepp2k has joined #ocaml
thomasga has quit [Quit: Leaving.]
<tane> pgomes, 4.02.0 with camlp4 via opam works fine for me
<tane> my raspberry couldn't compile core with 4.01.0, but with 4.02.0 everything went smoothly
claudiuc has joined #ocaml
claudiuc_ has joined #ocaml
claudiuc has quit [Ping timeout: 260 seconds]
philed has quit [Remote host closed the connection]
thomasga has joined #ocaml
philed has joined #ocaml
rand000 has quit [Ping timeout: 255 seconds]
<pgomes> howcome ...
lbaan has quit [Quit: sleeping device]
<pgomes> I tried at home with MacOSX and at work with Ubuntu and both fail with the same error
<pgomes> I have already removed .opam and started from scratch
<pgomes> is there anyother directory that should be removed ?
philed has quit [Remote host closed the connection]
philed has joined #ocaml
pminten has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/]
claudiuc_ has quit [Ping timeout: 245 seconds]
<tane> pgomes, i have ubuntu myself, the PI runs raspbian weezy, both seemed to have worked
<tane> installed opam, then update, switch to 4.02.0, install core, that's it
samrat has joined #ocaml
rand000 has joined #ocaml
heidi-ann has quit [Quit: heidi-ann]
yacks has joined #ocaml
_5kg has quit [Ping timeout: 260 seconds]
heidi-ann has joined #ocaml
ZenosDance has joined #ocaml
huza has joined #ocaml
englishm has quit [Ping timeout: 268 seconds]
ontologiae has quit [Ping timeout: 276 seconds]
ysz has joined #ocaml
darkf has quit [Quit: Leaving]
bytbox has joined #ocaml
thomasga has quit [Quit: Leaving.]
englishm has joined #ocaml
dsheets has quit [Ping timeout: 252 seconds]
msaegesser has joined #ocaml
bytbox has quit [Remote host closed the connection]
bytbox has joined #ocaml
ZenosDance has quit [Ping timeout: 240 seconds]
jpdeplaix has quit [Ping timeout: 250 seconds]
cespinoza has quit [Ping timeout: 245 seconds]
bytbox has quit [Ping timeout: 240 seconds]
cespinoza has joined #ocaml
_5kg has joined #ocaml
jpdeplaix has joined #ocaml
pminten has joined #ocaml
shinnya has joined #ocaml
avsm has quit [Quit: Leaving.]
heidi-ann has quit [Quit: heidi-ann]
fraggle-boate has quit [Quit: Quitte]
fraggle-boate has joined #ocaml
ysz_ has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
ysz has quit [Ping timeout: 272 seconds]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
avsm has joined #ocaml
paolooo has joined #ocaml
rand000 has quit [Ping timeout: 268 seconds]
huza has quit [Quit: WeeChat 0.3.8]
ysz_ has quit [Quit: This computer has gone to sleep]
ysz has joined #ocaml
dubst3pp4 has quit [Quit: Ĝis la revido!]
mort___ has joined #ocaml
avsm has quit [Quit: Leaving.]
ygrek has joined #ocaml
robink has joined #ocaml
avsm has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
robink has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
pminten has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/]
robink has joined #ocaml
WraithM has joined #ocaml
rbm has joined #ocaml
eizodo has quit [Quit: Page closed]
fraggle-boate has quit [Quit: Quitte]
fraggle-boate has joined #ocaml
zarul has quit [Ping timeout: 240 seconds]
Snark has quit [Quit: leaving]
ysz has quit [Quit: This computer has gone to sleep]
ysz has joined #ocaml
mcclurmc has joined #ocaml
avsm has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
pgomes has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
Snark has joined #ocaml
zarul has joined #ocaml
mreca has joined #ocaml
ollehar has joined #ocaml
rbm` has joined #ocaml
rand000 has joined #ocaml
rbm has quit [Ping timeout: 276 seconds]
pminten has joined #ocaml
avsm has quit [Quit: Leaving.]
paolooo has quit [Ping timeout: 246 seconds]
BitPuffin has quit [Ping timeout: 245 seconds]
cdidd has quit [Ping timeout: 240 seconds]
ollehar has quit [Ping timeout: 245 seconds]
jjwatt has joined #ocaml
ollehar has joined #ocaml
ysz has quit [Quit: This computer has gone to sleep]
hellome has quit [Write error: Connection reset by peer]
_whitelogger__ has joined #ocaml
demonimin has joined #ocaml
asmanur has joined #ocaml
fraggle_ has joined #ocaml
cantstanya has joined #ocaml
gperetin has joined #ocaml
jeroud_ is now known as jeroud
__marius_____ has joined #ocaml
msch has joined #ocaml
steshaw has joined #ocaml
Denommus has joined #ocaml
tov_ has quit [Excess Flood]
keen________ has joined #ocaml
lopex has joined #ocaml
hexo has joined #ocaml
yacks has joined #ocaml
tov has joined #ocaml
puzza007__ is now known as puzza007_
heidi-ann has joined #ocaml
whitequark has joined #ocaml
esden has joined #ocaml
emmanueloga_ is now known as emmanueloga
leifw_ is now known as leifw
bytbox has joined #ocaml
ysz has joined #ocaml
ysz has quit [Client Quit]
_tca_ is now known as _tca
_tca has quit [Changing host]
_tca has joined #ocaml
_tca has quit [Changing host]
_tca has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
bytbox has quit [Remote host closed the connection]
ysz has joined #ocaml
bezirg has quit [Ping timeout: 260 seconds]
ggherdov has joined #ocaml
ysz_ has joined #ocaml
ysz has quit [Ping timeout: 240 seconds]
heidi-ann has quit [Quit: heidi-ann]
rgrinberg has joined #ocaml
bytbox has joined #ocaml
reynir is now known as IKn0U
IKn0U is now known as reynir
zapu has joined #ocaml
cdidd has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
eikke__ has quit [Ping timeout: 276 seconds]
ollehar has joined #ocaml
AdmWiggin is now known as tianon
mort___ has quit [Quit: Leaving.]
mhi^ has quit [Quit: Lost terminal]
mhi^ has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
clog has joined #ocaml
ysz_ has quit [Ping timeout: 252 seconds]
shinnya has quit [Ping timeout: 255 seconds]
George___ has quit [Ping timeout: 246 seconds]
teiresia1 is now known as teiresias
teiresias has quit [Changing host]
teiresias has joined #ocaml
Kakadu has quit [Quit: Page closed]
Mercuria1Alchemi has quit [Remote host closed the connection]
def`_ is now known as def`
MercurialAlchemi has joined #ocaml
lbaan has joined #ocaml
q66 has joined #ocaml
jwatzman|work has joined #ocaml
robink has quit [Ping timeout: 240 seconds]
robink has joined #ocaml
troutwine_away is now known as troutwine
AltGr has left #ocaml [#ocaml]
pminten has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/]
englishm_ has joined #ocaml
mreca has quit [Quit: Textual IRC Client: www.textualapp.com]
misv_ is now known as misv
englishm has quit [Ping timeout: 276 seconds]
clamky has joined #ocaml
Hannibal_Smith has quit [Ping timeout: 272 seconds]
abbe_ is now known as abbe
Hannibal_Smith has joined #ocaml
ZenosDance has joined #ocaml
_0xAX has joined #ocaml
cespinoza has quit [Ping timeout: 268 seconds]
claudiuc has joined #ocaml
cespinoza has joined #ocaml
Kakadu has joined #ocaml
hhugo has joined #ocaml
troutwine is now known as troutwine_away
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
avsm has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
hhugo has quit [Quit: Leaving.]
troutwine_away is now known as troutwine
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
jwatzman|work has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
rand000 has joined #ocaml
zpe has joined #ocaml
lbaan has quit [Quit: sleeping device]
hhugo has joined #ocaml
lbaan has joined #ocaml
elfring has quit [Remote host closed the connection]
Submarine has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
ollehar has quit [Quit: ollehar]
<NoNNaN> it is possible to enable TargetOptions::GuaranteedTailCallOpt from ocaml binding in recent (>=3.4) llvm version?
zarul has quit [Ping timeout: 240 seconds]
<NoNNaN> it seems that the llvm-c binding does not expose it
lbaan has quit [Quit: sleeping device]
WraithM has quit [Ping timeout: 246 seconds]
<jpdeplaix> whitequark: ^
<whitequark> NoNNaN: it is not
flygeneticist_ has joined #ocaml
flygeneticist_ has quit [Client Quit]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zarul has joined #ocaml
zarul has quit [Changing host]
zarul has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
hhugo has quit [Quit: Leaving.]
sad0ur has quit [Ping timeout: 245 seconds]
sad0ur has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
_0xAX has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
hhugo has joined #ocaml
zpe has joined #ocaml
avsm has joined #ocaml
ZenosDance has quit [Ping timeout: 272 seconds]
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
Submarine has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
<dmbaturin> Is :: really an operator?
<def`> no
<mrvn> # (::);;
<mrvn> Error: Syntax error: operator expected.
<mrvn> :: is a Constructor
<mrvn> (with magic)
WraithM has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
<dmbaturin> What are the other constructors? Is it possible to make your own?
<mrvn> type t = Foo of int
<dmbaturin> Well, that's a type constructor.
<mrvn> same as ::
<mrvn> type 'a list = :: of 'a * 'a list | []
bezirg has joined #ocaml
<dmbaturin> But "normal" type constructors can't be used in infix form, right?
<mrvn> that's the magic bit
<def`> dmbaturin: no
<mrvn> Anyone know why :: isn't an operator?
<def`> a value constructor, not a type constructor:P
<def`> mrvn: yes, because it's syntactically defined to behave like Uident (value constructors and module names)
<mrvn> 'let (::) x xs = List.Cons x xs' would use less magic
<def`> yes, but you want to pattern match
<mrvn> def`: for reasons of precedence?
<mrvn> def`: ahh. right.
<dmbaturin> Value constructor?
<def`> mrvn: yep, that's all, it tries to mimick the behavior… it could be done differently, since its magic, you can fake more or less, but this way it sticks close to it
<def`> yes, None, Some, Not_found, those are value constructors
<mrvn> 'yes' isn't a value constructor :)
<def`> type constructors are bool, int, _ list, (_,_) Hashtbl.t, etc
lbaan has joined #ocaml
BitPuffin has joined #ocaml
philtom has joined #ocaml
avsm1 has quit [Quit: Leaving.]
Submarine has quit [Ping timeout: 246 seconds]
Submarine has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
_andre has quit [Quit: leaving]
philtom has quit [Ping timeout: 245 seconds]
bezirg has quit [Read error: Connection reset by peer]
oriba has joined #ocaml
clamky has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
hhugo has quit [Quit: Leaving.]
octachron has joined #ocaml
oscar_toro has quit [Quit: oscar_toro]
zpe has joined #ocaml
lbaan has quit [Quit: sleeping device]
axiles has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 260 seconds]
octachron has quit [Quit: Page closed]
rgrinberg has quit [Quit: Leaving.]
Hannibal_Smith has quit [Ping timeout: 245 seconds]
Submarine has quit [Read error: Connection reset by peer]
rand000 has quit [Quit: leaving]
sepp2k has quit [Quit: Konversation terminated!]
lgm has joined #ocaml
<lgm> Hello!
<oriba> tried to set a breakpoint in ocamldebug.
<oriba> the function seems to be unknown
<oriba> "Unbound identifier"m I get as answer
bezirg has joined #ocaml
<oriba> how can I se ocamldebug to find that function?
<lgm> the type checker for ocaml 4.01.0 and i are having a disagreement.
<oriba> in the docs its not mentioned how to pick a module, when declaring a functionname as bp
msaegesser has quit [Ping timeout: 260 seconds]
msaegesser has joined #ocaml
rgrinberg has joined #ocaml
<ggole> oriba: iirc, you have to advance time until "point" enters the scope of the function name
<oriba> hmhh I tried with modulename and line-nuzmber and then I it stopped in that function. asking for the parameters of that function again gives me the same errmsg...
<oriba> but they should be known, if I'm already inside...
<lgm> the compiler feels that the function at line 317 is returning the wrong type
<oriba> hmhh, ah, I typed run again and now it works...
<ggole> lgm: wrong in what sense?
<ggole> Isn't what you expect, or is failing with a type error?
typedlambda has quit [Ping timeout: 250 seconds]
<oriba> ggole, ah, I thought "l" is list (as in gdb i?), but it meant "last" and so I was back at time = 0 that's why I needed to use "run" again..
WraithM has quit [Remote host closed the connection]
WraithM has joined #ocaml
typedlambda has joined #ocaml
philtor has joined #ocaml
tane has quit [Quit: Verlassend]
lbaan has joined #ocaml
englishm_ has quit [Remote host closed the connection]
englishm has joined #ocaml
Khady_ is now known as Khady
Khady has quit [Changing host]
Khady has joined #ocaml
englishm has quit [Ping timeout: 240 seconds]
ggole has quit []
MercurialAlchemi has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 245 seconds]
cespinoza has quit [Ping timeout: 245 seconds]
samebchase has quit [Ping timeout: 255 seconds]
xaimus_ has quit [Ping timeout: 245 seconds]
samebchase has joined #ocaml
xaimus has joined #ocaml
nickmeha1ry is now known as nickmeharry
philtor has quit [Ping timeout: 246 seconds]
oriba has quit [Quit: oriba]
philtor has joined #ocaml
cespinoza has joined #ocaml
radekm has quit [Quit: Page closed]
msaegesser has quit [Ping timeout: 245 seconds]
avsm has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
tautologico has joined #ocaml
avsm has quit [Quit: Leaving.]
WraithM has quit [Ping timeout: 264 seconds]
Kakadu has quit [Quit: Konversation terminated!]
<lgm> ggole: i had to take a call
Sim_n has joined #ocaml
<lgm> the compiler's complaint is here:
<lgm> The compiler suggests that the return type should be: (ReflectiveValue.ident, ReflectiveValue.value) ReflectiveEnv.map
<lgm> This seems to me to be in direct contradiction to the declaration: val unify : pattern -> value -> env option
Simn has quit [Ping timeout: 268 seconds]
<lgm> given that type env = ReflectiveValue.v_env
<lgm> This is especially confusing as the compiler calculates that the type the function is returning is: Error: This expression has type env = ReflectiveValue.v_env
ontologiae has quit [Ping timeout: 264 seconds]
<lgm> if i capitulate to the compiler's whims and return the type it wants it complains that this is inconsistent with the declared type
eikke__ has joined #ocaml
Sim_n is now known as Simn
mfp has quit [Ping timeout: 245 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
darkf has joined #ocaml
<Leonidas> meh, Type string Ocsigen_stream.stream is not compatible with type
<Leonidas> string Ocsigen_stream.t
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
mfp has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
<Leonidas> okay, I need to call Ocsigen_stream.get before reading
NoNNaN has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
eikke__ has quit [Ping timeout: 240 seconds]
bezirg has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml