<orbitz>
mfp: Found it!!! There is a race in mq_stomp.ml. If a message takes awhile to send, the Buffer will be overwritten with the next messages contents. I fixed this by creating a new buffer on each frame create. Can probably get away with getting contents prior to Lwt_io.atomic though
<george_z0rwell>
Does OCaml permit haskell-like type annotations for functions?
<george_z0rwell>
i.e. f :: type -> type
<george_z0rwell>
f x = do_something x
lopexx has joined #ocaml
munga has quit [Ping timeout: 240 seconds]
lopex has quit [Ping timeout: 252 seconds]
<orbitz>
george_z0rwell: No, only if it is an impleemtnation of a module interface
<thelema>
george_z0rwell: let f : type -> type = fun x -> do something x
<george_z0rwell>
Wow, that works.
<george_z0rwell>
Is that even mentioned anywhere in the docs?
philtor has joined #ocaml
<orbitz>
No, it follows kidn of naturally
<george_z0rwell>
I somehow didn't expect the name : type pattern to hold true for functions, but welp
<orbitz>
george_z0rwell: a function is a value liek anything else
agarwal1975 has quit [Quit: agarwal1975]
ulfdoz_ has joined #ocaml
philtor has quit [Ping timeout: 252 seconds]
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz_ is now known as ulfdoz
lopexx has quit []
ftrvxmtrx has joined #ocaml
joewilliams_away is now known as joewilliams
<hcarty>
adrien: Ah, oops... I've only checked in the oasis components. If you have oasis, then "oasis setup" then "ocaml setup.ml -configure && ocaml setup.ml -build"
<hcarty>
adrien: If you don't have oasis I'll check the oasis-generated files in
<hcarty>
adrien: You could certainly have an extension to handle option types. You could either use a printer function which doesn't print anything for None, customize xstrp4_here.ml or write a custom extension.
<hcarty>
adrien: xstrp4_here.ml and xstrp4_batteries.ml are the two currently available examples. Those plus test.ml are the closest thing to documentation available right now.
<hcarty>
adrien: I hope to improve the documentation once I am reasonably happy with the framework.
impy has quit [Read error: Connection reset by peer]
impy has joined #ocaml
ymasory has joined #ocaml
sepp2k has quit [Ping timeout: 255 seconds]
joewilliams is now known as joewilliams_away
sepp2k has joined #ocaml
ymasory has quit [Quit: Leaving]
Associat0r has quit [Quit: Associat0r]
vivanov has joined #ocaml
vivanov_ has joined #ocaml
vivanov has quit [Read error: Connection reset by peer]
Modius has quit [Quit: "Object-oriented design" is an oxymoron]
munga has joined #ocaml
munga has quit [Ping timeout: 260 seconds]
axiles has joined #ocaml
eye-scuzzy has joined #ocaml
philtor has joined #ocaml
ygrek has joined #ocaml
philtor has quit [Ping timeout: 260 seconds]
ygrek has quit [Ping timeout: 250 seconds]
yezariaely has joined #ocaml
yezariaely has left #ocaml []
shachaf has quit [*.net *.split]
krktz has quit [*.net *.split]
zsparks has quit [*.net *.split]
haelix has quit [*.net *.split]
Lor has quit [*.net *.split]
^micro has quit [*.net *.split]
bitbckt has quit [*.net *.split]
orbitz has quit [*.net *.split]
ttblrs_ has quit [*.net *.split]
chambart has quit [*.net *.split]
rby has quit [*.net *.split]
willb has quit [*.net *.split]
cizra2 has quit [*.net *.split]
milosn has quit [*.net *.split]
caligula_ has quit [*.net *.split]
wagle has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
eye-scuzzy has quit [*.net *.split]
Tobu has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
nimred has quit [*.net *.split]
dcolish has quit [*.net *.split]
cthuluh has quit [*.net *.split]
thomasga has quit [*.net *.split]
sgnb has quit [*.net *.split]
ftrvxmtrx has quit [*.net *.split]
dnolen has quit [*.net *.split]
GOP-USA_dotcom has quit [*.net *.split]
rwmjones has quit [*.net *.split]
sepp2k has quit [*.net *.split]
mcclurmc_home has quit [*.net *.split]
mfp has quit [*.net *.split]
wtetzner has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
kurtosis has quit [*.net *.split]
mal`` has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
bacam has quit [*.net *.split]
BiDOrD has quit [*.net *.split]
dgfitch has quit [*.net *.split]
Obfuscate has quit [*.net *.split]
sheets has quit [*.net *.split]
Derander_ has quit [*.net *.split]
likebike has quit [*.net *.split]
mlh has quit [*.net *.split]
impy has quit [*.net *.split]
hto has quit [*.net *.split]
bzzbzz has quit [*.net *.split]
thieusoai has quit [*.net *.split]
alpounet has quit [*.net *.split]
mehdid has quit [*.net *.split]
wolverian has quit [*.net *.split]
boscop has quit [*.net *.split]
george_z0rwell has quit [*.net *.split]
schmrkc has quit [*.net *.split]
zzz_ has quit [*.net *.split]
joewilliams_away has quit [*.net *.split]
svenl has quit [*.net *.split]
srcerer has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
_habnabit has quit [*.net *.split]
Morphous has quit [*.net *.split]
kerneis has quit [*.net *.split]
mattam has quit [*.net *.split]
ski has quit [*.net *.split]
vivanov_ has quit [*.net *.split]
ankit9 has quit [*.net *.split]
wishi has quit [*.net *.split]
tommd has quit [*.net *.split]
Xaseron has quit [*.net *.split]
strlen has quit [*.net *.split]
axiles has quit [*.net *.split]
ulfdoz has quit [*.net *.split]
Cyanure has quit [*.net *.split]
thelema has quit [*.net *.split]
rixed has quit [*.net *.split]
NaCl has quit [*.net *.split]
adrien has quit [*.net *.split]
Julien_T has quit [*.net *.split]
pou has quit [*.net *.split]
brendan has quit [*.net *.split]
nejimban has quit [*.net *.split]
mundkur has quit [*.net *.split]
explodus has quit [*.net *.split]
patronus has quit [*.net *.split]
gildor has quit [*.net *.split]
deavidsedice has quit [*.net *.split]
ptrf has quit [*.net *.split]
noj has quit [*.net *.split]
emias has quit [*.net *.split]
cizra2 has joined #ocaml
willb has joined #ocaml
rby has joined #ocaml
wolverian has joined #ocaml
hyperboreean has joined #ocaml
_habnabit has joined #ocaml
strlen has joined #ocaml
Derander_ has joined #ocaml
mehdid has joined #ocaml
tommd has joined #ocaml
alpounet has joined #ocaml
Obfuscate has joined #ocaml
wishi has joined #ocaml
thieusoai has joined #ocaml
ski has joined #ocaml
joewilliams_away has joined #ocaml
mattam has joined #ocaml
svenl has joined #ocaml
dgfitch has joined #ocaml
kerneis has joined #ocaml
zzz_ has joined #ocaml
schmrkc has joined #ocaml
BiDOrD has joined #ocaml
mlh has joined #ocaml
bzzbzz has joined #ocaml
ankit9 has joined #ocaml
george_z0rwell has joined #ocaml
hto has joined #ocaml
sheets has joined #ocaml
likebike has joined #ocaml
bacam has joined #ocaml
boscop has joined #ocaml
Xaseron has joined #ocaml
Morphous has joined #ocaml
impy has joined #ocaml
vivanov_ has joined #ocaml
emias_ has joined #ocaml
mundkur has joined #ocaml
nejimban has joined #ocaml
brendan has joined #ocaml
pou has joined #ocaml
Julien_T has joined #ocaml
adrien has joined #ocaml
NaCl has joined #ocaml
rixed has joined #ocaml
thelema has joined #ocaml
Cyanure has joined #ocaml
ulfdoz has joined #ocaml
axiles has joined #ocaml
chambart has joined #ocaml
explodus has joined #ocaml
Pepe_ has joined #ocaml
wagle has joined #ocaml
caligula_ has joined #ocaml
milosn has joined #ocaml
gildor has joined #ocaml
rwmjones has joined #ocaml
dnolen has joined #ocaml
ftrvxmtrx has joined #ocaml
patronus_ has joined #ocaml
noj has joined #ocaml
deavid has joined #ocaml
sepp2k has joined #ocaml
mcclurmc_home has joined #ocaml
mfp has joined #ocaml
wtetzner has joined #ocaml
Asmadeus has joined #ocaml
kurtosis has joined #ocaml
mal`` has joined #ocaml
hnrgrgr has joined #ocaml
rby has quit [*.net *.split]
willb has quit [*.net *.split]
cizra2 has quit [*.net *.split]
^micro has joined #ocaml
shachaf has joined #ocaml
krktz has joined #ocaml
zsparks has joined #ocaml
haelix has joined #ocaml
Lor has joined #ocaml
bitbckt has joined #ocaml
orbitz has joined #ocaml
ttblrs_ has joined #ocaml
chambart has quit [*.net *.split]
patronus_ has quit [*.net *.split]
ftrvxmtrx has quit [*.net *.split]
dnolen has quit [*.net *.split]
rwmjones has quit [*.net *.split]
GOP-USA_dotcom has joined #ocaml
shachaf has quit [Max SendQ exceeded]
shachaf has joined #ocaml
edwin has joined #ocaml
eye-scuzzy has joined #ocaml
Tobu has joined #ocaml
fraggle_ has joined #ocaml
nimred has joined #ocaml
cthuluh has joined #ocaml
dcolish has joined #ocaml
thomasga has joined #ocaml
sgnb has joined #ocaml
chambart has joined #ocaml
rby has joined #ocaml
willb has joined #ocaml
cizra2 has joined #ocaml
patronus_ has joined #ocaml
ftrvxmtrx has joined #ocaml
dnolen has joined #ocaml
rwmjones has joined #ocaml
ulfdoz has quit [Quit: deprecated]
Yoric has joined #ocaml
ygrek has joined #ocaml
ulfdoz has joined #ocaml
avsm has joined #ocaml
dnolen has quit [Quit: dnolen]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
Snark has joined #ocaml
axiles has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 250 seconds]
yezariaely has joined #ocaml
yezariaely has left #ocaml []
ikaros has joined #ocaml
avsm has quit [Quit: Leaving.]
vivanov_ has quit [Ping timeout: 252 seconds]
vivanov has joined #ocaml
vivanov has quit [Client Quit]
cthuluh has quit [Remote host closed the connection]
lewis1711 has joined #ocaml
lewis1711 has left #ocaml []
cthuluh has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
Anarchos has joined #ocaml
pheredhel has joined #ocaml
vivanov has joined #ocaml
emias_ is now known as emias
emias has quit [Quit: leaving]
ygrek has joined #ocaml
emias has joined #ocaml
eikke has joined #ocaml
deavidsedice has joined #ocaml
Yoric1 has joined #ocaml
Yoric has quit [*.net *.split]
deavid has quit [*.net *.split]
eikke has quit [Ping timeout: 250 seconds]
DimitryKakadu has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
Modius has joined #ocaml
fschwidom has joined #ocaml
ygrek has joined #ocaml
eikke has joined #ocaml
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 250 seconds]
avsm has joined #ocaml
eikke has quit [Ping timeout: 244 seconds]
DimitryKakadu has quit [Ping timeout: 240 seconds]
DimitryKakadu has joined #ocaml
agarwal1975 has joined #ocaml
eikke has joined #ocaml
eikke has quit [Read error: Operation timed out]
ztfw has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
eikke has joined #ocaml
joelr has joined #ocaml
<joelr>
has anyone used ocamldebug?
<thelema>
joelr: briefly
<joelr>
thelema: i compiled a bytecode version of my app that uses ocamlnet. i'm trying to set a breakpoint in Http_client, a module that's part of the netclient library
<joelr>
thelema: just doing 'break @ Http_client 719' doesn't work
<joelr>
how do i do it?
<joelr>
thelema: ^
<thelema>
sorry, got distracted by echo bazaar
<thelema>
break @ module line should work, is there any error when you issue that command?
<joelr>
thelema: no source code found
<thelema>
Assuming it knows about the Http_client module - everything was compiled in bytecode with -g (including dependencies)?
<thelema>
ah, you're trying to debug ocamlnet?
<joelr>
yes
<thelema>
Maybe with the right -I flags to ocamldebug you can let it know where the source files it needs are
<joelr>
i tried that from the debug prompt. oh, well
<joelr>
thelema: generally, there seems to be a bug in the 3.3.1 http client where it's not sending my http args
DimitryKakadu has quit [Read error: Operation timed out]
<thelema>
have you set any -I flags for ocamldebug?
DimitryKakadu has joined #ocaml
<thelema>
it needs to know where the source and object files are if they're not in the cwd
<joelr>
thelema: i did that from the debugger prompt. see directory command
ygrek has quit [Ping timeout: 250 seconds]
Smerdyakov has joined #ocaml
ymasory has joined #ocaml
<thelema>
well, if it's still not finding the files, ... I can't help
<joelr>
thelema: np
fraggle_ has joined #ocaml
boscop__ has joined #ocaml
boscop_ has quit [Ping timeout: 255 seconds]
vivanov has quit [Ping timeout: 240 seconds]
boscop__ is now known as boscop
Tobu_ has joined #ocaml
nimred_ has joined #ocaml
vivanov has joined #ocaml
Associat0r has joined #ocaml
Smerdyakov has quit [Quit: Leaving]
joelr has quit [Quit: joelr]
eye-scuzzy has quit [*.net *.split]
Tobu has quit [*.net *.split]
nimred has quit [*.net *.split]
dcolish has quit [*.net *.split]
thomasga has quit [*.net *.split]
sgnb has quit [*.net *.split]
Yoric1 has quit [Quit: Leaving.]
agarwal1975 has quit [Quit: agarwal1975]
tricus has joined #ocaml
joewilliams_away is now known as joewilliams
<Anarchos>
Who is skilled in tweaking the configure of ocaml ?
TaXules has joined #ocaml
dnolen has joined #ocaml
<adrien>
need to add support for your platform?
<Anarchos>
adrien i just need to know how to link agains a lib.a in the config/auto-aux/hasgot script
<adrien>
isn't it shell script? it shouldn't be too hard to modify it even if you're not proficient with shell scripting
<Anarchos>
i am not skilled in compiling against a .a, i always use the -llib for shared lib linking
<orbitz>
It is teh same thing
<orbitz>
gcc will prefer .so over .a if -llib exists for both
<orbitz>
you use -static to specify .a preference i think
<Anarchos>
i have libbfd.a but no libbfd.so
<adrien>
well, if your platform support shared library, having libbfd.so too might be a better solution
<orbitz>
so as long as teh dir iwth libbfd.a is in your library path -l will find it
eye-scuzzy has joined #ocaml
dcolish has joined #ocaml
thomasga has joined #ocaml
sgnb has joined #ocaml
tricus has quit [Remote host closed the connection]
philtor has joined #ocaml
itegebo has joined #ocaml
joewilliams is now known as joewilliams_away
alfa_y_omega has joined #ocaml
lopex has joined #ocaml
axiles has joined #ocaml
fschwidom has quit [Ping timeout: 252 seconds]
Associat0r has quit [Quit: Associat0r]
synod has joined #ocaml
<synod>
I am trying to write a final, typed, tagless DSL partial evaluator in ocaml. Does anyone here have experience with this technique? Right now I am trying to express binding and struggling with the host/object type-checking mismatch.
<synod>
Alternately, is there a syntax extension or some other way to lift inferred types into the value world?
<thelema>
afaik, there's no way to get at inferred types from within one's program.
<thelema>
not even with camlp4 which works before type inference
<synod>
hrm... perhaps i can fake it
mnabil has joined #ocaml
ymasory has quit [Quit: Leaving]
<Anarchos>
wow to get objinfo working on cmxs files, i have to link the tests files against gdb in config/auto-aux/hasgot :)
<thelema>
really? wow.
<Anarchos>
thelema yes, because some of the symbols are not in libbfd.a but only in my gdb (libbfd is only built to get gdb working)
Yoric has joined #ocaml
sepp2k has quit [Quit: Leaving.]
Snark has quit [Quit: Ex-Chat]
vivanov has quit [Quit: Lost terminal]
Smerdyakov has joined #ocaml
ikaros has joined #ocaml
synod has quit [Quit: Page closed]
DimitryKakadu has quit [Remote host closed the connection]
Yoric has quit [Quit: Leaving.]
<Anarchos>
I finally manage to find a trick to use custom Lexers :)
<Anarchos>
put let a = ref .... in the header of the .mll file
<Anarchos>
and after in the code i can use module L1 = Lexer (...) module L2 = Lexer (...) and use the ref inside of L1 , L2 etc
<thelema>
you can do that? Maybe that should be documented somewhere... except I don't know where that'd really go.
<thelema>
ocaml-tutorial is down, and its mirror is read-only, iirc
axiles has quit [Remote host closed the connection]
<Anarchos>
thelema yes you can put every ocaml expressions in the headers
Yoric has joined #ocaml
dnolen has quit [Quit: dnolen]
TaXules has quit [Ping timeout: 258 seconds]
edwin has quit [Remote host closed the connection]
oriba has joined #ocaml
oriba has left #ocaml []
tricus has joined #ocaml
Modius has quit [Quit: "Object-oriented design" is an oxymoron]
tricus has quit [Remote host closed the connection]
Yoric has quit [Quit: Leaving.]
cthuluh has quit [Quit: leaving]
cthuluh has joined #ocaml
<Anarchos>
I get following errors when compiling with "ocamlopt.opt -p" : undefined reference to `mcount' in caml_program caml_startup caml_curry9, caml_curry9_1 to caml_curry9_3
<Anarchos>
why ?? It seems the make world.opt doesn't clean well enough ?
ztfw has quit [Remote host closed the connection]
mcclurmc_home has quit [Ping timeout: 255 seconds]
joewilliams_away is now known as joewilliams
Cyanure has quit [Remote host closed the connection]
mnabil has quit [Remote host closed the connection]
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
Smerdyakov has quit [Quit: Leaving]
eikke has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
Morphous has quit [Read error: Operation timed out]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]