pimmhogeling has quit [Read error: 110 (Connection timed out)]
derdon has quit []
Drk-Sd has left #ocaml []
Drk-Sd` has joined #ocaml
mutew has quit [Read error: 110 (Connection timed out)]
tmaedaZ is now known as tmaeda
pflanze has joined #ocaml
Drk-Sd` has quit [Client Quit]
pad has joined #ocaml
boscop_ has joined #ocaml
_unK has quit [Remote closed the connection]
boscop has quit [Read error: 110 (Connection timed out)]
boscop_ has quit [Client Quit]
ski_ has quit ["Lost terminal"]
maskd has quit ["leaving"]
Narrenschiff has quit []
hcarty has quit [verne.freenode.net irc.freenode.net]
jlouis has quit [verne.freenode.net irc.freenode.net]
julm has quit [verne.freenode.net irc.freenode.net]
mattam has quit [verne.freenode.net irc.freenode.net]
BigJ2 has quit [verne.freenode.net irc.freenode.net]
__mattam__ has joined #ocaml
julm_ has joined #ocaml
hcarty__ has joined #ocaml
jlouis_ has joined #ocaml
BigJ2 has joined #ocaml
<pflanze>
I'm looking into translating some language into ocaml;
<pflanze>
does ocamlp4/ocamlp5 offer some base language I could target, or can I only target one of the normal ocaml syntaxes?
<pflanze>
I intend to write my translator in another language that ocaml.
<pflanze>
So the target language needs a textual representation that can be parsed by ocaml or ocamlpX
<pflanze>
Different question: do the standard ocaml syntaxes offer ways to pass the original line and column positions? (something like #line in C, and also for columns)
bind_return has joined #ocaml
ski_ has joined #ocaml
tmaeda is now known as tmaedaZ
mutew has joined #ocaml
joewilliams is now known as joewilliams_away
clog has joined #ocaml
clog has joined #ocaml
CcSsNET has joined #ocaml
thrasibule has quit [Read error: 110 (Connection timed out)]
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
pad has quit [Remote closed the connection]
<yakischloba>
is there a way to make the compiler yell at me when i dont catch possible exceptions?
mutew has quit [Read error: 110 (Connection timed out)]
<yakischloba>
I see OcamlExc
<yakischloba>
why does ocaml have exhaustive pattern matching but no way to see uncaught exceptions?
CcSsNET has quit [Read error: 110 (Connection timed out)]
<yakischloba>
oh. I can catch the exception and then match it I guess?
julm_ has quit [Client Quit]
julm has joined #ocaml
<thelema>
yakischloba: no way to have the compiler notify you of uncaught exceptions. Stack traces are good for dealing with this.
<yakischloba>
yea that kinda sucks
<thelema>
yup. OCaml isn't perfect - it'd require extensions of the type system to deal with uncaught exceptions, and most people would leave that off, as there's so many potential exceptions that could be raised but you know aren't.
<thelema>
for instance invalid_argument - many functions sanity check their arguments, but I wouldn't want to use try..catch every time I used one of those functions
<thelema>
There'd be too many warnings if I didn't turn them off.
<yakischloba>
sure
<yakischloba>
its just strange to think that for everything else thats so safe, an exception can kill your program
joewilliams_away is now known as joewilliams
lokydor has quit [Read error: 110 (Connection timed out)]
sgnb` has quit [Read error: 54 (Connection reset by peer)]
sgnb` has joined #ocaml
Camarade_Tux has quit [Remote closed the connection]
Asmadeus has quit [Remote closed the connection]
munga has quit [Read error: 110 (Connection timed out)]
chicco has quit [Read error: 110 (Connection timed out)]
__mattam__ has quit [jordan.freenode.net irc.freenode.net]
DWyatt has quit [jordan.freenode.net irc.freenode.net]
tab has quit [jordan.freenode.net irc.freenode.net]
hcarty_ has quit [jordan.freenode.net irc.freenode.net]
quelqun_dautre has quit [jordan.freenode.net irc.freenode.net]
svenl has quit [jordan.freenode.net irc.freenode.net]
brendan has quit [jordan.freenode.net irc.freenode.net]
WuJiang has quit [jordan.freenode.net irc.freenode.net]
olegfink has quit [jordan.freenode.net irc.freenode.net]
joewilliams has quit [jordan.freenode.net irc.freenode.net]
orbitz has quit [jordan.freenode.net irc.freenode.net]
julm has quit [jordan.freenode.net irc.freenode.net]
bind_return has quit [jordan.freenode.net irc.freenode.net]
BigJ2 has quit [jordan.freenode.net irc.freenode.net]
deavid has quit [jordan.freenode.net irc.freenode.net]
srcerer has quit [jordan.freenode.net irc.freenode.net]
eldragon has quit [jordan.freenode.net irc.freenode.net]
[df] has quit [jordan.freenode.net irc.freenode.net]
ski_ has quit [jordan.freenode.net irc.freenode.net]
hcarty__ has quit [jordan.freenode.net irc.freenode.net]
pflanze has quit [jordan.freenode.net irc.freenode.net]
jonafan has quit [jordan.freenode.net irc.freenode.net]
clog has joined #ocaml
joewilliams has joined #ocaml
mfp has joined #ocaml
infoe has joined #ocaml
cygnus_ has joined #ocaml
Leonidas has joined #ocaml
rbancroft has joined #ocaml
Gertm has joined #ocaml
diml has joined #ocaml
infoe- has joined #ocaml
struktured has joined #ocaml
Modius has joined #ocaml
prigaux has joined #ocaml
flux has joined #ocaml
mbishop has joined #ocaml
ned has joined #ocaml
patronus has joined #ocaml
mal`` has joined #ocaml
zhijie has joined #ocaml
ned is now known as Guest24845
haelix has joined #ocaml
companion_cube has joined #ocaml
peddie has joined #ocaml
mehdid has joined #ocaml
yakischloba has joined #ocaml
smimou has joined #ocaml
Alpounet has joined #ocaml
willb has joined #ocaml
gildor has joined #ocaml
npouillard has joined #ocaml
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
jimmyb2187 has joined #ocaml
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
tarbo2 has joined #ocaml
Amorphous has joined #ocaml
msteele has joined #ocaml
Pepe_ has joined #ocaml
Ori_B has joined #ocaml
mrvn has joined #ocaml
bacam has joined #ocaml
nimred has joined #ocaml
M| has joined #ocaml
caligula_ has joined #ocaml
hyperboreean has joined #ocaml
det has joined #ocaml
__marius__ has joined #ocaml
fremo_ has joined #ocaml
shr3kst3r has joined #ocaml
peper has joined #ocaml
DWyatt has quit [Read error: Connection timed out]
DWyatt has joined #ocaml
emias has joined #ocaml
fabjan has joined #ocaml
srcerer has joined #ocaml
pimmhogeling has joined #ocaml
joewilliams is now known as joewilliams_away
pimmhogeling has quit [Remote host closed the connection]
yakischloba has quit [Quit: Leaving.]
joewilliams_away has quit [*.net *.split]
joewilliams_away has joined #ocaml
pimmhogeling has joined #ocaml
sgnb` has joined #ocaml
TaXules has joined #ocaml
thelema has joined #ocaml
ulfdoz has joined #ocaml
bzzbzz has joined #ocaml
tensorpudding has joined #ocaml
sgnb` has quit [*.net *.split]
sgnb` has joined #ocaml
ikaros has joined #ocaml
tarbo2 has quit [Ping timeout: 240 seconds]
tarbo2 has joined #ocaml
chicco has joined #ocaml
Camarade_Tux has joined #ocaml
Asmadeus has joined #ocaml
sgnb` has quit [*.net *.split]
sgnb` has joined #ocaml
Yoric has joined #ocaml
ttamttam has quit [Quit: Leaving.]
maskd has joined #ocaml
maskd has quit [Killed (NickServ (GHOST command used by maskd-))]
maskd- has joined #ocaml
maskd- is now known as maskd
ttamttam has joined #ocaml
Submarine_ has joined #ocaml
Yoric has quit [Quit: Yoric]
Narrenschiff has joined #ocaml
Yoric has joined #ocaml
Drk-Sd has joined #ocaml
Yoric has quit [Quit: Yoric]
Gertm has quit [Ping timeout: 260 seconds]
ski_ has quit [Quit: Lost terminal]
_zack has joined #ocaml
_unK has joined #ocaml
_zack has quit [Ping timeout: 248 seconds]
bind_return has quit [Quit: Leaving]
tarbo2 has quit [Ping timeout: 260 seconds]
_zack has joined #ocaml
tarbo2 has joined #ocaml
derdon has joined #ocaml
sgnb` has quit [Read error: Connection reset by peer]
sgnb` has joined #ocaml
Narrenschiff has quit [Quit: Narrenschiff]
_zack has quit [Quit: Leaving.]
Gertm has joined #ocaml
ikaros_ has joined #ocaml
ikaros has quit [Ping timeout: 256 seconds]
Paczesiowa has joined #ocaml
djanderson has joined #ocaml
ikaros has joined #ocaml
ikaros has quit [Client Quit]
ikaros_ has quit [Ping timeout: 260 seconds]
tarbo2 has quit [Ping timeout: 248 seconds]
tarbo2 has joined #ocaml
ttamttam1 has joined #ocaml
ttamttam has quit [Ping timeout: 256 seconds]
maskd has quit [Quit: leaving]
CcSsNET has joined #ocaml
maskd has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
_zack has joined #ocaml
thrasibule has joined #ocaml
boscop has joined #ocaml
ulfdoz_ has quit [Ping timeout: 276 seconds]
ulfdoz has joined #ocaml
Paczesiowa has quit [Remote host closed the connection]
mutew has joined #ocaml
Submarine_ has quit [Ping timeout: 248 seconds]
ChanServ has quit [shutting down]
_zack has quit [Quit: Leaving.]
Submarine_ has joined #ocaml
_zack has joined #ocaml
elehack has joined #ocaml
ikaros has joined #ocaml
tarbo2 has quit [Ping timeout: 240 seconds]
mutew has quit [Quit: leaving]
tarbo2 has joined #ocaml
pimmhogeling has quit [Ping timeout: 260 seconds]
DWyatt has quit [Read error: No route to host]
mutew has joined #ocaml
thrasibule has quit [Ping timeout: 276 seconds]
zorg has joined #ocaml
zorg has quit [Client Quit]
derdon has quit [Quit: derdon]
<flux>
hmph.. encouraged by the previous mentions that lwt 2.0.0 has some Event-kind of new functions (and it does!) I find it quite difficult to make use of them as conveniently..
Paczesiowa has joined #ocaml
_zack has quit [Quit: Leaving.]
Guest24845 has left #ocaml []
ned has joined #ocaml
tarbo2 has quit [Ping timeout: 256 seconds]
tarbo2 has joined #ocaml
<flux>
I'm simply trying to do something like: let (recv, send) = wait () let rec server = choose [recv] >>= fun () -> server () and once I issue wakeup send (); I find the server loop to be in an infinite loop
<flux>
so, it's not simply the same as Event.receive then
<flux>
well, I used a really, really ugly hack
<flux>
instead of let (recv, send) = wait () I used let chan = ref (wait ()) and whenever I receive a new message, I reassign the pair
tarbo2 has quit [Ping timeout: 240 seconds]
<flux>
I suppose the best game-plan is to write a proper message passing layer over that
<flux>
atleast I can send into it without being in the Lwt-monad \o/.
julm has quit [Quit: leaving]
tarbo2 has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
<flux>
ocsigen-mailing-list doesn't seem to have lwt-related discussions, and lwt doesn't have one.. ?
<diml>
flux: Lwt.wait is not for message passing, if you want some kind of message passing for lwt you can use Lwt_mvar
thrasibule has joined #ocaml
<flux>
diml, how do you wait for messages from multiple mvar message sources?
<flux>
they don't seem to have the equivalent of 'select' or 'choose'
mutew has quit [Ping timeout: 258 seconds]
<diml>
you can do something like that: select [Lwt_mvar.take mvar1; Lwt_mvar.take mvar2; ...]
<flux>
hm, good point
mutew has joined #ocaml
<flux>
I'll try that, if I'll bump into different problems
<flux>
thanks!
<flux>
hmm, wait. so mvar always contains a value?
<flux>
agh, nevermind :)
<flux>
works just great, thank you again!
<flux>
(although now the 'put'-part is in the monad, but that can be worked around with ignore_result)
tarbo2 has quit [Ping timeout: 264 seconds]
tarbo2 has joined #ocaml
yakischloba has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Quit: Yoric]
itewsh has joined #ocaml
mutew has quit [Ping timeout: 256 seconds]
itewsh has quit [Ping timeout: 264 seconds]
yziquel has joined #ocaml
CcSsNET has quit [Ping timeout: 260 seconds]
tarbo2 has quit [Ping timeout: 260 seconds]
tarbo2 has joined #ocaml
itewsh has joined #ocaml
Yoric has joined #ocaml
hiptobecubic has joined #ocaml
<yziquel>
concerning nativeint, is there some C code available to create a nativeint from C side?