<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
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?
<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.
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
<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]