lelit2 has quit [Remote host closed the connection]
InFerNo_ has quit [Remote host closed the connection]
steenuil has quit [Ping timeout: 246 seconds]
steenuil has joined #ocaml
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Geo22 has joined #ocaml
pmetzger has quit [Remote host closed the connection]
UNCLE_PROTON has joined #ocaml
Geo22 has quit [Ping timeout: 240 seconds]
Hijinks20 has joined #ocaml
ctrlsbstr has joined #ocaml
Hijinks20 has quit [Ping timeout: 252 seconds]
<UNCLE_PROTON>
hi friends you won't ban me for asking how to learn the recursion using OCAML will u?
<UNCLE_PROTON>
i got banned from the haskell for asking that
<UNCLE_PROTON>
if problem i leave friends no trouble
jack5638 has quit [Ping timeout: 252 seconds]
jack5638 has joined #ocaml
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pmetzger has joined #ocaml
examachine has quit [Ping timeout: 244 seconds]
silver has quit [Read error: Connection reset by peer]
examachine has joined #ocaml
UNCLE_PROTON has quit [Quit: leaving]
pmetzger has quit [Ping timeout: 252 seconds]
kvda has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
mfp has quit [Ping timeout: 252 seconds]
Guest79764 has joined #ocaml
Guest79764 has quit [Remote host closed the connection]
logzet has joined #ocaml
tormen has joined #ocaml
logzet has quit [Remote host closed the connection]
Ulrar has quit [Ping timeout: 246 seconds]
tormen_ has quit [Ping timeout: 252 seconds]
Ulrar has joined #ocaml
pierpal has joined #ocaml
examachine has quit []
erplis has joined #ocaml
erplis has quit [Remote host closed the connection]
Khetzal28 has joined #ocaml
Tzhx8 has joined #ocaml
Khetzal28 has quit [Remote host closed the connection]
Tzhx8 has quit [Remote host closed the connection]
striker14 has joined #ocaml
sdx2314 has joined #ocaml
sdx2314 has quit [Remote host closed the connection]
striker14 has quit [Remote host closed the connection]
emberquill has joined #ocaml
pmetzger has joined #ocaml
emberquill has quit [Ping timeout: 260 seconds]
ggole has joined #ocaml
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 252 seconds]
sagotch has joined #ocaml
pmetzger has quit [Ping timeout: 240 seconds]
sagotch has quit [Ping timeout: 245 seconds]
sagotch has joined #ocaml
<oni-on-ion>
hm
ziyourenxiang has joined #ocaml
eric__ has joined #ocaml
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 244 seconds]
muelleme has joined #ocaml
eric__ has quit [Ping timeout: 250 seconds]
pyx has joined #ocaml
pyx has quit [Client Quit]
joehillen15 has joined #ocaml
joehillen15 has quit [Remote host closed the connection]
Haudegen has joined #ocaml
sagotch has quit [Quit: Leaving.]
jim7j1ajh has joined #ocaml
jimt has quit [Ping timeout: 252 seconds]
pmetzger has joined #ocaml
yaewa has joined #ocaml
moei has quit [Ping timeout: 252 seconds]
sagotch has joined #ocaml
marco4415 has joined #ocaml
muelleme has quit [Ping timeout: 244 seconds]
marco4415 has quit [Remote host closed the connection]
freyr69 has joined #ocaml
jchampion has joined #ocaml
jchampion has quit [Remote host closed the connection]
gizmo_7 has joined #ocaml
gizmo_7 has quit [Remote host closed the connection]
kino has joined #ocaml
kino has left #ocaml [#ocaml]
kino` has joined #ocaml
hkh4cks has joined #ocaml
kino` has quit [Quit: WeeChat 2.2]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hkh4cks has quit [Remote host closed the connection]
pmetzger has quit [Ping timeout: 240 seconds]
hogsy_22 has joined #ocaml
jdt3 has joined #ocaml
lounge-user67 has joined #ocaml
KeyJoo has joined #ocaml
hogsy_22 has quit [Ping timeout: 240 seconds]
lounge-user67 has quit [Remote host closed the connection]
jdt3 has quit [Remote host closed the connection]
yaewa has quit [Quit: Leaving...]
moei has joined #ocaml
KeyJoo has quit [Quit: KeyJoo]
jim7j1ajh is now known as jimt
sa-ghosts19 has joined #ocaml
sa-ghosts19 has quit [Remote host closed the connection]
<ZirconiumX>
Sometimes it's difficult to tell the difference between trolling and genuine innocence
<oni-on-ion>
yeah=)
tg has quit [Excess Flood]
greg811 has joined #ocaml
greg811 has quit [Remote host closed the connection]
groovy2shoes has quit [Quit: moritura te salutat]
tg has joined #ocaml
mfp has joined #ocaml
tg has quit [Excess Flood]
tg has joined #ocaml
jasonp23 has joined #ocaml
jasonp23 has quit [Remote host closed the connection]
pmetzger has joined #ocaml
morphix21 has joined #ocaml
morphix21 has quit [Remote host closed the connection]
MicroHex7 has joined #ocaml
kino` has joined #ocaml
<kino`>
Hi there.
MicroHex7 has quit [Remote host closed the connection]
kvda has joined #ocaml
<kino`>
Has anybody here used Ocsigen? I'm having a problem with RPCs and ungeneralizables type variables.
<kino`>
I don't understand what OCaml can't figure out in
<kino`>
The type of this expression, (Deriving_Json.Json_unit.a, _[> Html_types.h1 ] Eliom_content.Html.D.elt) Eliom_client.server_function, contains type variables that cannot be generalized
vqrs11 has joined #ocaml
<octachron>
The underscore at the start of "_[> Html_types.h1 ]" means that the row type variable is weakly polymorphic and cannot be generalized
vqrs11 has quit [Remote host closed the connection]
<kino`>
Hmm.
<ggole>
kino`: you can't have a weak type variable in the signature of a module (it isn't sound)
<octachron>
kino`, you can problably add some constraint to close this type to `Html_types.h1`
<ggole>
A simpler example would be module M = struct let x = ref None end
<ggole>
Usually you add a type annotaiton
<ggole>
eg, module M = struct let x : int option ref = ref None end is fine
<kino`>
ggole: Ah, that's what was written on ocaml.org, but couldn't figure out what was weakly polymorphic. But I not quite familiar with eliom, so I couldn't figure out how to fix it.
pmetzger has quit [Remote host closed the connection]
<rixed>
Am I right to think that OCaml signal handler (set with Sys.set_signal) are actually run *after* the actual signal handler, which probably just sets a flag ?
pmetzger has joined #ocaml
<rixed>
I guess it's mandatory since the runtime cannot run within the environment of a signal handler...
<kino`>
Anyway, it compiles now, so thanks a lot :)
<ggole>
The signal handler runs at a safe point, which iirc is the first allocation after the actual signal arrives
<rixed>
rixed: yes and the code makes it clear, see caml_record_signal(().
<rixed>
that makes EINTR a bit useless though :(
<ggole>
You might have to write some C if the usual arrangement is too limiting.
<rixed>
ggole: first I will try to work around this in ocaml. thank you for the details.
Exposure26 has joined #ocaml
Exposure26 has quit [Remote host closed the connection]
sagotch has quit [Quit: Leaving.]
eric__ has joined #ocaml
NinjaStyle21 has joined #ocaml
NinjaStyle21 has quit [Remote host closed the connection]
kino` has quit [Ping timeout: 264 seconds]
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Remote host closed the connection]
eric__ has quit [Ping timeout: 252 seconds]
moei has quit [Read error: Connection reset by peer]
moei has joined #ocaml
silver has joined #ocaml
francisl has joined #ocaml
pmetzger has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
Komzzpa has joined #ocaml
Komzzpa has quit [Remote host closed the connection]
<adrien>
~.
<adrien>
erf, I was supposed to be forgotten by the NAT here
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
francisl has quit [Quit: francisl]
tumdedum19 has joined #ocaml
jao has joined #ocaml
tumdedum19 has quit [Remote host closed the connection]
francisl has joined #ocaml
Haudegen has joined #ocaml
francisl has quit [Quit: francisl]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
francisl has joined #ocaml
groovy2shoes has joined #ocaml
scroll has joined #ocaml
hugo___2 has joined #ocaml
FreeBirdLjj has joined #ocaml
hugo___2 has quit [Remote host closed the connection]
eric__ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
shaman42_ has joined #ocaml
shaman42_ has quit [Remote host closed the connection]
eric__ has quit [Ping timeout: 252 seconds]
tykeal2 has joined #ocaml
tykeal2 has quit [Remote host closed the connection]
SkunkyFone12 has joined #ocaml
SkunkyFone12 has quit [Remote host closed the connection]
johnelse_ has quit [Quit: Lost terminal]
sagotch has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
al-damiri has joined #ocaml
FreeBirdLjj has joined #ocaml
pierpal has joined #ocaml
sagotch has quit [Quit: Leaving.]
pierpal has quit [Ping timeout: 252 seconds]
pierpal has joined #ocaml
pierreghz21 has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
francisl has quit [Quit: francisl]
johnelse has joined #ocaml
pierpal has quit [Ping timeout: 252 seconds]
francisl has joined #ocaml
eric__ has joined #ocaml
pierreghz21 has quit [Ping timeout: 252 seconds]
spew has joined #ocaml
eric__ has quit [Remote host closed the connection]
eric__ has joined #ocaml
mDfRg has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
mDfRg has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
brad- has joined #ocaml
freyr69 has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 252 seconds]
Berge22 has joined #ocaml
Berge22 has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
brad- has quit [Remote host closed the connection]
averell has quit [Quit: .]
eric__ has quit [Read error: Connection reset by peer]
averell has joined #ocaml
stryx`28 has joined #ocaml
stryx`28 has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #ocaml
francisl has quit [Quit: francisl]
trixisowned4 has joined #ocaml
johanhenselmans0 has joined #ocaml
trixisowned4 has quit [Remote host closed the connection]
johanhenselmans0 has quit [Read error: Connection reset by peer]
erkin has joined #ocaml
shiona_9 has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Remote host closed the connection]
shiona_9 has quit [Remote host closed the connection]
tane has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
ctrlsbstr has joined #ocaml
pierpal has joined #ocaml
angersec6 has joined #ocaml
FreeBirdLjj has joined #ocaml
angersec6 has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
pmetzger has joined #ocaml
jnavila has joined #ocaml
erkin has quit [Remote host closed the connection]
coventry has joined #ocaml
<coventry>
Is there any facility in dune for running tests under ocamldebug?
jnavila has quit [Ping timeout: 246 seconds]
tolarz14 has joined #ocaml
<coventry>
Anyone with experience doing this the ugly way? (ocamldebug on the run.exe test runner?) Is it worth looking into?
muelleme has joined #ocaml
tolarz14 has quit [Remote host closed the connection]
tardisx21 has joined #ocaml
tardisx21 has quit [Remote host closed the connection]
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Jesin has quit [Quit: Leaving]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Client Quit]
silv3r_m00n has joined #ocaml
silv3r_m00n has quit [Remote host closed the connection]
Jesin has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
vup11 has joined #ocaml
ctrlsbstr has joined #ocaml
vup11 has quit [Remote host closed the connection]
ctrlsbstr has quit [Client Quit]
muelleme has quit [Ping timeout: 240 seconds]
jtopian6 has joined #ocaml
jtopian6 has quit [Remote host closed the connection]
Haudegen has quit [Remote host closed the connection]
fraxamo has joined #ocaml
lostman has joined #ocaml
gouthamr3 has joined #ocaml
gouthamr3 has quit [Remote host closed the connection]
mmu_man1 has joined #ocaml
Peter9 has joined #ocaml
francisl has joined #ocaml
mmu_man1 has quit [Remote host closed the connection]
bartholin has joined #ocaml
Peter9 has quit [Ping timeout: 244 seconds]
roygbiv has joined #ocaml
TheLemonMan has joined #ocaml
bboles1 has joined #ocaml
bboles1 has quit [Remote host closed the connection]
francisl has quit [Quit: francisl]
francisl has joined #ocaml
RustyJ4 has joined #ocaml
RustyJ4 has quit [Remote host closed the connection]
roygbiv has quit [Quit: ™]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
pierpal has quit [Ping timeout: 240 seconds]
ggole has quit [Quit: ggole]
Jesin has quit [Quit: Leaving]
francisl has quit [Quit: francisl]
francisl has joined #ocaml
muelleme has joined #ocaml
mancdaz25 has joined #ocaml
muelleme has quit [Ping timeout: 244 seconds]
jnavila has joined #ocaml
mancdaz25 has quit [Remote host closed the connection]
francisl has quit [Quit: francisl]
kakadu has joined #ocaml
fraxamo has quit [Quit: Leaving]
mondz has joined #ocaml
mondz has quit [Remote host closed the connection]
d_s27 has joined #ocaml
d_s27 has quit [Remote host closed the connection]
muelleme has joined #ocaml
remix2000 has quit [Quit: WeeChat 2.2-dev]
ShadowNinja5 has joined #ocaml
kino` has joined #ocaml
ShadowNinja5 has quit [Remote host closed the connection]
giuseppe23 has joined #ocaml
giuseppe23 has quit [Remote host closed the connection]
remix2000 has joined #ocaml
remix2000 has left #ocaml [#ocaml]
francisl has joined #ocaml
pierpal has joined #ocaml
jack5638 has quit [Ping timeout: 240 seconds]
jack5638 has joined #ocaml
jmgb44 has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
mattoliverau10 has joined #ocaml
jmgb44 has quit [Remote host closed the connection]
mattoliverau10 has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
francisl has quit [Quit: francisl]
kino` has left #ocaml [#ocaml]
spew has quit [Quit: going home]
jnavila has joined #ocaml
zv has joined #ocaml
esselfe14 has joined #ocaml
esselfe14 has quit [Remote host closed the connection]
Guest19817 has joined #ocaml
Guest19817 has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
Xach3 has joined #ocaml
onculayn has joined #ocaml
Xach3 has quit [Remote host closed the connection]
lluchs6 has joined #ocaml
onculayn has quit [Remote host closed the connection]
lluchs6 has quit [Remote host closed the connection]
zv has quit [Ping timeout: 240 seconds]
silver_ has joined #ocaml
silver has quit [Ping timeout: 252 seconds]
jnavila has quit [Remote host closed the connection]
muelleme has quit [Ping timeout: 252 seconds]
zv has joined #ocaml
jfmcarreira5 has joined #ocaml
zampano9 has joined #ocaml
jfmcarreira5 has quit [Remote host closed the connection]
zampano9 has quit [Remote host closed the connection]
kvda has joined #ocaml
_andre has quit [Quit: leaving]
coventry has quit [Ping timeout: 245 seconds]
muelleme has joined #ocaml
kotrcka has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
muelleme has quit [Ping timeout: 260 seconds]
profit__ has joined #ocaml
profit__ has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 246 seconds]
teward11 has joined #ocaml
teward11 has quit [Remote host closed the connection]
antanst8 has joined #ocaml
Lunatrius3 has joined #ocaml
Lunatrius3 has quit [Remote host closed the connection]
antanst8 has quit [Remote host closed the connection]
pmetzger has joined #ocaml
jao has quit [Ping timeout: 272 seconds]
jao has joined #ocaml
WaVeR15 has joined #ocaml
WaVeR15 has quit [Remote host closed the connection]
valerius28 has joined #ocaml
valerius28 has quit [Remote host closed the connection]
muelleme has joined #ocaml
bryceml23 has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
bryceml23 has quit [Remote host closed the connection]