adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.2 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
damason has quit [Ping timeout: 240 seconds]
damason has joined #ocaml
jonludlam has quit [Ping timeout: 255 seconds]
Algebr has joined #ocaml
<Algebr> What is the convention of meaning behind .mlpp ?
malc_ has quit [Quit: leaving]
yomimono has quit [Ping timeout: 264 seconds]
ofzyh_ has joined #ocaml
ofzyh has quit [Ping timeout: 256 seconds]
toomuchtvrotsurb has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 260 seconds]
echo-area has quit [Remote host closed the connection]
SomeDamnBody has joined #ocaml
Algebr has quit [Ping timeout: 252 seconds]
obadz- has quit [Ping timeout: 255 seconds]
swgillespie has joined #ocaml
Korhonen has left #ocaml ["Men are my passion"]
obadz- has joined #ocaml
ollehar1 has joined #ocaml
toomuchtvrotsurb has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
ollehar1 is now known as ollehar
toomuchtvrotsurb has quit [Ping timeout: 250 seconds]
echo-area has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
tmtwd has joined #ocaml
tmtwd has quit [Client Quit]
echo-area has quit [Remote host closed the connection]
infinity0 has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
infinity0 has joined #ocaml
zpe has quit [Remote host closed the connection]
Guest38 has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
echo-area has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
zpe has joined #ocaml
darkf has joined #ocaml
psy_ has quit [Ping timeout: 260 seconds]
zpe has quit [Ping timeout: 240 seconds]
mrhmouse has left #ocaml ["WeeChat 1.3"]
zpe has joined #ocaml
raphaelss has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Guest38 has joined #ocaml
struktured has joined #ocaml
govg has joined #ocaml
vgrbr has quit [Ping timeout: 250 seconds]
tmtwd has joined #ocaml
tmtwd has quit [Remote host closed the connection]
tmtwd has joined #ocaml
obadz- has quit [Ping timeout: 264 seconds]
mac10688_ has quit [Ping timeout: 240 seconds]
obadz- has joined #ocaml
tmtwd has quit [Quit: Leaving]
Guest38 has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tibor_ has quit [Quit: Page closed]
MercurialAlchemi has joined #ocaml
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
struktured has quit [Ping timeout: 244 seconds]
Guest38 has joined #ocaml
keen__________13 has joined #ocaml
keen__________12 has quit [Ping timeout: 240 seconds]
Guest38 has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<switchy> why does Array.(x) = x?
igoroliveira has quit [Quit: Connection closed for inactivity]
struktured has joined #ocaml
<MercurialAlchemi> switchy: nothing interesting
<MercurialAlchemi> Module.($block) is a form of local open of the module Module
<switchy> MercurialAlchemi, ahh, right. I've never used that. super confusing that my mistake didn't lead to a syntax error. thanks!
<MercurialAlchemi> but since the code within the () doesn't use anything from Array, Array.(x) = x is the same as AnyOtherModule.(x) = x, which is the same as x = x
<MercurialAlchemi> presumable, something like [|0;1;...|].(x) was intended instead
<MercurialAlchemi> which gives you the value in the array at position x
<MercurialAlchemi> s/presumable/presumably/
<switchy> yeah, exactly
<switchy> I was thinking Array.get but writing a.(x) and mashed them together
skeuomorf has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Ping timeout: 272 seconds]
govg has quit [Ping timeout: 252 seconds]
Guest38 has joined #ocaml
damason has quit [Ping timeout: 244 seconds]
damason has joined #ocaml
Guest38 has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
zpe_ has quit [Remote host closed the connection]
SomeDamnBody has quit [Ping timeout: 250 seconds]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
Algebr has joined #ocaml
zpe has joined #ocaml
rgrinberg has joined #ocaml
MercurialAlchemi has joined #ocaml
skeuomorf has quit [Ping timeout: 252 seconds]
aftershave has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 264 seconds]
struktured has quit [Ping timeout: 272 seconds]
jonludlam has joined #ocaml
__uu__ has quit [Remote host closed the connection]
ygrek has joined #ocaml
__uu__ has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
<Algebr> Drup: Are you around?
Haudegen has joined #ocaml
SomeDamnBody has joined #ocaml
psy_ has quit [Read error: Connection reset by peer]
jonludlam has quit [Ping timeout: 255 seconds]
<SomeDamnBody> or actually, how do I get oasis to profile with ocamlcp? or ocamloptp
jonludlam has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 268 seconds]
infinity0 has quit [Ping timeout: 268 seconds]
zpe has quit [Remote host closed the connection]
ely-se has joined #ocaml
Simn has joined #ocaml
infinity0 has joined #ocaml
inr_ is now known as inr
xgp has joined #ocaml
xgp has quit [Remote host closed the connection]
jonludlam has quit [Ping timeout: 264 seconds]
toomuchtvrotsurb has joined #ocaml
sh0t has joined #ocaml
<companion_cube> SomeDamnBody: ./configure --enable-profile
<companion_cube> if you enabled the generation of configure file
<SomeDamnBody> lol yeah whoops, I actually ended up figuring it all out already. It outputs to gmon.out
toomuchtvrotsurb has quit [Ping timeout: 264 seconds]
<SomeDamnBody> thanks though :)
<companion_cube> you can also use perf, as mentionned on the mailing list
ontologiae has joined #ocaml
mort___ has joined #ocaml
darkf_ has joined #ocaml
Algebr has quit [Ping timeout: 265 seconds]
darkf has quit [Ping timeout: 240 seconds]
gpietro_ has quit [Read error: Connection reset by peer]
gpietro_ has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
ely-se has quit [Quit: leaving]
rgrinberg has joined #ocaml
ely-se has joined #ocaml
larhat1 has quit [Quit: Leaving.]
__uu___ has joined #ocaml
__uu___ has quit [Remote host closed the connection]
sivoais has quit [Ping timeout: 255 seconds]
rgrinberg has quit [Ping timeout: 244 seconds]
__uu___ has joined #ocaml
sivoais has joined #ocaml
darkf_ is now known as darkf
__uu__ has quit [Ping timeout: 256 seconds]
ggole has joined #ocaml
<j0sh> am i doing something wrong, or do table headers not render when using jsoo's reactive tyxml?
sivoais has quit [Ping timeout: 264 seconds]
sh0t has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
ontologiae has quit [Quit: WeeChat 1.2]
sivoais has quit [Ping timeout: 240 seconds]
SomeDamnBody has quit [Ping timeout: 272 seconds]
sivoais has joined #ocaml
sz0 has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
ely-se has quit [Quit: leaving]
jonludlam has joined #ocaml
ely-se has joined #ocaml
sivoais has quit [Ping timeout: 268 seconds]
sivoais has joined #ocaml
obadz- is now known as obadz
sivoais has quit [Ping timeout: 240 seconds]
obadz has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
Kakadu has joined #ocaml
appe-alex has joined #ocaml
rgrinberg has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Ping timeout: 272 seconds]
sivoais has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
ely-se has quit [Quit: leaving]
obadz has joined #ocaml
zpe_ has joined #ocaml
obadz has quit [Quit: WeeChat 1.3]
obadz has joined #ocaml
obadz- has joined #ocaml
sivoais has quit [Ping timeout: 268 seconds]
obadz has quit [Client Quit]
sivoais has joined #ocaml
sivoais has joined #ocaml
sivoais has quit [Changing host]
obadz- is now known as obadz
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
dsheets has joined #ocaml
Mercuria1Alchemi has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
ski_ is now known as ski
echo-area has quit [Remote host closed the connection]
sivoais has quit [Ping timeout: 255 seconds]
sivoais has joined #ocaml
ely-se has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 246 seconds]
sivoais has quit [Ping timeout: 250 seconds]
sivoais has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
rand__ has joined #ocaml
rgrinberg has joined #ocaml
darkf_ is now known as darkf
rgrinberg has quit [Ping timeout: 264 seconds]
sivoais has quit [Ping timeout: 250 seconds]
ely-se has quit [Quit: leaving]
sivoais has joined #ocaml
ceryo has joined #ocaml
zpe_ has quit [Remote host closed the connection]
sivoais has quit [Ping timeout: 240 seconds]
freehck has joined #ocaml
sivoais has joined #ocaml
dsheets has joined #ocaml
Mercuria1Alchemi has quit [Remote host closed the connection]
sivoais has quit [Ping timeout: 244 seconds]
_andre has joined #ocaml
sivoais has joined #ocaml
ely-se has joined #ocaml
SomeDamnBody has joined #ocaml
Kakadu has quit [Quit: Page closed]
Kakadu has joined #ocaml
dsheets has quit [Ping timeout: 265 seconds]
Kakadu has quit [Quit: Page closed]
Kakadu has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
govg has joined #ocaml
Haudegen has joined #ocaml
zpe has joined #ocaml
whirm has joined #ocaml
ely-se has quit [Quit: leaving]
madroach has joined #ocaml
hcarty1 has joined #ocaml
ely-se has joined #ocaml
vpm has quit [Quit: coin]
dsheets has joined #ocaml
zpe has quit [Remote host closed the connection]
raphaelss has quit [Quit: Leaving]
BitPuffin has joined #ocaml
__uu___ has quit []
__uu__ has joined #ocaml
vpm has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
govg has quit [Ping timeout: 255 seconds]
yomimono has joined #ocaml
sgnb has quit [Remote host closed the connection]
ely-se has quit [Quit: leaving]
sgnb has joined #ocaml
<ollehar> what do you guys think about this idea: I'm working on a framework that makes surveys. it has an expression manager which let you run code on the client as Javascript. there could be a potential xss problem when there's more than one admin, as in universities. so, instead of compiling expressions to javascript, what about compiling them to a bitcode and have a tine VM on the client/browser to check for xss?
ely-se has joined #ocaml
<ollehar> *tiny
<ollehar> would a VM on the client give better control?
<companion_cube> but there isn't a VM on the client side right now
<ollehar> or could we just as well analyze the javascript for xss vulnerabilities?
<ollehar> companion_cube: no
<companion_cube> maybe ocsigen has some answer to this
<ollehar> basically, just making a tiny abstraction layer between javascript and "expressions".
<ollehar> companion_cube: ah, yes, what's ocsigens answers to xss?
<ollehar> will google that later.
<companion_cube> js_of_ocaml, I guess
<ollehar> hm
<companion_cube> and the fact it handles client-server communications for you
<companion_cube> if you so wish
<ollehar> yeah, just found that, drup ^^
<ollehar> but in hour case, we _want_ to use user-supplied <script>
<ollehar> or "want"...
<ollehar> (for admin users)
<companion_cube> can you serve the admins' JS from the same server?
<ollehar> companion_cube: hm, same server as what?
<companion_cube> as the survey
<companion_cube> if I understood correctly
<ollehar> yes, it's all on one server
<ollehar> so then it's trivial, or what?
<companion_cube> I don't know enough about the web
<ollehar> mm
<ollehar> thanks anyway ^^
BitPuffin has quit [Ping timeout: 250 seconds]
vgrbr has joined #ocaml
sepp2k has joined #ocaml
rgrinberg has joined #ocaml
<freehck> Have a question about possibility of carrying optional arguments.
<freehck> let f ?a b = match a with None -> b | Some a -> a+b;;
<freehck> how can I carry f without providing a?
<companion_cube> carry?
<freehck> I mean: let g = f ~a:1;; works fine.
<companion_cube> if you mean apply, f 42
<freehck> But I want a to be specifically None.
<companion_cube> f 42 is the same as f ?a:None 42
<companion_cube> f ~a:1 42 = f ?a:(Some 1) 42
<Drup> freehck: "f ?a:None" works if you just want to have a function without the optional argument
<freehck> hm... there's a difference between "f ?a:None" and "f ~a:None"?
<freehck> I see that the 2nd variant works.
<companion_cube> the second has type f : ?a:'b option -> ...
<companion_cube> f ~a:None is f ?a:(Some None)
<freehck> utop # let g = f ~a:None;;
<freehck> Error: This expression has type 'a option but an expression was expected of type int
<freehck> utop # let g = f ?a:None;;
<freehck> val g : int -> int = <fun>
<companion_cube> exactly
<freehck> I got.
<freehck> Thx.
<ggole> Optional arguments are pretty funky.
<ggole> I regularly forget the rules.
<companion_cube> they are pretty simple in fact, if you use them regularly
BitPuffin has joined #ocaml
<freehck> okay, this was the case when the perameter a had type int option.
<freehck> and what if it has a predefined value?
<freehck> (and therefore type)
<companion_cube> the predefined value is used only if you omit the label
<freehck> let f ?(a=1) b = a+b;
<companion_cube> f 42 = f ~a:1 42
<Drup> = f ?a:None 42
<companion_cube> oh yes, right, sorry
<companion_cube> it influences the type of a internally
<freehck> so: let g = f ?a:None
<freehck> gotcha
noplamodo_ has joined #ocaml
noplamodo has quit [Read error: Connection reset by peer]
rand__ has quit [Quit: leaving]
ely-se has quit [Quit: leaving]
tane has joined #ocaml
yomimono has quit [Ping timeout: 264 seconds]
hcarty1 has quit [Ping timeout: 250 seconds]
ely-se has joined #ocaml
yomimono has joined #ocaml
yomimono has quit [Ping timeout: 246 seconds]
skeuomorf has joined #ocaml
tane has quit [Quit: Verlassend]
tane has joined #ocaml
tane has joined #ocaml
__uu___ has joined #ocaml
yomimono has joined #ocaml
__uu__ has quit [Ping timeout: 246 seconds]
marsam has joined #ocaml
amirmc has joined #ocaml
<freehck> you know, carrying of function with optional parameters is the thing I wanted very much when trying haskell. :)
slash^ has joined #ocaml
Mercuria1Alchemi has joined #ocaml
<Drup> freehck: you made the mistake multiple time, it's currying, not carrying :)
<ely-se> "Haskell B. Carry" sounds frightening.
<Drup> and less delicious
<companion_cube> less spicy, let's say
<ely-se> Haskell B. Ketchup
<Drup> curry are not always spicy
<rks`_> fap fap fap
<ely-se> I like to call this_naming_convention "OCaml case" to raise confusion
jonludlam has quit [Ping timeout: 268 seconds]
<freehck> Drup: ah, really? Sorry for this: english's not my language. Will be carefully next time. :)
amirmc has quit [Read error: Connection reset by peer]
amirmc has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
<Drup> it's not really an english thing
<j0sh> am i doing something wrong, or do table headers not render when using jsoo's reactive tyxml?
jonludlam has joined #ocaml
<rks`_> freehck: curryfully*
<rks`_> pay attention!
<freehck> rks`_: :)
sgnb has quit [Remote host closed the connection]
ely-se has quit [Quit: leaving]
ely-se has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
<Drup> j0sh: works fine here, can you show your complete code ?
orbifx has joined #ocaml
<j0sh> Drup: sure, its possible im doing something stupid, i'll make a complete reduced example
amirmc has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
amirmc1 has joined #ocaml
amirmc1 has quit [Read error: Connection reset by peer]
amirmc has joined #ocaml
amirmc has quit [Read error: Connection reset by peer]
ely-se has quit [Quit: leaving]
amirmc has joined #ocaml
Guest38 has joined #ocaml
hcarty1 has joined #ocaml
amirmc1 has joined #ocaml
amirmc has quit [Read error: Connection reset by peer]
<j0sh> Drup: gist updated
octachron has joined #ocaml
dsheets has joined #ocaml
<Drup> j0sh: put script after the body
<j0sh> Drup: no luck... besides, isn't the window.onload supposed to take care of that?
shinnya has joined #ocaml
<Drup> ah, yes indeed
<Drup> but, in fact, it works just fine for me
<Drup> what's your browser ?
<j0sh> weird
<j0sh> chrome
<Drup> please report a bug
<Drup> on jsoo
<j0sh> hmm it doesnt work in firefox either
<j0sh> nor safari
<j0sh> mine looks like that... without the headers
<j0sh> the headers render fine with non-reactive tables
<j0sh> but not the reactive one
MercurialAlchemi has quit [Ping timeout: 272 seconds]
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
amirmc has joined #ocaml
<j0sh> Drup: issue submitted, i feel just a little better that i'm not going crazy. still trying to make heads or tails of js_of_ocaml, frp, etc
amirmc1 has quit [Ping timeout: 244 seconds]
yomimono has quit [Ping timeout: 256 seconds]
<Drup> j0sh: tries to pin reactiveData and/or jsoo
amirmc1 has joined #ocaml
<j0sh> Drup: sure
amirmc has quit [Read error: Connection reset by peer]
amirmc has joined #ocaml
amirmc has quit [Client Quit]
amirmc1 has quit [Ping timeout: 264 seconds]
raazdaan has joined #ocaml
marsam has quit [Read error: Connection reset by peer]
marsam has joined #ocaml
toomuchtvrotsurb has joined #ocaml
<j0sh> Drup: ah, pinning reactiveData did the trick
<j0sh> which is strange because the header isn't using a reactivelist as far as i can tell
<j0sh> Drup: thanks for the help
<Drup> j0sh: under the hood, it is ;)
^elyse^ has joined #ocaml
appe-alex has quit [Quit: Leaving]
rgrinberg has quit [Ping timeout: 240 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
jwatzman|work has joined #ocaml
Shozan has joined #ocaml
lyxia_ has joined #ocaml
rgrinberg has joined #ocaml
<SomeDamnBody> hey um, is either core_kernel or the pervasive's set data structure self editing? as in, a list edits itself, but just by reading the documentation you would think that it returns a whole new list with every operation
yomimono has joined #ocaml
<companion_cube> persistent structures, such as lists, are never modified
<companion_cube> and Set is persistent too
Haudegen has quit [Ping timeout: 272 seconds]
lyxia has quit [Disconnected by services]
lyxia_ is now known as lyxia
jonludlam has quit [Ping timeout: 256 seconds]
octachron has quit [Quit: Leaving]
toomuchtvrotsurb has quit [*.net *.split]
vpm has quit [*.net *.split]
madroach has quit [*.net *.split]
gargawel has quit [*.net *.split]
Muzer has quit [*.net *.split]
ia0 has quit [*.net *.split]
troydm has quit [*.net *.split]
mfp has quit [*.net *.split]
SHODAN has quit [*.net *.split]
vishesh has quit [*.net *.split]
spacebat has quit [*.net *.split]
riveter has quit [*.net *.split]
emias has quit [*.net *.split]
bitemyapp has quit [*.net *.split]
dinosaure has quit [*.net *.split]
haelix has quit [*.net *.split]
__uu___ has quit [*.net *.split]
whirm has quit [*.net *.split]
sheijk has quit [*.net *.split]
tizoc has quit [*.net *.split]
j0sh has quit [*.net *.split]
jbrown has quit [*.net *.split]
tokik has quit [*.net *.split]
cthuluh has quit [*.net *.split]
kandu has quit [*.net *.split]
def` has quit [*.net *.split]
sigjuice has quit [*.net *.split]
CissWit is now known as Johann
orbifx has quit [Ping timeout: 255 seconds]
tane has quit [Quit: Verlassend]
tane has joined #ocaml
shinnya has quit [Ping timeout: 250 seconds]
raazdaan has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
dinosaure has joined #ocaml
whirm has joined #ocaml
__uu___ has joined #ocaml
kandu has joined #ocaml
sigjuice has joined #ocaml
jbrown has joined #ocaml
tokik has joined #ocaml
sheijk has joined #ocaml
tizoc has joined #ocaml
def` has joined #ocaml
cthuluh has joined #ocaml
j0sh has joined #ocaml
Muzer has joined #ocaml
Soni has quit [Ping timeout: 240 seconds]
__uu___ has quit [*.net *.split]
whirm has quit [*.net *.split]
sheijk has quit [*.net *.split]
tizoc has quit [*.net *.split]
j0sh has quit [*.net *.split]
jbrown has quit [*.net *.split]
tokik has quit [*.net *.split]
cthuluh has quit [*.net *.split]
kandu has quit [*.net *.split]
def` has quit [*.net *.split]
sigjuice has quit [*.net *.split]
madroach has joined #ocaml
vpm has joined #ocaml
bitemyapp has joined #ocaml
haelix has joined #ocaml
gargawel has joined #ocaml
riveter has joined #ocaml
vishesh has joined #ocaml
spacebat has joined #ocaml
toomuchtvrotsurb has joined #ocaml
troydm has joined #ocaml
emias has joined #ocaml
__uu___ has joined #ocaml
whirm has joined #ocaml
sheijk has joined #ocaml
tizoc has joined #ocaml
cthuluh has joined #ocaml
tokik has joined #ocaml
sigjuice has joined #ocaml
jbrown has joined #ocaml
def` has joined #ocaml
j0sh has joined #ocaml
kandu has joined #ocaml
tokik has quit [Max SendQ exceeded]
tokik has joined #ocaml
ia0 has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
Soni has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
mort___ has quit [Ping timeout: 246 seconds]
^elyse^ has quit [Quit: Leaving]
ggole_ has joined #ocaml
yomimono has quit [Ping timeout: 246 seconds]
ggole has quit [Ping timeout: 256 seconds]
hcarty1 is now known as hcarty
ggole_ has quit [Client Quit]
Algebr has joined #ocaml
larhat1 has joined #ocaml
^elyse^ has joined #ocaml
psy_ has quit [Read error: Connection reset by peer]
darkf has quit [Quit: Leaving]
psy_ has joined #ocaml
mort___ has joined #ocaml
mv has joined #ocaml
mort___ has quit [Quit: Leaving.]
RichN has quit [Quit: WeeChat 1.0]
ygrek has joined #ocaml
zozozo has quit [Ping timeout: 252 seconds]
BitPuffin has quit [Ping timeout: 240 seconds]
mort___ has joined #ocaml
hcarty1 has joined #ocaml
kdas_ has joined #ocaml
Kakadu has quit [Quit: Page closed]
whirm has quit [Quit: WeeChat 1.3]
hcarty has quit [Ping timeout: 246 seconds]
kushal has quit [Ping timeout: 264 seconds]
kdas_ has quit [Read error: Connection reset by peer]
struk|work has joined #ocaml
^elyse^ has quit [Quit: Leaving]
jonludlam has joined #ocaml
zozozo has joined #ocaml
native_killer has joined #ocaml
native_killer has quit [Client Quit]
luzie has left #ocaml [#ocaml]
jonludlam has quit [Ping timeout: 240 seconds]
<mahem1>
<tane> hey there :)
<tane> how can i tell opam to install a package with a given optional dependency?
<tane> e.g. tyxml with camlp4?
igoroliveira has joined #ocaml
jabesed has joined #ocaml
Kakadu has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
lobo has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
<reynir> opam install tyxml camlp4?
hcarty1 has quit [Ping timeout: 268 seconds]
rgrinberg has quit [Ping timeout: 240 seconds]
taigi100 has joined #ocaml
<taigi100> hey guys
<taigi100> need a little bit of help, I'm trying to make a function that returns a list containing the first n primes.
<taigi100> I've though of something alike this, but not really sure how to use List.exists
Haudegen has quit [Ping timeout: 240 seconds]
<taigi100> sorry, ment that
Mercuria1Alchemi has quit [Ping timeout: 250 seconds]
<struk|work> taigi100: I love prime number theory but I can see pastebin at work. can you post to say gists?
^elyse^ has joined #ocaml
<tane> it doesn't look like a problem related to prime numbers :)
<tane> taigi100, try to disentangle your code
<tane> List.exists has type ('a -> bool) -> 'a list -> bool, so if the function given as first argument returns true of one element of the list, then the function exists returns true, otherwise false
ceryo has quit [Quit: Textual IRC Client: www.textualapp.com]
Haudegen has joined #ocaml
rgrinberg has joined #ocaml
mort___ has quit [Quit: Leaving.]
<Drup> seliopou: did you had a look at furl ?
mfp has joined #ocaml
ollehar has joined #ocaml
<taigi100> nevermind, managed to fix it
freehck has quit [Ping timeout: 246 seconds]
_andre has quit [Quit: leaving]
taigi100 has quit [Ping timeout: 246 seconds]
<Algebr> Drup: any idea on this https://github.com/ocsigen/js_of_ocaml/issues/365 ?
<Drup> none whatsoever
<Drup> (btw, as a general rule, don't ask me if I'm here, just ask the question, and I will see it when I'm here)
<Algebr> ok
<mfp> Algebr: compiles when using camlp4...
<Drup> yeah, it's only with ppx
<Drup> hence the misunderstanding
<Drup> ah
<Drup> that's because Algebr is using the camlp4 syntax with ppx
<Algebr> Drup: I thought the syntaxes were the same between camlp4 and ppx
<Drup> Algebr: I fail to see how you could believe that
<Drup> we even have a converter and two distinct documentation ...
<Algebr> Drup: because I was reading this page https://ocsigen.org/js_of_ocaml/2.6/manual/library and there is no separate section for camlp4 or ppx.
jonludlam has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
<Drup> hum, apparently there is a bug in the link
<Algebr> Yes I see that now, but you can't see how I could be mistaken as the docs are a little misleading then.
<Drup> I will add a note in the doc
orbifx has joined #ocaml
Haudegen has joined #ocaml
<SomeDamnBody> is there an example somewhere of how to use core_kernel's Sequence?
sz0 has joined #ocaml
marsam has quit [Ping timeout: 246 seconds]
sepp2k has quit [Quit: Leaving.]
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 246 seconds]
marsam has joined #ocaml
sh0t has joined #ocaml
Guest38 has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<^elyse^> IRTA "corn kernel"
Simn has quit [Quit: Leaving]
tane has quit [Quit: Verlassend]
Sorella has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
mv has quit [Remote host closed the connection]
SomeDamnBody has quit [Ping timeout: 250 seconds]
ollehar has quit [Quit: ollehar]
orbifx has quit [Quit: WeeChat 1.3]
^elyse^ has quit [Quit: Leaving]
struktured has joined #ocaml
mac10688_ has joined #ocaml
ygrek has joined #ocaml
<Algebr> what is IRTA
struktured has quit [Ping timeout: 246 seconds]
<seliopou> Drup: hadn't seen it, I'll take a look
lobo has quit [Quit: leaving]
<mfp> Algebr: I read that as
<Drup> seliopou: I think It'll interest you very much :p
mfp has quit [Ping timeout: 260 seconds]
sh0t has quit [Ping timeout: 268 seconds]
jonludlam has quit [Ping timeout: 260 seconds]
marsam has quit [Read error: Connection reset by peer]
mfp has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
vgrbr has quit [Ping timeout: 250 seconds]
swgillespie has joined #ocaml
Algebr has quit [Remote host closed the connection]
Kakadu has quit [Remote host closed the connection]
nullcatxxx_ has joined #ocaml
<nullcatxxx_> i learnt curry-howard correspondence today. since law of excluded middle (P || ^P) is not constructive, I cannot write ocaml program to prove it? right
<nullcatxxx_> or maybe using gadt can make it possible?
martintrojer has quit [Ping timeout: 268 seconds]
larhat has quit [Read error: Connection reset by peer]