adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Upcoming OCaml MOOC: https://huit.re/ocamlmooc | OCaml 4.03.0 release notes: http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
srax1 is now known as srax
veggie_ has quit [Ping timeout: 264 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
togg719 has quit [Quit: togg719]
lolisa has joined #ocaml
lolisa has quit [Client Quit]
FreeBirdLjj has joined #ocaml
wu_ng has joined #ocaml
rgrinberg has joined #ocaml
jao has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
eh_eff has quit [Ping timeout: 244 seconds]
ee_ks has quit [Ping timeout: 240 seconds]
wu_ng has quit [Ping timeout: 265 seconds]
sh0t has quit [Remote host closed the connection]
ydl has joined #ocaml
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 272 seconds]
victoroak has joined #ocaml
eh_eff has joined #ocaml
fraggle_ has quit [Ping timeout: 265 seconds]
fraggle_ has joined #ocaml
eh_eff has quit [Ping timeout: 255 seconds]
victoroak has left #ocaml [#ocaml]
kolko_ has quit [Ping timeout: 252 seconds]
kolko has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
shinnya has quit [Ping timeout: 244 seconds]
wu_ng has joined #ocaml
silver has quit [Read error: Connection reset by peer]
mfp_ has quit [Ping timeout: 276 seconds]
sh0t has joined #ocaml
Kakadu has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
sdothum has quit [Quit: ZNC 1.6.3 - http://znc.in]
eh_eff has joined #ocaml
sh0t has quit [Remote host closed the connection]
sdothum has joined #ocaml
eh_eff has quit [Ping timeout: 265 seconds]
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 276 seconds]
swistak35 has quit [Ping timeout: 250 seconds]
swistak35 has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
ydl has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 265 seconds]
FreeBirdLjj has joined #ocaml
wu_ng has quit [Read error: Connection reset by peer]
wu_ng has joined #ocaml
wxfdglm has joined #ocaml
pyon has quit [Ping timeout: 265 seconds]
pyon has joined #ocaml
wxfdglm has quit [Quit: leaving]
fluter has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
fluter has joined #ocaml
tmtwd has joined #ocaml
MercurialAlchemi has joined #ocaml
jonasen has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
rgrinberg has quit [Ping timeout: 272 seconds]
jonasen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
uberTaco has quit [Ping timeout: 265 seconds]
_whitelogger has joined #ocaml
Guest46891 has joined #ocaml
tmtwd has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
MercurialAlchemi has joined #ocaml
pootler has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
jonasen has joined #ocaml
jonasen has quit [Read error: No route to host]
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 272 seconds]
<Guest46891> how much of a hassle is it to deal with an ocaml hashtable passed to the C side and playing with it there
<flux> guest46891, I'm guessing much
<Guest46891> (Algebr): yea, I'm guessing much too
kamog has quit [Ping timeout: 265 seconds]
jstolarek has joined #ocaml
jstolarek has quit [Remote host closed the connection]
freusque has joined #ocaml
orbifx-m2 has joined #ocaml
orbifx-m has quit [Ping timeout: 244 seconds]
Simn has joined #ocaml
alfredo has joined #ocaml
freusque has quit [Ping timeout: 255 seconds]
freusque has joined #ocaml
<Guest46891> I thought this should have worked. Have a type foo, then in a module in do, type t = private foo, and then functions that give back foo but in that module with type t, I want to do :> t to results that give back foo
<Guest46891> but getting that foo is not a subtype of t
<Guest46891> I think I have it backwards
<flux> no coercion is required, not sure what you're doing though: module Foo : sig type t = private int val mk : t val to_int : t -> int end = struct type t = int let mk = 42 let to_int x = x end
<flux> oh, and of_int is the same
<Guest46891> ah, nvm, I can just make the returning function more generic
kamog has joined #ocaml
kakadu has quit [Remote host closed the connection]
Reshi has joined #ocaml
orbifx-m has joined #ocaml
Guest46891 has quit [Ping timeout: 252 seconds]
orbifx-m2 has quit [Read error: Connection reset by peer]
orbifx-m2 has joined #ocaml
orbifx-m has quit [Ping timeout: 272 seconds]
copy` has joined #ocaml
Reshi has quit [Quit: WeeChat 1.5]
freusque has quit [Ping timeout: 255 seconds]
Guest46891 has joined #ocaml
Guest46891 is now known as Algebr
orbifx-m has joined #ocaml
orbifx-m2 has quit [Read error: Connection reset by peer]
eh_eff has joined #ocaml
jmasseo has quit [Ping timeout: 250 seconds]
jmasseo has joined #ocaml
alfredo has quit [Read error: Connection reset by peer]
orbifx-m has quit [Ping timeout: 272 seconds]
eh_eff has quit [Ping timeout: 265 seconds]
AlexDenisov has joined #ocaml
tizoc has quit [Ping timeout: 250 seconds]
tizoc has joined #ocaml
kakadu has joined #ocaml
Reshi has joined #ocaml
<Algebr> I'm wondering how icky it is to use ocaml heap objects in another heap
<Algebr> like say a C++ vector of ocaml values, how would that work..
<Algebr> ah, register_global_root, err, this is quite a rabit whole
larhat has joined #ocaml
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 265 seconds]
pootler has joined #ocaml
freusque has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 272 seconds]
jstolarek has joined #ocaml
Reshi has quit [Ping timeout: 244 seconds]
<flux> OCaml Template Library for C++ would be sweet.. :)
<flux> (for ocaml/c++ interaction)
john51 has quit [Remote host closed the connection]
ygrek_ has quit [Ping timeout: 240 seconds]
orbifx has joined #ocaml
jwatzman|work has joined #ocaml
tormen has quit [Ping timeout: 250 seconds]
orbifx has quit [Ping timeout: 252 seconds]
Algebr has quit [Ping timeout: 264 seconds]
Algebr has joined #ocaml
rpip has left #ocaml ["Textual IRC Client: www.textualapp.com"]
Algebr has left #ocaml [#ocaml]
Algebr` has joined #ocaml
<flux> let's say I have type _ t = A: int t | B: char t
<flux> the only way to put those into a list is to have type type t_holder = Holder: _ t -> t_holder, right?
mfp_ has joined #ocaml
<flux> ie. [Holder A; Holder B] works but [A; B] won't
<flux> or is there a shortcut?
zpe has joined #ocaml
TheLemonMan has joined #ocaml
obj_magic has quit [Ping timeout: 272 seconds]
obj_magic has joined #ocaml
<johnelse> flux: I think that's the only way
lostman has joined #ocaml
<flux> I'm considering exposing GADTs in one library, but wondering if it's more trouble for the user than it is of benefit :)
wu_ng has quit [Ping timeout: 272 seconds]
copy` has quit [Quit: Connection closed for inactivity]
Sorella has joined #ocaml
zpe has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
freusque has quit [Ping timeout: 244 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
sillyotter has joined #ocaml
kamog has quit [Read error: Connection reset by peer]
kamog has joined #ocaml
sillyotter has quit [Quit: WeeChat 1.5]
_andre has joined #ocaml
copy` has joined #ocaml
<Algebr`> what is the thing that happens with hashtables where its a '_ and then set to a type? Weakly polymorphic?
<Algebr`> I want to also do that
<mrvn_> not polymorphic at all. it's monomorphic and the type can't escape it's scope without being resolved.
<Algebr`> ah, the value restriction
<mrvn_> yep
<Algebr`> how can I purposefully cause this
<mrvn_> not sure how you got that with hashtbl at all. put something in a ref?
<Algebr`> hashtable has it
<Drup> Algebr`: that's quite easy, make an abstract type that is not covariant
zpe has joined #ocaml
<mrvn_> usualy ocaml infers it on it's own.
<Drup> mrvn_: OCaml infers variance for non abstract datatypes
<Drup> but for abstract datatypes, you have to annotate it if you want to expose it, like `type +'a foo`
<mrvn_> # type 'a t let make () = ((Obj.magic 0) : 'a t) let x = make ();;
<mrvn_> Drup: exactly
<Drup> mrvn_: any argument about what the typechecker infers or not should not be answered by a piece of code with Obj.magic in it u_u'
<companion_cube> :D
<mrvn_> Drup: only way to create an instance of an abstract type in short.
<Drup> mrvn_: No.
<reynir> heh
<Algebr`> cheating
<mrvn_> Algebr`: totaly
<mrvn_> Drup: show example
<Drup> (dammit, I need that instance of No, nicoo, please hurry)
<nicoo> <3
<Drup> module M : sig type t val make : unit -> _ t end = struct type t = int let make () = 3 end
<Drup> type _ t*
<mrvn_> mine is shorter
<mrvn_> 8-P
<Algebr`> Drup: yours doesn't type check
<Algebr`> ah wait with the _ t
<Drup> mrvn_: my answer actually uses the language
<Drup> Algebr`: yeah, fix the arity, sorry
<mrvn_> # module M : sig type 'a t val make : unit -> _ t end = struct type 'a t = int let make () = 3 end;;
<mrvn_> module M : sig type 'a t val make : unit -> 'a t end
<mrvn_> Drup: like that? doesn't seem to be '_a t
<Drup> try to use it.
<mrvn_> sorry, forgot the signature doesn't show it.
<flux> it does, though? it's covariant only if you use type +'a t ?
FreeBirdLjj has quit [Remote host closed the connection]
<mrvn_> flux: I ment the '_a t
orbifx has joined #ocaml
llamatarianism has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
ggole has joined #ocaml
llamatarianism has quit [Quit: Page closed]
rgrinberg has joined #ocaml
mrvn_ is now known as mrvn
ee_ks has joined #ocaml
sepp2k has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
johnelse has joined #ocaml
Denommus has joined #ocaml
Reshi has joined #ocaml
Denommus has quit [Client Quit]
Reshi has quit [Client Quit]
Denommus has joined #ocaml
shinnya has joined #ocaml
monod has joined #ocaml
SimonJF_ is now known as SimonJF
monod has quit [Quit: Thank you a bunch Southern_Gentlem and Khaytsus]
jwatzman|work has joined #ocaml
freusque has joined #ocaml
dmj has joined #ocaml
TheLemonMan has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
orbifx has quit [Ping timeout: 265 seconds]
<infinity0> anyone got some comments on ocaml-lens or any alternative to it?
brunoro has joined #ocaml
freusque has quit [Ping timeout: 265 seconds]
Algebr` has quit [Read error: Connection reset by peer]
Algebr` has joined #ocaml
wxfdglm has joined #ocaml
<wxfdglm> hello
<reynir> hello
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
<wxfdglm> have anyone tried opam-cross-android ? I have trouve compiling a basic program using the ndk makefiles
<wxfdglm> I keep getting "undefined reference to 'caml_data_segments' ... " errors when linking to libasmrun
veggie_ has joined #ocaml
sh0t has joined #ocaml
brunoro has quit [Ping timeout: 264 seconds]
Denommus has quit [Read error: Connection reset by peer]
rgrinberg has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
pootler has quit [Ping timeout: 276 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
pootler has joined #ocaml
Algebr` has quit [Ping timeout: 265 seconds]
kamog has quit [Remote host closed the connection]
al-damiri has joined #ocaml
rgrinberg has joined #ocaml
jstolarek has quit [Ping timeout: 264 seconds]
brunoro has joined #ocaml
<rgrinberg> infinity0: i'm curious about how well flambda inlines ocaml-lens
AlexDenisov has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
freehck has quit [Quit: rcirc on GNU Emacs 24.4.1]
agarwal1975 has joined #ocaml
brunoro has quit [Ping timeout: 265 seconds]
jao has joined #ocaml
slash^ has joined #ocaml
brunoro has joined #ocaml
shinnya has quit [Ping timeout: 244 seconds]
togg has joined #ocaml
larhat has left #ocaml [#ocaml]
dmj has quit [Ping timeout: 240 seconds]
brunoro has quit [Ping timeout: 265 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
teiresias has quit [Read error: Connection reset by peer]
teiresias has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
wxfdglm has quit [Quit: leaving]
copy` has quit [Ping timeout: 272 seconds]
Bluddy[m] has quit [Ping timeout: 272 seconds]
glesica has quit [Ping timeout: 272 seconds]
Ravana has quit [Ping timeout: 272 seconds]
rfv has quit [Ping timeout: 272 seconds]
_andre_ has joined #ocaml
slash_ has joined #ocaml
togg_ has joined #ocaml
Sorella has joined #ocaml
fluter has quit [Ping timeout: 252 seconds]
copy`_ has joined #ocaml
jwatzman|work has quit [Ping timeout: 255 seconds]
pyon has quit [Ping timeout: 255 seconds]
caw has quit [Ping timeout: 255 seconds]
mankyKitty has quit [Ping timeout: 255 seconds]
msch_ has quit [Ping timeout: 255 seconds]
vinoski has quit [Ping timeout: 255 seconds]
_andre has quit [Ping timeout: 255 seconds]
jcloud has quit [Ping timeout: 255 seconds]
banjiewen has quit [Ping timeout: 255 seconds]
__rlp_ has quit [Ping timeout: 255 seconds]
engil has quit [Ping timeout: 255 seconds]
M-pesterhazy has quit [Ping timeout: 260 seconds]
jpdeplaix has quit [Ping timeout: 240 seconds]
unbalancedparen has joined #ocaml
unbalanced has quit [Read error: Connection reset by peer]
struk|desk has quit [Write error: Connection reset by peer]
zpe_ has joined #ocaml
teiresias has quit [Ping timeout: 255 seconds]
artart78 has quit [Ping timeout: 255 seconds]
clog has quit [Ping timeout: 255 seconds]
dmiller has quit [Ping timeout: 255 seconds]
apache2 has quit [Ping timeout: 255 seconds]
tristero has quit [Ping timeout: 240 seconds]
APNG has quit [Ping timeout: 240 seconds]
relrod has quit [Ping timeout: 240 seconds]
jmiven has quit [Ping timeout: 240 seconds]
engil has joined #ocaml
barkmadley[m] has quit [Ping timeout: 265 seconds]
lpaste has quit [Ping timeout: 265 seconds]
togg has quit [Ping timeout: 265 seconds]
sz0 has quit [Ping timeout: 265 seconds]
sigjuice_ has quit [Ping timeout: 265 seconds]
sfri has quit [Read error: Connection reset by peer]
togg_ is now known as togg
slash^ has quit [Ping timeout: 272 seconds]
kosh_ has quit [Ping timeout: 272 seconds]
hnrgrgr_ has quit [Ping timeout: 272 seconds]
fUD has quit [Ping timeout: 272 seconds]
maker has quit [Ping timeout: 272 seconds]
profmaad has quit [Ping timeout: 272 seconds]
cdidd has quit [Ping timeout: 265 seconds]
jmiven_ has joined #ocaml
rgrinberg has quit [Ping timeout: 244 seconds]
SoniEx2 has joined #ocaml
lpw25[m] has quit [Ping timeout: 273 seconds]
sheijk_ has quit [Ping timeout: 260 seconds]
M-ErkkiSeppl has quit [Ping timeout: 260 seconds]
Orion3k has quit [Ping timeout: 255 seconds]
sh0t has quit [Ping timeout: 265 seconds]
sepp2k has quit [Ping timeout: 265 seconds]
wagle has quit [Ping timeout: 265 seconds]
ski has quit [Ping timeout: 265 seconds]
pigoz has quit [Ping timeout: 265 seconds]
hnrgrgr has joined #ocaml
SoniEx2 has joined #ocaml
SoniEx2 has quit [Changing host]
profmaad has joined #ocaml
__rlp has joined #ocaml
kosh_ has joined #ocaml
clog_ has joined #ocaml
wagle has joined #ocaml
sfri has joined #ocaml
ggole has quit [Ping timeout: 265 seconds]
zpe has quit [Ping timeout: 265 seconds]
kakadu has quit [Ping timeout: 265 seconds]
swistak35 has quit [Ping timeout: 265 seconds]
zv has quit [Ping timeout: 265 seconds]
dinosaure has quit [Ping timeout: 265 seconds]
dmj` has joined #ocaml
thegameg has quit [Ping timeout: 265 seconds]
sh0t has joined #ocaml
emias has quit [Ping timeout: 272 seconds]
struk|desk has joined #ocaml
clog_ is now known as clog
eh_eff has joined #ocaml
emmanueloga has quit [Ping timeout: 244 seconds]
artart78 has joined #ocaml
artart78 has joined #ocaml
ee_ks has quit [Ping timeout: 244 seconds]
jpdeplaix1 has joined #ocaml
dmiller_ has joined #ocaml
Orion3000 has joined #ocaml
trevorriles has quit [Ping timeout: 265 seconds]
_habnabit has quit [Ping timeout: 265 seconds]
fedruantine has quit [Ping timeout: 265 seconds]
ee_ks has joined #ocaml
maker has joined #ocaml
lpaste_ has joined #ocaml
tristero has joined #ocaml
aantron has quit [Ping timeout: 265 seconds]
pyon has joined #ocaml
pyon has quit [Remote host closed the connection]
ggherdov has quit [Ping timeout: 248 seconds]
obj_magic has quit [Ping timeout: 257 seconds]
al-damiri has quit [Ping timeout: 252 seconds]
NhanH__ has quit [Ping timeout: 257 seconds]
jlouis_ has quit [Ping timeout: 257 seconds]
Ravana has joined #ocaml
copy`_ is now known as copy`
emias has joined #ocaml
sepp2k has joined #ocaml
cdidd has joined #ocaml
l1x has quit [Ping timeout: 252 seconds]
MorTal1ty has quit [Ping timeout: 250 seconds]
mbrock has quit [Ping timeout: 265 seconds]
luz1e has quit [Ping timeout: 265 seconds]
SimonJF has quit [Ping timeout: 265 seconds]
dch has quit [Ping timeout: 255 seconds]
sigjuice has joined #ocaml
vinoski has joined #ocaml
apache2 has joined #ocaml
trevorriles has joined #ocaml
zpe_ has quit [Read error: Connection reset by peer]
pootler has quit [Ping timeout: 252 seconds]
SimonJF has joined #ocaml
vinoski has quit [Ping timeout: 272 seconds]
sigjuice has quit [Ping timeout: 272 seconds]
M-Illandan has quit [Ping timeout: 272 seconds]
mrvn_ has joined #ocaml
apache2_ has joined #ocaml
_whitelogger has quit [Ping timeout: 272 seconds]
_whitelogger_ has joined #ocaml
glesica has joined #ocaml
fluter has joined #ocaml
relrod_ has joined #ocaml
dmj`` has joined #ocaml
relrod_ has joined #ocaml
relrod_ has quit [Changing host]
fedruantine has joined #ocaml
thegameg has joined #ocaml
obj_magic has joined #ocaml
henrytill has joined #ocaml
henrytill has joined #ocaml
__rlp has quit [Ping timeout: 252 seconds]
seliopou_ has quit [Ping timeout: 252 seconds]
fedjo has quit [Ping timeout: 240 seconds]
fedjo has joined #ocaml
eh_eff has quit [Ping timeout: 240 seconds]
kolko has quit [Ping timeout: 240 seconds]
mrvn has quit [Ping timeout: 240 seconds]
wagle has quit [Ping timeout: 240 seconds]
apache2 has quit [Read error: Connection reset by peer]
vinoski has quit [Ping timeout: 272 seconds]
sigjuice has quit [Ping timeout: 272 seconds]
M-Illandan has quit [Ping timeout: 272 seconds]
mrvn_ has joined #ocaml
apache2_ has joined #ocaml
_whitelogger has quit [Ping timeout: 272 seconds]
atsampson has quit [Ping timeout: 272 seconds]
timclassic has quit [Ping timeout: 272 seconds]
StatelessCat has quit [Ping timeout: 272 seconds]
Madars has quit [Ping timeout: 265 seconds]
profmaad has quit [Ping timeout: 252 seconds]
sigjuice has joined #ocaml
kosh_ has quit [Ping timeout: 272 seconds]
hnrgrgr has quit [Ping timeout: 272 seconds]
libertas has quit [Ping timeout: 265 seconds]
sh0t has quit [Ping timeout: 252 seconds]
unbalancedparen has quit [Ping timeout: 252 seconds]
dmiller_ has quit [Ping timeout: 244 seconds]
jao has quit [Ping timeout: 244 seconds]
libertas has joined #ocaml
glesica has joined #ocaml
glesica has quit [Changing host]
kosh_ has joined #ocaml
wxfdglm has joined #ocaml
henrytill_ has quit [Ping timeout: 264 seconds]
jerith_ has joined #ocaml
dmiller has joined #ocaml
profan has quit [Ping timeout: 264 seconds]
hnrgrgr_ has joined #ocaml
clog has quit [Ping timeout: 264 seconds]
kolko_ has joined #ocaml
aantron has joined #ocaml
luz1e has joined #ocaml
unbalancedparen has joined #ocaml
tane has joined #ocaml
pootler has joined #ocaml
ahf has joined #ocaml
banjiewen has joined #ocaml
eh_eff has joined #ocaml
wagle has joined #ocaml
StatelessCat has joined #ocaml
jerith_ is now known as jerith
profan has joined #ocaml
Madars has joined #ocaml
infinity0 has quit [Ping timeout: 252 seconds]
dinosaure has joined #ocaml
seliopou has joined #ocaml
rgrinberg has joined #ocaml
pigoz has joined #ocaml
sheijk has joined #ocaml
ggole has joined #ocaml
dmj`` is now known as dmj`
zv has joined #ocaml
fedruantine has quit [Ping timeout: 276 seconds]
mankyKitty has joined #ocaml
jlouis_ has joined #ocaml
profmaad has joined #ocaml
ski has joined #ocaml
_habnabit has joined #ocaml
infinity0 has joined #ocaml
emmanueloga has joined #ocaml
menasw has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
Muzer has joined #ocaml
fUD has joined #ocaml
__rlp has joined #ocaml
msch_ has joined #ocaml
fedruantine has joined #ocaml
l1x has joined #ocaml
manizzle has quit [Read error: Connection reset by peer]
sepp2k has quit [Ping timeout: 240 seconds]
_whitelogger has joined #ocaml
ee_ks has quit [Ping timeout: 244 seconds]
jpdeplaix1 has quit [Ping timeout: 244 seconds]
ahf has quit [Ping timeout: 255 seconds]
atsampso1 has quit [Ping timeout: 255 seconds]
swistak35 has quit [Ping timeout: 255 seconds]
cnu- has quit [Ping timeout: 255 seconds]
Lastpixl has quit [Ping timeout: 255 seconds]
_whitelogger_ has quit [Read error: Connection reset by peer]
fedruantine has quit [Ping timeout: 265 seconds]
sh0t has quit [Ping timeout: 265 seconds]
infinity0 has quit [Ping timeout: 265 seconds]
ahf has joined #ocaml
Orion3k has joined #ocaml
luzi has joined #ocaml
kosh_ has joined #ocaml
mrvn has joined #ocaml
kolko_ has quit [Ping timeout: 264 seconds]
hnrgrgr_ has quit [Ping timeout: 264 seconds]
jerith has quit [Ping timeout: 264 seconds]
trevorriles_ has joined #ocaml
__rlp has quit [Ping timeout: 264 seconds]
dinosaure has quit [Ping timeout: 264 seconds]
eh_eff has quit [Ping timeout: 264 seconds]
luz1e has quit [Ping timeout: 264 seconds]
trevorriles has quit [Ping timeout: 264 seconds]
Orion3000 has quit [Ping timeout: 264 seconds]
Lastpixl_ has joined #ocaml
ee_ks1 has joined #ocaml
zv has quit [Ping timeout: 264 seconds]
zv_ has joined #ocaml
Ravana has joined #ocaml
lobo has quit [Ping timeout: 265 seconds]
Algebr` has quit [Ping timeout: 240 seconds]
dinosaure has joined #ocaml
sepp2k has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
cdidd has joined #ocaml
__rlp has joined #ocaml
infinity0 has joined #ocaml
NhanH__ has joined #ocaml
_habnabit has joined #ocaml
fedruantine has joined #ocaml
l1x has quit [Ping timeout: 272 seconds]
Muzer has quit [Ping timeout: 272 seconds]
lpaste_ has quit [Ping timeout: 272 seconds]
infinity0 has quit [Ping timeout: 272 seconds]
aantron has quit [Ping timeout: 272 seconds]
kolko has quit [Ping timeout: 272 seconds]
seliopou_ has quit [Ping timeout: 272 seconds]
regnat[m] has quit [Ping timeout: 272 seconds]
_whitelogger has quit [Excess Flood]
sepp2k has quit [Ping timeout: 272 seconds]
_whitelogger has joined #ocaml
vishesh has joined #ocaml
unbalanced has joined #ocaml
glesica has quit [Ping timeout: 255 seconds]
profan has quit [Ping timeout: 244 seconds]
SimonJF has quit [Ping timeout: 244 seconds]
andromias has joined #ocaml
kosh_ has quit [Ping timeout: 272 seconds]
fedruantine_ has joined #ocaml
ee_ks1 has quit [Ping timeout: 264 seconds]
trevorriles_ has quit [Read error: Connection reset by peer]
SimonJF_ has joined #ocaml
profan_ has joined #ocaml
dmiller has quit [Ping timeout: 264 seconds]
emias has quit [Ping timeout: 264 seconds]
fedruantine has quit [Ping timeout: 264 seconds]
kosh_ has joined #ocaml
lpaste has joined #ocaml
aantron has joined #ocaml
apache2 has joined #ocaml
sz0 has joined #ocaml
agarwal1975 has joined #ocaml
kolko has joined #ocaml
lobo has joined #ocaml
atsampson has joined #ocaml
ee_ks has joined #ocaml
jmasseo has joined #ocaml
jerith has joined #ocaml
trevorriles has joined #ocaml
MightyJoe is now known as cyraxjoe
sdothum- has joined #ocaml
Madars has quit [*.net *.split]
artart78 has quit [*.net *.split]
sdothum has quit [*.net *.split]
zaltekk_ has quit [*.net *.split]
xaimus has quit [*.net *.split]
sepp2k has joined #ocaml
sz0 has quit [Ping timeout: 272 seconds]
lpaste has quit [Ping timeout: 272 seconds]
seliopou has quit [Ping timeout: 272 seconds]
sdothum- has quit [Ping timeout: 272 seconds]
_whitelogger has joined #ocaml
sepp2k has quit [Ping timeout: 272 seconds]
atsampson has quit [Ping timeout: 272 seconds]
kosh_ has quit [Ping timeout: 272 seconds]
vishesh has quit [Ping timeout: 272 seconds]
cnu_ has quit [Ping timeout: 272 seconds]
emmanueloga has quit [Ping timeout: 272 seconds]
Lastpixl has joined #ocaml
profan has joined #ocaml
atsampson has joined #ocaml
kosh_ has joined #ocaml
cnu- has joined #ocaml
ggherdov has joined #ocaml
profan_ has quit [Ping timeout: 264 seconds]
profmaad has quit [Ping timeout: 264 seconds]
apache2 has quit [Ping timeout: 264 seconds]
Lastpixl_ has quit [Ping timeout: 264 seconds]
SimonJF_ has quit [Ping timeout: 264 seconds]
SimonJF has joined #ocaml
wxfdglm has quit [Quit: leaving]
lpaste has joined #ocaml
sdothum has joined #ocaml
Muzer has joined #ocaml
vishesh has joined #ocaml
zaltekk has joined #ocaml
Madars has joined #ocaml
fUD has joined #ocaml
mbrock has joined #ocaml
msch_ has joined #ocaml
vinoski has joined #ocaml
menasw has joined #ocaml
andromias has joined #ocaml
zv_ is now known as zv
relrod_ is now known as relrod
l1x has joined #ocaml
MorTal1ty has joined #ocaml
brunoro has joined #ocaml
dch has joined #ocaml
glesica has joined #ocaml
_andre has joined #ocaml
jlouis_ is now known as jlouis
al-damiri has joined #ocaml
brunoro has quit [Ping timeout: 272 seconds]
rfv has joined #ocaml
NhanH__ has joined #ocaml
sz0 has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
emmanueloga has joined #ocaml
jeroud has joined #ocaml
caw has joined #ocaml
agarwal1975 has joined #ocaml
jcloud has joined #ocaml
_whitelogger has quit [Ping timeout: 272 seconds]
_whitelogger has joined #ocaml
andreypopp has joined #ocaml
FreeBirdLjj has joined #ocaml
trevorriles_ has joined #ocaml
caw has quit [Ping timeout: 265 seconds]
jmasseo_ has joined #ocaml
fedjo has joined #ocaml
fedjo has quit [Ping timeout: 240 seconds]
zaltekk_ has joined #ocaml
dch has quit [Ping timeout: 244 seconds]
andromias has quit [Ping timeout: 272 seconds]
atsampson has quit [Ping timeout: 272 seconds]
unbalanced has quit [Ping timeout: 272 seconds]
dmiller_ has quit [Ping timeout: 272 seconds]
atsampson has joined #ocaml
zaltekk has quit [Ping timeout: 264 seconds]
jeffmo has joined #ocaml
dmiller_ has joined #ocaml
unbalanced has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
jcloud has quit [Ping timeout: 276 seconds]
andromias has joined #ocaml
trevorriles_ has quit [Max SendQ exceeded]
profan has joined #ocaml
trevorriles has joined #ocaml
ggherdov has joined #ocaml
dch has joined #ocaml
ee_ks has quit [Ping timeout: 272 seconds]
menasw has joined #ocaml
ggherdov has quit [Excess Flood]
rgrinberg has quit [Read error: Connection reset by peer]
pyon has joined #ocaml
lostman has quit [Quit: Connection closed for inactivity]
jeffmo_ has joined #ocaml
rgrinberg1 has joined #ocaml
dch has quit [Changing host]
dch has joined #ocaml
dch has joined #ocaml
dch has quit [Changing host]
menasw has joined #ocaml
menasw has quit [Changing host]
dch has quit [Changing host]
dch has joined #ocaml
ee_ks has joined #ocaml
Lastpixl has quit [Ping timeout: 272 seconds]
jeffmo has quit [Ping timeout: 264 seconds]
aantron has quit [Ping timeout: 264 seconds]
NhanH__ has quit [Ping timeout: 264 seconds]
SimonJF has quit [Ping timeout: 264 seconds]
SimonJF has joined #ocaml
jeffmo_ is now known as jeffmo
Lastpixl has joined #ocaml
aantron has joined #ocaml
ggherdov has joined #ocaml
pootler has joined #ocaml
NhanH__ has joined #ocaml
caw has joined #ocaml
jcloud has joined #ocaml
SoniEx2 is now known as APNG
ggole_ has joined #ocaml
aantron_ has joined #ocaml
caw has joined #ocaml
caw has quit [Changing host]
jcloud has joined #ocaml
jcloud has quit [Changing host]
sz0 has quit [Ping timeout: 272 seconds]
ggole has quit [Ping timeout: 240 seconds]
SimonJF_ has joined #ocaml
dmiller has joined #ocaml
ggole_ has quit [Client Quit]
MorTal1ty has joined #ocaml
infinity0 has joined #ocaml
aantron has quit [Ping timeout: 264 seconds]
aantron_ is now known as aantron
SimonJF has quit [Ping timeout: 264 seconds]
dmiller_ has quit [Ping timeout: 264 seconds]
agarwal1975 has quit [Quit: agarwal1975]
sz0 has joined #ocaml
<infinity0> rgrinberg1: re flambda / lens, what does that mean and how would i test it?
agarwal1975 has joined #ocaml
<rgrinberg1> infinity0: it seems like ocaml-lens would be awfully slow compared to normal field access without a lot of inlining/closure elimination
xaimus has joined #ocaml
<rgrinberg1> luckily, flambda should do exactly that
<infinity0> ah, k
<infinity0> i guess i shall have to see. this is actually in a critical part of my code (a timer dispatcher) so i guess i have some incentive to look into this in more depth
jstolarek has joined #ocaml
pierpa has joined #ocaml
shinnya has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
clog has joined #ocaml
AlexDenisov has joined #ocaml
brunoro has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
brunoro has quit [Ping timeout: 272 seconds]
agarwal1975 has joined #ocaml
xaimus has quit [*.net *.split]
<zozozo> how do I get Tyxml_js from opam packages ? I have tyxml installed, and just reinstalled js_of_ocaml, but can't seem to find the Tyxml_js module anywhere
togg has quit [Quit: togg]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 272 seconds]
trevorriles has quit [Ping timeout: 272 seconds]
zpe has joined #ocaml
jao has joined #ocaml
<reynir> !ocamloscope = http://ocamloscope.herokuapp.com/
<reynir> oh, it's not here
<reynir> !ocamloscope
Lastpixl has quit [Ping timeout: 272 seconds]
ee_ks has quit [Ping timeout: 272 seconds]
rgrinberg1 has quit [Ping timeout: 272 seconds]
<reynir> Seems it's js_of_ocaml.tyxml
Lastpixl has joined #ocaml
trevorriles has joined #ocaml
SimonJF_ has quit [Ping timeout: 272 seconds]
zv has quit [Ping timeout: 272 seconds]
SimonJF has joined #ocaml
zv has joined #ocaml
ee_ks has joined #ocaml
Algebr` has quit [Ping timeout: 240 seconds]
veggie_ has quit [Ping timeout: 276 seconds]
jstolarek has quit [Read error: Connection reset by peer]
pootler has quit [Read error: Connection reset by peer]
pootler has joined #ocaml
pootler has quit [Read error: Connection reset by peer]
_whitelogger has joined #ocaml
SimonJF has quit [Ping timeout: 264 seconds]
cnu- has joined #ocaml
kolko has quit [Quit: ZNC - http://znc.in]
vinoski has quit [Read error: Network is unreachable]
mrallen1 has quit [Read error: Connection reset by peer]
Ravana has joined #ocaml
_whitelogger has quit [Ping timeout: 272 seconds]
_whitelogger_ has joined #ocaml
veggie_ has joined #ocaml
fraggle-boate has joined #ocaml
evhan has joined #ocaml
kandu is now known as Guest46167
_andre has quit [Ping timeout: 264 seconds]
Guest57575 has quit [Ping timeout: 264 seconds]
shinnya has quit [Ping timeout: 264 seconds]
luzi has joined #ocaml
w1gz_ is now known as w1gz
pwzoii has joined #ocaml
shinnya has joined #ocaml
ggherdov has joined #ocaml
groovy2shoes has joined #ocaml
Ravana has joined #ocaml
Orion3k has joined #ocaml
cyraxjoe has joined #ocaml
emmanueloga has joined #ocaml
zv has joined #ocaml
tizoc has joined #ocaml
Madars has quit [Ping timeout: 240 seconds]
jcloud has joined #ocaml
kiwnix has joined #ocaml
trevorriles_ has quit [Ping timeout: 244 seconds]
wolfcore has joined #ocaml
gregoire has joined #ocaml
ggherdov has quit [Ping timeout: 272 seconds]
emmanueloga has quit [Ping timeout: 272 seconds]
kolko has quit [Ping timeout: 272 seconds]
_whitelogger_ has quit [Excess Flood]
rfv has quit [Ping timeout: 276 seconds]
_whitelogger has joined #ocaml
kiwnix- has joined #ocaml
kosh_ has joined #ocaml
<zozozo> Drup: tyxml_js disappears for jsoo > 2.5 ? is there a reason ?
cyraxjoe has quit [Ping timeout: 272 seconds]
zv_ has joined #ocaml
Ravana has quit [Ping timeout: 264 seconds]
kiwnix has quit [Ping timeout: 264 seconds]
zv has quit [Ping timeout: 264 seconds]
agarwal1975_ has joined #ocaml
lyxia has joined #ocaml
kiwnix- is now known as kiwnix
agarwal1975_ is now known as agarwal1975
dmj` has joined #ocaml
Muzer has joined #ocaml
cyraxjoe has joined #ocaml
<Drup> zozozo: hum, no
edwin has quit [Ping timeout: 265 seconds]
<Drup> you just need both tyxml and reactiveData
<zozozo> ah... thanks
Madars has quit [Ping timeout: 240 seconds]
l1x has joined #ocaml
atsampson has joined #ocaml
edwin has joined #ocaml
def` has joined #ocaml
Madars has joined #ocaml
kandu_ has joined #ocaml
TheLemonMan has joined #ocaml
menasw has joined #ocaml
nopf has joined #ocaml
SimonJF has joined #ocaml
fUD has joined #ocaml
sz0 has joined #ocaml
jeroud has joined #ocaml
mbrock has joined #ocaml
mrallen1 has joined #ocaml
dch has joined #ocaml
glesica has joined #ocaml
ggherdov has joined #ocaml
ocaml446 has joined #ocaml
pierpa` has joined #ocaml
emmanueloga has joined #ocaml
MorTal1ty has joined #ocaml
NhanH__ has joined #ocaml
rfv has joined #ocaml
al-damiri has joined #ocaml
brunoro has joined #ocaml
pierpa has quit [Ping timeout: 276 seconds]
tane_ has joined #ocaml
tane is now known as Guest83659
tane_ is now known as tane
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
ydl has joined #ocaml
jstolarek has joined #ocaml
brunoro has quit [Ping timeout: 264 seconds]
eh_eff_ has quit [Ping timeout: 276 seconds]
Guest83659 has quit [Ping timeout: 244 seconds]
caw has joined #ocaml
Algebr` has joined #ocaml
ocaml446 has quit [Quit: Page closed]
zpe_ has quit [Remote host closed the connection]
profmaad_ has quit [Ping timeout: 244 seconds]
profmaad has joined #ocaml
veggie_ has quit [Ping timeout: 276 seconds]
_whitelogger has joined #ocaml
dmj` has joined #ocaml
tizoc has joined #ocaml
andreypopp has quit [Ping timeout: 240 seconds]
Orion3k has joined #ocaml
Madars has joined #ocaml
ansiwen_ has quit [Ping timeout: 276 seconds]
rgrinberg1 has joined #ocaml
pootler has quit [Ping timeout: 272 seconds]
cyraxjoe has quit [Read error: Connection reset by peer]
_whitelogger has quit [Excess Flood]
_whitelogger has joined #ocaml
profmaad has quit [Ping timeout: 264 seconds]
fUD has quit [Ping timeout: 264 seconds]
rgrinberg1 has quit [Excess Flood]
kandu_ has quit [Ping timeout: 264 seconds]
kandu has joined #ocaml
kosh_ has quit [Ping timeout: 272 seconds]
cyraxjoe has joined #ocaml
edwin has joined #ocaml
rgrinberg1 has joined #ocaml
kosh_ has joined #ocaml
jeroud has joined #ocaml
kandu is now known as Guest11576
mbrock has joined #ocaml
profmaad_ has quit [Ping timeout: 244 seconds]
nopf has quit [Ping timeout: 244 seconds]
mrallen1 has joined #ocaml
j0sh has joined #ocaml
atsampson has joined #ocaml
Muzer has joined #ocaml
nopf has joined #ocaml
DanielRichman has joined #ocaml
eh_eff_ has joined #ocaml
glesica has joined #ocaml
profmaad has joined #ocaml
l1x has joined #ocaml
sz0 has joined #ocaml
_whitelogger has joined #ocaml
fUD has joined #ocaml
fUD has quit [Changing host]
cnu- has joined #ocaml
luzi has joined #ocaml
octachron has joined #ocaml
cyraxjoe has joined #ocaml
xaimus has joined #ocaml
l1x has joined #ocaml
al-damiri has joined #ocaml
zaquest_ is now known as zaquest
pierpa`` has joined #ocaml
rgrinberg1 has quit [Quit: WeeChat 1.5]
vinoski has quit [Read error: Network is unreachable]
rgrinberg has joined #ocaml
sz0 has joined #ocaml
clog has joined #ocaml
emmanueloga has joined #ocaml
andreypopp has joined #ocaml
jeroud has joined #ocaml
jcloud has joined #ocaml
pierpa` has quit [Ping timeout: 244 seconds]
vinoski has joined #ocaml
tizoc` is now known as tizoc
tizoc has quit [Changing host]
tizoc has joined #ocaml
mrallen1 has joined #ocaml
rightfold-unreg has joined #ocaml
MorTal1ty has joined #ocaml
Muzer has joined #ocaml
barkmadley[m] has joined #ocaml
glesica has joined #ocaml
mbrock has joined #ocaml
artart78_ is now known as artart78
menasw has joined #ocaml
caw has joined #ocaml
brunoro has joined #ocaml
pyon has joined #ocaml
brunoro has quit [Ping timeout: 265 seconds]
djsjadkhf has quit [Ping timeout: 244 seconds]
vapid has joined #ocaml
rightfold-unreg has quit [Quit: Page closed]
octachron has quit [Quit: Leaving]
eh_eff_ has joined #ocaml
pootler has joined #ocaml
pootler has quit [Ping timeout: 276 seconds]
jstolarek has quit [Ping timeout: 276 seconds]
M-pesterhazy has joined #ocaml
togg has joined #ocaml
Algebr`` has quit [Ping timeout: 276 seconds]
Sim_n has quit [Read error: Connection reset by peer]
pierpa``` has joined #ocaml
pierpa`` has quit [Ping timeout: 240 seconds]
dmj` has quit [Ping timeout: 276 seconds]
tane has quit [Quit: Leaving]
lpw25[m] has joined #ocaml
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 276 seconds]
alexst has joined #ocaml
orbifx has joined #ocaml
<orbifx> is the a library for sanitising strings used in filenames or pathnames?
pootler has joined #ocaml
rgrinberg has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
pootler has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Ping timeout: 276 seconds]
rgrinberg has joined #ocaml
agarwal1975 has quit [Ping timeout: 240 seconds]
Algebr`` has joined #ocaml
Algebr``` has joined #ocaml
togg has left #ocaml [#ocaml]
Algebr`` has quit [Ping timeout: 244 seconds]
Algebr``` has quit [Ping timeout: 244 seconds]
copy_im_hungry has quit [Ping timeout: 240 seconds]
ygrek_ has joined #ocaml
profan has quit [Ping timeout: 244 seconds]
profan has joined #ocaml
jao has joined #ocaml
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 272 seconds]
pierpa``` has quit [Ping timeout: 264 seconds]
Heasummn has joined #ocaml
M-ErkkiSeppl has joined #ocaml
libertas has quit [Quit: Lost terminal]
pierpa has joined #ocaml
pootler has joined #ocaml
pierpa` has joined #ocaml
pierpa has quit [Ping timeout: 272 seconds]
M-Illandan has joined #ocaml
pootler has quit [Ping timeout: 276 seconds]
orbifx has quit [Ping timeout: 276 seconds]
timclassic has joined #ocaml
Algebr``` has joined #ocaml
pierpa`` has joined #ocaml
pierpa` has quit [Ping timeout: 240 seconds]
Bluddy[m] has joined #ocaml
Algebr``` has quit [Ping timeout: 244 seconds]
srenatus[m] has joined #ocaml
M-jimt has joined #ocaml
pyon has quit [Ping timeout: 264 seconds]
M-martinklepsch has joined #ocaml
Trikol_ has joined #ocaml