ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
WraithM has quit [Quit: leaving]
<whitequark> companion_cube: waaaait
<whitequark> can I cache the result of clonable#next, or do I have to go through the object dispatch every time?
manud has quit [Quit: Be back later ...]
<companion_cube> with the current implementation it would dispatch every time
<companion_cube> that I can change
<whitequark> please do
<companion_cube> first I'll move this stuff to GenClone
Hannibal_Smith has quit [Quit: Leaving]
<whitequark> also, maybe add gen_prepend to the library
<whitequark> althogh i'm currently using this modification
manud has joined #ocaml
<companion_cube> ok
<companion_cube> maybe GenClone sould provide prepend
<companion_cube> although...
mort___ has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
rand000 has quit [Quit: leaving]
badkins has joined #ocaml
struktured has quit [Ping timeout: 258 seconds]
AltGr has joined #ocaml
<def`> whitequark: I don't understand what you mean by module after ` ?
<whitequark> ` like in polymorphic variants
<whitequark> `S ... it completes to String
<def`> Ok.
AltGr has left #ocaml [#ocaml]
madroach has quit [Ping timeout: 250 seconds]
AltGr has joined #ocaml
madroach has joined #ocaml
<companion_cube> whitequark: so now there are Gen, GenClone and GenMList
<companion_cube> as a first draft
<whitequark> "
<whitequark> Once restore is called from a state, all previous iterators that share this
<whitequark> state are invalidated and must not be used any more."
<companion_cube> yeah, obsolete already
<companion_cube> depends on where the iterator comes from.
circ-user-TCLoG has quit [Ping timeout: 264 seconds]
ygrek has joined #ocaml
<companion_cube> although, lazyness is quite expensive.
kdef has joined #ocaml
<companion_cube> alternatively, you can provide an alternative MList
<whitequark> I'm satisfied with what there is, actually
<companion_cube> :)
<companion_cube> whitequark: now that clonable stuff is in its own module, I'll welcome missing combinators
<whitequark> I've an implementation already, one moment
<whitequark> however I want a lazy list
<whitequark> although, it has some weird semantics right now
<whitequark> it doesn't matter with interactive
<companion_cube> alternative is: extend MList to provide a non-buffering alternative
<companion_cube> if you have time, please contribute CCLazyList
<companion_cube> it's a bit wasteful not to use the lazy list directly, because clone is a no-op on it
<whitequark> hmmmm
<Drup> (I advise you to use unit -> lazy_list instead of Lazy.t)
<whitequark> Drup: and do mutation inside? meh
<companion_cube> Drup: no, the point here is caching
<Drup> oh
<whitequark> companion_cube: then it would not be interchangeable with GenClone.t
<Drup> nevermind :>
<Drup> I though it was only for the "do not readline just yet"
<whitequark> it is
<companion_cube> whitequark: what if there was a non-buffering GenMList.of_gen_lazy_no_cache ?
<whitequark> companion_cube: it'll work for me
<Drup> (interface wise, an optional argument ~caching true by default would be more elegant :D)
<whitequark> agree
circ-user-TCLoG has joined #ocaml
<Drup> (or better, give the size of the cache length)
<Drup> I remember doing a patch for that
lordkryss has joined #ocaml
<companion_cube> Drup: yes
<companion_cube> whitequark: pushed it
manud has quit [Quit: Be back later ...]
antinomy has quit [Ping timeout: 272 seconds]
<whitequark> excellent, it works well
<companion_cube> \o/
<companion_cube> performance is ok
<companion_cube> (it's slightly less good than a list, but well)
<companion_cube> sounds like I'll have to release Gen soon
dsheets has quit [Ping timeout: 245 seconds]
<companion_cube> good night anyway
<whitequark> nigght
<whitequark> *night
<companion_cube> whitequark: I'll wait for your feedback on the new modules
<Drup> companion_cube: (interface wise, I feel like those should be submodules, but ... :p)
antinomy has joined #ocaml
manud has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
MrScout_ has joined #ocaml
MrScout has quit [Ping timeout: 258 seconds]
MrScout_ has quit [Ping timeout: 258 seconds]
<Drup> whitequark: I just went into wikidoc to fix it for 4.02
<Drup> it was terrible
<Drup> the worst part is that, I had the ocamldoc right next to it because it's wikidoc is basically a weird frankenstein clone of wikidoc
<Drup> of ocamldoc*
<Drup> and ... ocamldoc was as terrible
<Drup> T__T
darkf has joined #ocaml
<whitequark> your life is suffering. accept it and embrace it
ygrek has quit [Ping timeout: 244 seconds]
troydm has quit [Ping timeout: 250 seconds]
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
q66 has quit [Quit: Leaving]
mearnsh has quit [Ping timeout: 272 seconds]
mearnsh has joined #ocaml
tristero has joined #ocaml
shinnya has quit [Ping timeout: 244 seconds]
ygrek has joined #ocaml
mearnsh has quit [Ping timeout: 272 seconds]
mearnsh has joined #ocaml
rgrinberg has joined #ocaml
troydm has joined #ocaml
MrScout has joined #ocaml
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
ontologiae has quit [Ping timeout: 258 seconds]
claudiuc has quit [Remote host closed the connection]
<Drup> whitequark: please update your branch no-camlp4 for lwt
<Drup> I changed the build bot to build on 4.02, I want to test that everything is fine with yours too
waneck has quit [*.net *.split]
hbar has quit [*.net *.split]
srcerer has quit [*.net *.split]
badkins has quit [*.net *.split]
hannes has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
larhat has quit [*.net *.split]
mfp has quit [*.net *.split]
bytbox has quit [*.net *.split]
j0sh_ has quit [*.net *.split]
demonimin has quit [*.net *.split]
lu324_ has quit [*.net *.split]
thegameg has quit [*.net *.split]
badon has quit [*.net *.split]
andreypopp_ has quit [*.net *.split]
art-w has quit [*.net *.split]
nox has quit [*.net *.split]
bobpoekert has quit [*.net *.split]
jeroud has quit [*.net *.split]
dch has quit [*.net *.split]
abbe has quit [*.net *.split]
maufred has quit [*.net *.split]
_5kg has quit [*.net *.split]
jbrown has quit [*.net *.split]
dinosaure has quit [*.net *.split]
chris2 has quit [*.net *.split]
vincom2 has quit [*.net *.split]
jcloud has quit [*.net *.split]
milosn has quit [*.net *.split]
msch has quit [*.net *.split]
dmiles_afk has quit [*.net *.split]
zozozo has quit [*.net *.split]
luigy has quit [*.net *.split]
lopex has quit [*.net *.split]
ggherdov has quit [*.net *.split]
leifw has quit [*.net *.split]
c74d has quit [*.net *.split]
cantstanya has quit [*.net *.split]
dav has quit [*.net *.split]
jerith has quit [*.net *.split]
nicoo has quit [*.net *.split]
emery has quit [*.net *.split]
ygrek has quit [*.net *.split]
jao has quit [*.net *.split]
deavidsedice has quit [*.net *.split]
piiii3 has quit [*.net *.split]
Valdo has quit [*.net *.split]
testcocoon has quit [*.net *.split]
tokenrove has quit [*.net *.split]
martintrojer has quit [*.net *.split]
hellome has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
patronus has quit [*.net *.split]
strmpnk has quit [*.net *.split]
wting_ has quit [*.net *.split]
teiresias has quit [*.net *.split]
ebzzry has quit [*.net *.split]
segmond has quit [*.net *.split]
wormphle1m has quit [*.net *.split]
rwmjones has quit [*.net *.split]
rossberg has quit [*.net *.split]
bjorkintosh has quit [*.net *.split]
gasche has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
vbmithr has quit [*.net *.split]
`micro_ has quit [*.net *.split]
mrvn has quit [*.net *.split]
n0v has quit [*.net *.split]
MrScout has quit [*.net *.split]
circ-user-TCLoG has quit [*.net *.split]
myyst has quit [*.net *.split]
psy_ has quit [*.net *.split]
cthuluh has quit [*.net *.split]
Ptishell has quit [*.net *.split]
PM has quit [*.net *.split]
bugabinga has quit [*.net *.split]
girrig has quit [*.net *.split]
ousado has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
ohama has quit [*.net *.split]
voglerr has quit [*.net *.split]
sivoais has quit [*.net *.split]
sh1ken has quit [*.net *.split]
clog has quit [*.net *.split]
ruoso has quit [*.net *.split]
adrien has quit [*.net *.split]
tristero has quit [*.net *.split]
libertas has quit [*.net *.split]
Denommus has quit [*.net *.split]
Intensity has quit [*.net *.split]
diethyl has quit [*.net *.split]
gdsfh has quit [*.net *.split]
tg has quit [*.net *.split]
companion_cube has quit [*.net *.split]
jave has quit [*.net *.split]
pii4 has quit [*.net *.split]
Snark has quit [*.net *.split]
englishm has quit [*.net *.split]
Khady has quit [*.net *.split]
engil has quit [*.net *.split]
darkf has quit [*.net *.split]
antinomy has quit [*.net *.split]
_JokerDoom has quit [*.net *.split]
jbalint has quit [*.net *.split]
rfv has quit [*.net *.split]
superjudge has quit [*.net *.split]
struktured_ has quit [*.net *.split]
bitbckt has quit [*.net *.split]
kalzz has quit [*.net *.split]
Remyzorg has quit [*.net *.split]
fraggle-boate has quit [*.net *.split]
robink has quit [*.net *.split]
mawuli has quit [*.net *.split]
kandu has quit [*.net *.split]
emmanueloga has quit [*.net *.split]
acieroid has quit [*.net *.split]
mekaj has quit [*.net *.split]
weykent has quit [*.net *.split]
rom1504 has quit [*.net *.split]
kerneis_ has quit [*.net *.split]
pgas has quit [*.net *.split]
zapu has quit [*.net *.split]
hcarty has quit [*.net *.split]
_habnabit has quit [*.net *.split]
seliopou has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
brendan has quit [*.net *.split]
relrod has quit [*.net *.split]
mk270 has quit [*.net *.split]
contempt has quit [*.net *.split]
Plazma has quit [*.net *.split]
hsuh has quit [*.net *.split]
SHODAN has quit [*.net *.split]
nickmeharry has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
alinab has quit [*.net *.split]
eikke has quit [*.net *.split]
lordkryss has quit [*.net *.split]
AltGr has quit [*.net *.split]
manizzle has quit [*.net *.split]
tom39291 has quit [*.net *.split]
divyanshu has quit [*.net *.split]
w0rp has quit [*.net *.split]
__marius______ has quit [*.net *.split]
Leonidas has quit [*.net *.split]
flux has quit [*.net *.split]
majoh has quit [*.net *.split]
averell has quit [*.net *.split]
mearnsh has quit [*.net *.split]
kdef has quit [*.net *.split]
n1ftyn8 has quit [*.net *.split]
cojy has quit [*.net *.split]
myst|work has quit [*.net *.split]
iZsh has quit [*.net *.split]
rks` has quit [*.net *.split]
def` has quit [*.net *.split]
cdidd has quit [*.net *.split]
whitequark has quit [*.net *.split]
lupine has quit [*.net *.split]
_2can has quit [*.net *.split]
esden has quit [*.net *.split]
asmanur has quit [*.net *.split]
ski has quit [*.net *.split]
sirssi has quit [*.net *.split]
igitoor has quit [*.net *.split]
tov has quit [*.net *.split]
gperetin has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
pyon has quit [*.net *.split]
keen__________ has quit [*.net *.split]
daftluck has quit [*.net *.split]
Muzer has quit [*.net *.split]
sol__ has quit [*.net *.split]
jlouis has quit [*.net *.split]
johnelse has quit [*.net *.split]
maurer has quit [*.net *.split]
so has quit [*.net *.split]
gustav___ has quit [*.net *.split]
reynir has quit [*.net *.split]
tizoc has quit [*.net *.split]
SuperNoeMan has quit [*.net *.split]
fold has quit [*.net *.split]
cross has quit [*.net *.split]
sigjuice has quit [*.net *.split]
mal`` has quit [*.net *.split]
bcuccioli has quit [*.net *.split]
ttm has quit [*.net *.split]
diginux has quit [*.net *.split]
gridaphobe has quit [*.net *.split]
bacam has quit [*.net *.split]
tianon has quit [*.net *.split]
Ptival has quit [*.net *.split]
dbrumley has quit [*.net *.split]
Cypi has quit [*.net *.split]
osheeta has quit [*.net *.split]
Armael has quit [*.net *.split]
stux|away has quit [*.net *.split]
Antoine59 has quit [*.net *.split]
orbitz has quit [*.net *.split]
amiller has quit [*.net *.split]
WanderingGlitch has quit [*.net *.split]
npouillard has quit [*.net *.split]
pippijn has quit [*.net *.split]
struk|work has quit [*.net *.split]
troydm has quit [*.net *.split]
madroach has quit [*.net *.split]
manud has quit [*.net *.split]
axiles has quit [*.net *.split]
tharugrim has quit [*.net *.split]
pdewacht has quit [*.net *.split]
vpm has quit [*.net *.split]
q66[lap] has quit [*.net *.split]
Reventlov has quit [*.net *.split]
S11001001 has quit [*.net *.split]
xorpse has quit [*.net *.split]
Haudegen has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
inr_ has quit [*.net *.split]
burgobianco has quit [*.net *.split]
ia0 has quit [*.net *.split]
srax has quit [*.net *.split]
dwoos has quit [*.net *.split]
thizanne has quit [*.net *.split]
pollux has quit [*.net *.split]
smondet has quit [*.net *.split]
emias has quit [*.net *.split]
tobiasBora has quit [*.net *.split]
gargawel has quit [*.net *.split]
xaimus_ has quit [*.net *.split]
thorsten` has quit [*.net *.split]
binarybitme has quit [*.net *.split]
Drup has quit [*.net *.split]
tristero has joined #ocaml
psy_ has joined #ocaml
ygrek has joined #ocaml
binarybitme has joined #ocaml
bytbox has joined #ocaml
keen__________ has joined #ocaml
tharugrim has joined #ocaml
gasche has joined #ocaml
ohama has joined #ocaml
struktured has joined #ocaml
araujo has joined #ocaml
araujo has quit [Max SendQ exceeded]
araujo has joined #ocaml
alkoma has joined #ocaml
araujo has quit [Max SendQ exceeded]
araujo has joined #ocaml
thetabyte has joined #ocaml
<thetabyte> I'm baffled why when Rubet.lookup_meth is called and throws a Not_found, the Not_found does not get caught by this try statement: http://pastebin.com/U4cdYcPP please help?
MrScout_ has joined #ocaml
MrScout_ has quit [Ping timeout: 244 seconds]
<Drup> what is rubet ?
<thetabyte> It's another file with functions in it, but that shouldn't matter, no? assuming that function throws Not_found (which it does) shouldn't it be caught in the try/with?
<Drup> can you show it ?
kido1412 has joined #ocaml
kdef has joined #ocaml
<kido1412> I'm reading a blog about a web framework written in OCaml:http://rgrinberg.com/blog/2014/04/04/introducing-opium/, but I don't know what's the symbol " |>" short for?
<rgrinberg> x |> f is equivalent to f x
<kido1412> I kown >>= is bind, >>| is map, >>> is upon. But I've never seen >| before
<thetabyte> Drup: honestly, nope. it's very, very large in all, and also school code i shouldn't be sharing.
<thetabyte> i just can't catch an exception, and i can't seem to figure out why.
Yoric has joined #ocaml
<thetabyte> (i've actually never used the try/with feature of ocaml before)
<kido1412> @rginberg, how about let () = app |> App.command |> Command.run?
<struktured> thetabyte: maybe it's a different "Not_found" than the one you are attempting to catch?
<Drup> thetabyte: my guesses are "it uses lwt" or "the exception is redefined"
<struktured> Drup: agreed
<rgrinberg> kido1412: let () = Command.run (App.command app)
<kido1412> Oh, I see, thank you. Is that a syntactic sugar?
<Drup> you can say that
<Drup> it doesn't really require special support though, you could define it yourself
Yoric has quit [Ping timeout: 244 seconds]
<Drup> (you would do "let (|>) x f = f x")
<rgrinberg> kido1412: as Drup said, it's just a function like any other
<kido1412> thanks all:)
AlexRussia has joined #ocaml
samrat has joined #ocaml
nojb has joined #ocaml
samrat has quit [Ping timeout: 256 seconds]
samrat has joined #ocaml
mcc has joined #ocaml
Denommus has joined #ocaml
Denommus has quit [Client Quit]
bytbox has quit [Remote host closed the connection]
nojb has quit [Quit: nojb]
samrat has quit [Ping timeout: 265 seconds]
chinglish has joined #ocaml
samrat has joined #ocaml
<rgrinberg> companion_cube: how do you manage writing gen's by hand?
<rgrinberg> just tried to decipher split_full_gen enough to implement ?max but failed :/
matason has joined #ocaml
psy_ has quit [Remote host closed the connection]
matason has quit [Ping timeout: 245 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
struktured has quit [Ping timeout: 244 seconds]
ygrek has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
samrat has joined #ocaml
samrat has quit [Ping timeout: 244 seconds]
ggole has joined #ocaml
MercurialAlchemi has joined #ocaml
kido1412 has quit [Quit: Page closed]
Simn has joined #ocaml
AlexRussia has quit [Ping timeout: 250 seconds]
AlexRussia has joined #ocaml
ygrek has joined #ocaml
thetabyte has quit [Quit: Leaving.]
AlexRussia has quit [*.net *.split]
Simn has quit [*.net *.split]
ygrek has quit [*.net *.split]
chinglish has quit [*.net *.split]
ggole has quit [*.net *.split]
araujo has quit [*.net *.split]
gasche has quit [*.net *.split]
MercurialAlchemi has quit [*.net *.split]
kdef has quit [*.net *.split]
alkoma has quit [*.net *.split]
ohama has quit [*.net *.split]
tristero has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
keen__________ has quit [*.net *.split]
mcc has quit [*.net *.split]
tharugrim has quit [*.net *.split]
binarybitme has quit [*.net *.split]
lu324_ has joined #ocaml
acieroid has joined #ocaml
gasche has joined #ocaml
sol__ has joined #ocaml
Ptishell has joined #ocaml
__marius______ has joined #ocaml
ruoso has joined #ocaml
engil has joined #ocaml
kerneis_ has joined #ocaml
vpm has joined #ocaml
Valdo has joined #ocaml
companion_cube has joined #ocaml
cantstanya has joined #ocaml
tharugrim has joined #ocaml
bcuccioli has joined #ocaml
mal`` has joined #ocaml
abbe has joined #ocaml
amiller has joined #ocaml
axiles has joined #ocaml
SuperNoeMan has joined #ocaml
q66[lap] has joined #ocaml
dav has joined #ocaml
tristero has joined #ocaml
srcerer has joined #ocaml
hannes has joined #ocaml
seliopou has joined #ocaml
hnrgrgr has joined #ocaml
inr_ has joined #ocaml
adrien has joined #ocaml
dinosaure has joined #ocaml
nox has joined #ocaml
dch has joined #ocaml
Armael has joined #ocaml
srax has joined #ocaml
ebzzry has joined #ocaml
stux|away has joined #ocaml
pyon has joined #ocaml
mcc has joined #ocaml
mk270 has joined #ocaml
wormphle1m has joined #ocaml
piiii3 has joined #ocaml
vincom2 has joined #ocaml
Snark has joined #ocaml
girrig has joined #ocaml
majoh has joined #ocaml
Drup has joined #ocaml
kdef has joined #ocaml
igitoor has joined #ocaml
ohama has joined #ocaml
PM has joined #ocaml
fraggle_ has joined #ocaml
_JokerDoom has joined #ocaml
jlouis has joined #ocaml
Asmadeus has joined #ocaml
mfp has joined #ocaml
Simn has joined #ocaml
waneck has joined #ocaml
AltGr has joined #ocaml
pgas has joined #ocaml
keen__________ has joined #ocaml
voglerr has joined #ocaml
libertas has joined #ocaml
maufred has joined #ocaml
contempt has joined #ocaml
Ptival has joined #ocaml
darkf has joined #ocaml
zozozo has joined #ocaml
rom1504 has joined #ocaml
hcarty has joined #ocaml
SHODAN has joined #ocaml
johnelse has joined #ocaml
Leonidas has joined #ocaml
rwmjones has joined #ocaml
averell has joined #ocaml
mearnsh has joined #ocaml
art-w has joined #ocaml
so has joined #ocaml
andreypopp_ has joined #ocaml
alkoma has joined #ocaml
kandu has joined #ocaml
S11001001 has joined #ocaml
Intensity has joined #ocaml
gdsfh has joined #ocaml
thizanne has joined #ocaml
dmiles_afk has joined #ocaml
ygrek has joined #ocaml
brendan has joined #ocaml
orbitz has joined #ocaml
iZsh has joined #ocaml
mawuli has joined #ocaml
bjorkintosh has joined #ocaml
IbnFirnas has joined #ocaml
j0sh_ has joined #ocaml
xaimus_ has joined #ocaml
cthuluh has joined #ocaml
emmanueloga has joined #ocaml
wting_ has joined #ocaml
Plazma has joined #ocaml
def` has joined #ocaml
c74d has joined #ocaml
fold has joined #ocaml
rfv has joined #ocaml
`micro_ has joined #ocaml
osheeta has joined #ocaml
msch has joined #ocaml
cross has joined #ocaml
pii4 has joined #ocaml
bacam has joined #ocaml
_2can has joined #ocaml
zapu has joined #ocaml
bitbckt has joined #ocaml
jave has joined #ocaml
jeroud has joined #ocaml
bugabinga has joined #ocaml
bernardofpc has joined #ocaml
Khady has joined #ocaml
_5kg has joined #ocaml
reynir has joined #ocaml
teiresias has joined #ocaml
smondet has joined #ocaml
struk|work has joined #ocaml
mrvn has joined #ocaml
sirssi has joined #ocaml
hsuh has joined #ocaml
relrod has joined #ocaml
sh1ken has joined #ocaml
gridaphobe has joined #ocaml
chinglish has joined #ocaml
gargawel has joined #ocaml
flux has joined #ocaml
thorsten` has joined #ocaml
pollux has joined #ocaml
vbmithr has joined #ocaml
araujo has joined #ocaml
gustav___ has joined #ocaml
burgobianco has joined #ocaml
mekaj has joined #ocaml
n0v has joined #ocaml
martintrojer has joined #ocaml
myst|work has joined #ocaml
bobpoekert has joined #ocaml
n1ftyn8 has joined #ocaml
emery has joined #ocaml
jcloud has joined #ocaml
luigy has joined #ocaml
xorpse has joined #ocaml
robink has joined #ocaml
Haudegen has joined #ocaml
jerith has joined #ocaml
testcocoon has joined #ocaml
sigjuice has joined #ocaml
sivoais has joined #ocaml
segmond has joined #ocaml
nickmeharry has joined #ocaml
diginux has joined #ocaml
hellome has joined #ocaml
tizoc has joined #ocaml
maurer has joined #ocaml
Antoine59 has joined #ocaml
binarybitme has joined #ocaml
emias has joined #ocaml
pippijn has joined #ocaml
gperetin has joined #ocaml
ttm has joined #ocaml
npouillard has joined #ocaml
eikke has joined #ocaml
tov has joined #ocaml
alinab has joined #ocaml
tobiasBora has joined #ocaml
kdef has quit [Quit: peace]
arj has joined #ocaml
<ggole> def`: ping
<def`> ggole: pong
<ggole> The context sensitivity PR has been sitting there for a while
<ggole> What should I do with it?
<def`> wait :)
<ggole> Hmm, OK
<ggole> I'm happy if it's waiting on some improvements, I just got the impression that it fell between the cracks a bit.
mcc has quit [Quit: This computer has gone to sleep]
Yoric has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
Thooms has joined #ocaml
nicoo has joined #ocaml
alkoma has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
samuel02 has joined #ocaml
ollehar has joined #ocaml
samuel02 has quit [Remote host closed the connection]
manud has joined #ocaml
kapil__ has joined #ocaml
Yoric has quit [Remote host closed the connection]
psy_ has joined #ocaml
ocp has joined #ocaml
oscar_toro has joined #ocaml
dav has quit [Ping timeout: 250 seconds]
dav has joined #ocaml
milosn has joined #ocaml
<companion_cube> rgrinberg: I like thinking with state machines :)
<companion_cube> otoh ?max isn't that easy, because of edge (literally) cases
<rgrinberg> companion_cube: max should only count `Text occurences
<rgrinberg> not delimiters
<rgrinberg> i think that makes it much simpler
<rgrinberg> companion_cube: i do not have mental fortitude to think in state machines like that :D
<companion_cube> rgrinberg: it's a game! :)
<companion_cube> like thinking in continuations
Kakadu has joined #ocaml
<rgrinberg> i wonder if the code would look like with explicit yields
<rgrinberg> e.g. like in python
<rgrinberg> or with delimcc
<companion_cube> it would be much simpler
<companion_cube> but probably slower
<companion_cube> (also, delimcc is far more difficult to understand than explicit state management)
<companion_cube> (at least to me)
<companion_cube> rgrinberg: if you want to discuss the code of split_full_gen, I'd be happy to help you
thomasga has joined #ocaml
ontologiae has joined #ocaml
contempt has quit [Remote host closed the connection]
<rgrinberg> companion_cube: thanks. i'll give it a try tomorrow
<rgrinberg> bed time now
<rgrinberg> :D
<companion_cube> rgrinberg: if you want fun, look in Gen.merge ;)
<companion_cube> good night then
jonludlam has joined #ocaml
lordkryss has joined #ocaml
larhat has joined #ocaml
maufred has quit [Ping timeout: 252 seconds]
maufred has joined #ocaml
thomasga has quit [Quit: Leaving.]
contempt has joined #ocaml
<chris2> anyone using ocaml 4.02.1 from arch linux with core from opam?
<companion_cube> almost, I just don't use core, sorry
<chris2> installing core fails here because of some camlp4 stuff
<companion_cube> do you use the "system" switch?
binnisb has joined #ocaml
<chris2> i just typed opam install core :)
<chris2> and it uses the +system packages afaics
<companion_cube> yeah, I think I met this problem with camlp4
<companion_cube> it's a bit bothersome, but you may try to "opam switch 4.02.1" instead (thus ignoring camlp4+system totally)
rand000 has joined #ocaml
Yoric has joined #ocaml
Yoric_ has joined #ocaml
Yoric has quit [Ping timeout: 250 seconds]
AltGr has left #ocaml [#ocaml]
manud has quit [Quit: Be back later ...]
_5kg has quit [Ping timeout: 252 seconds]
axiles has quit [Remote host closed the connection]
dsheets has joined #ocaml
contempt has quit [Remote host closed the connection]
dsheets has quit [Ping timeout: 244 seconds]
ygrek has quit [Ping timeout: 244 seconds]
arj has quit [Ping timeout: 272 seconds]
arj has joined #ocaml
arj has quit [Ping timeout: 245 seconds]
_5kg has joined #ocaml
samuel02 has joined #ocaml
samuel02 has quit [Remote host closed the connection]
oscar_toro has quit [Remote host closed the connection]
manud has joined #ocaml
demonimin has joined #ocaml
oscar_toro has joined #ocaml
hugomg has joined #ocaml
manud has quit [Ping timeout: 255 seconds]
arj has joined #ocaml
arj has quit [Ping timeout: 252 seconds]
axiles has joined #ocaml
ebzzry has quit [Ping timeout: 256 seconds]
ebzzry has joined #ocaml
piiii3 has left #ocaml ["Leaving"]
arj has joined #ocaml
chinglish has quit [Ping timeout: 244 seconds]
pgas` has joined #ocaml
pgas` has quit [Changing host]
pgas` has joined #ocaml
pgas has quit [Ping timeout: 258 seconds]
chinglish has joined #ocaml
manud has joined #ocaml
* ggole wonders why lazy_t has the tail
manud has quit [Ping timeout: 252 seconds]
contempt has joined #ocaml
rand000 has quit [Quit: leaving]
psy_ has quit [Ping timeout: 260 seconds]
psy_ has joined #ocaml
pgas` is now known as pgas
matason has joined #ocaml
Yoric_ has quit [Remote host closed the connection]
Thooms has quit [Quit: WeeChat 1.0.1]
ocp has quit [Quit: Leaving.]
chambart has joined #ocaml
ingsoc has joined #ocaml
matason has quit [Ping timeout: 250 seconds]
* whitequark has just used Printexc.exn_slot_name to catch an unexported exception
<whitequark> it feels dirty, but less dirty than the previous thing I did, which is to use Trace.set_code_pointer to change behavior of an stdlib function
<MercurialAlchemi> it's not possible to catch it with a just a blanket catch block?
<flux> well, it's pretty bad form to leak unexported exceptions anyway, isn't it?
<flux> it's a shame there is no modern project like ocamlexc :/
<whitequark> flux: but it can be raised.
<whitequark> although.
<whitequark> actually no, it can't. *erases code*
<Drup> "e -> ... ; raise e" ?
<whitequark> Drup: no, I mean it can't escape the function which I thought it could
<Drup> ( whitequark: I must say, I'm wondering what the hell you are doing)
davine has joined #ocaml
manud has joined #ocaml
<whitequark> ~magic~
BitPuffin has joined #ocaml
manud has quit [Ping timeout: 245 seconds]
<ggole> ಠ_ಠ
Yoric has joined #ocaml
ingsoc has quit [Ping timeout: 250 seconds]
davine has quit [Ping timeout: 245 seconds]
antinomy has joined #ocaml
* whitequark does some more Obj.magic
<whitequark> this time exchanging exception ids with each other
<flux> "Obj.magic is like violence; if it doesn't solve your problem, you are not using it enough."
<whitequark> yes!
Hannibal_Smith has joined #ocaml
<ousado> hehe
oscar_toro has quit [Ping timeout: 264 seconds]
davine has joined #ocaml
shinnya has joined #ocaml
<whitequark> "let transmogrify_exn"
manud has joined #ocaml
Yoric_ has joined #ocaml
Yoric has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
manud has quit [Ping timeout: 255 seconds]
ollehar has quit [Ping timeout: 240 seconds]
nojb has joined #ocaml
thetabyte has joined #ocaml
ingsoc has joined #ocaml
Yoric has joined #ocaml
Yoric_ has quit [Remote host closed the connection]
sheijk has joined #ocaml
nojb has quit [Quit: nojb]
arj has quit [Quit: Leaving.]
bytbox has joined #ocaml
nojb has joined #ocaml
badkins has joined #ocaml
ontologiae has quit [Ping timeout: 264 seconds]
matason has joined #ocaml
ontologiae has joined #ocaml
sol__ has quit [Quit: Leaving]
oscar_toro has joined #ocaml
thetabyte has left #ocaml [#ocaml]
matason has quit [Ping timeout: 255 seconds]
larhat has quit [Quit: Leaving.]
manud has joined #ocaml
mauborgne has joined #ocaml
oscar_toro has quit [Ping timeout: 240 seconds]
bytbox has quit [Remote host closed the connection]
darkf has quit [Quit: Leaving]
manud has quit [Ping timeout: 252 seconds]
shinnya has quit [Ping timeout: 256 seconds]
nojb has quit [Quit: nojb]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
matason has joined #ocaml
WraithM has joined #ocaml
oscar_toro has joined #ocaml
nicoo has quit [Ping timeout: 250 seconds]
arj has joined #ocaml
dsheets has joined #ocaml
Arsenik has joined #ocaml
thorsten` has quit [Ping timeout: 250 seconds]
Yoric has quit [Remote host closed the connection]
Yoric_ has joined #ocaml
ingsoc has quit [Quit: Leaving.]
nicoo has joined #ocaml
Yoric_ has quit [Ping timeout: 265 seconds]
thomasga has joined #ocaml
nojb has joined #ocaml
chambart has quit [Ping timeout: 265 seconds]
Yoric has joined #ocaml
ontologiae has quit [Ping timeout: 244 seconds]
manud has joined #ocaml
chambart has joined #ocaml
Yoric has quit [Remote host closed the connection]
manud has quit [Ping timeout: 244 seconds]
thorsten` has joined #ocaml
ontologiae has joined #ocaml
axiles has quit [Quit: Quitte]
bytbox has joined #ocaml
JokerDoom has joined #ocaml
kapil__ has quit [Quit: Connection closed for inactivity]
_JokerDoom has quit [Ping timeout: 258 seconds]
BitPuffin has quit [Remote host closed the connection]
arj has quit [Quit: Leaving.]
WraithM has quit [Quit: leaving]
milosn has quit [Quit: Lost terminal]
BitPuffin has joined #ocaml
bytbox has quit [Remote host closed the connection]
tharugrim has quit [Ping timeout: 250 seconds]
slash^ has joined #ocaml
tharugrim has joined #ocaml
binnisb has quit [Quit: Leaving]
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
Yoric has joined #ocaml
q66 has joined #ocaml
davine has quit [Read error: Connection reset by peer]
manud has joined #ocaml
davine has joined #ocaml
davine has left #ocaml [#ocaml]
milosn has joined #ocaml
jwatzman|work has joined #ocaml
matason has quit [Ping timeout: 244 seconds]
manud has quit [Ping timeout: 260 seconds]
WraithM has joined #ocaml
jonludlam has quit [Ping timeout: 272 seconds]
hellome has quit [Read error: Connection reset by peer]
hellome has joined #ocaml
nojb has quit [Quit: nojb]
BitPuffin has quit [Ping timeout: 264 seconds]
nojb has joined #ocaml
ontologiae has quit [Ping timeout: 255 seconds]
seangrove has joined #ocaml
<seangrove> Hey all, I'm wondering what's wrote with this syntax:
<seangrove> let left = (char '[') in let right = (char ']') in parse_string (left >> Tokens.float << right) "[10092.10]" ();;
Kakadu has quit [Quit: Page closed]
<seangrove> It seems like I can't really use << inline like that (in utop at least)
<whitequark> camlp4.
<whitequark> don't load it.
<seangrove> Interesting - how does that change the syntax?
<whitequark> the whole point of camlp4 is changing the syntax...
<seangrove> Yeah, I know, I'm just curious if it's user-extended, or if it's a standard syntax change, and if it's standard, what the changes are
<whitequark> it's quasiquotations for ocaml source
<whitequark> well, the << bit
<seangrove> Is there a way to tell if it's loaded? I took it out from my .ocamlinit to test, but whenever I hit enter on that line, nothing happens
<whitequark> e.g. Topfind.predicates;;
<seangrove> Ah, very nice, thank you
<whitequark> hey companion_cube, can you release gen?
<seangrove> Yeah, looks like camlp40 is in there
<whitequark> a bunch of things depends on it. core, sexplib
<seangrove> Is there a way to unload camlp4o once it's in Topfind.predicates?
<whitequark> no
<seangrove> Alright, I guess I'll just stop there then, and not use mparser in utop
<seangrove> Thank you for the guidance!
thomasga has quit [Quit: Leaving.]
q66 has quit [Remote host closed the connection]
MrScout has joined #ocaml
manud has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
q66 has joined #ocaml
jonludlam has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
manud has quit [Ping timeout: 240 seconds]
Anarchos has joined #ocaml
manizzle has joined #ocaml
Kakadu has joined #ocaml
nojb has quit [Quit: nojb]
<companion_cube> whitequark: ok
<companion_cube> are you ok with the interface?
<whitequark> yes, I've migrated everything to it
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
axiles has joined #ocaml
<hugomg> is there a function in the standard library / Core for deleting a non-empty directory?
<hugomg> Unix.rmdir is only for empty directories so Im getting the impression that I will need to delete things recursively by hand.
<whitequark> yes
<whitequark> not sure about Core, but there is none in stdlib
<companion_cube> hugomg: take a look at Fileutils
<companion_cube> (te library)
<hugomg> thanks, checking it out :)
<adrien> ~parent:true
axiles has quit [Ping timeout: 245 seconds]
axiles has joined #ocaml
<companion_cube> whitequark: done
<whitequark> btw, have you seen opam-publish?
<companion_cube> it makes things easier if I have an opam file?
bytbox has joined #ocaml
manud_ has joined #ocaml
<companion_cube> looks good, sure
<companion_cube> I'll needd to try it though
<whitequark> it autosends a PR
<whitequark> you only need to change the version: and hit send
_JokerDoom has joined #ocaml
manud__ has joined #ocaml
manud_ has quit [Read error: Connection reset by peer]
JokerDoom has quit [Ping timeout: 250 seconds]
<companion_cube> sounds almost too automated :D
slash^ has quit [Read error: Connection reset by peer]
ia0 has joined #ocaml
struk|work has quit [Quit: Page closed]
jwatzman|work has quit [Quit: jwatzman|work]
hugomg has quit [Ping timeout: 264 seconds]
chambart has quit [Ping timeout: 244 seconds]
nojb has joined #ocaml
manud___ has joined #ocaml
manud__ has quit [Read error: Connection reset by peer]
ia0 has quit [Quit: leaving]
ia0 has joined #ocaml
bytbox has quit [Remote host closed the connection]
nojb has quit [Quit: nojb]
matason has joined #ocaml
travisbrady has joined #ocaml
sheijk has quit [Quit: .]
ontologiae has joined #ocaml
claudiuc has joined #ocaml
bytbox has joined #ocaml
larhat has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
chambart has joined #ocaml
claudiuc has quit [Read error: No route to host]
chambart has quit [Ping timeout: 244 seconds]
chambart has joined #ocaml
ontologiae has quit [Quit: WeeChat 1.0]
seangrove has quit [Ping timeout: 245 seconds]
Arsenik has quit [Ping timeout: 244 seconds]
manizzle has quit [Ping timeout: 255 seconds]
chambart has quit [Ping timeout: 244 seconds]
<companion_cube> whitequark: you can merge if you want
jwatzman|work has joined #ocaml
WraithM has quit [Remote host closed the connection]
manizzle has joined #ocaml
<whitequark> ugh, shitty travis
<whitequark> it fails on almost every single PR lately
Denommus` has joined #ocaml
<Drup> which one ?
rgrinberg has joined #ocaml
Denommus` has quit [Client Quit]
<rgrinberg> Drup: friendly bump for https://github.com/ocaml/ocaml-re/pulls please :)
<Drup> ahah
<companion_cube> rgrinberg is pretty active on Re
arj has joined #ocaml
struk|work has joined #ocaml
<rgrinberg> could be good for self promotion =)
<rgrinberg> companion_cube: i have a long term goal of getting rid of ocamlnet for re usage
<Drup> gaah, I really need to do this CSS thingy to make http://drup.github.io/LILiS.jsoo/ look pretty
<companion_cube> rgrinberg: why "long-term" ? :)
bytbox has quit [Ping timeout: 250 seconds]
<Drup> nobody with decent CSS skills in the audience ? =')
<companion_cube> whitequark: thanks for the merge
chambart has joined #ocaml
<rgrinberg> companion_cube: true enough. Let's go for before 2015 :D
<Drup> rgrinberg: actually, it's short term for us
<Drup> because Ocsigen-mirage
<companion_cube> mirage already uses Re, doesn't it?
<Drup> yes
<rgrinberg> whenever it needs to
<companion_cube> https://github.com/frankmcsherry/columnar ← nice idea
<rgrinberg> Drup: who's working on ocsigen-mirage?
<Drup> currently, nobody really
<rgrinberg> also i'm thinking of how to convince avsm to allow optcomping ppx_deriving in uri/cohttp :D
<companion_cube> heh
<Drup> I discussed with him
<Drup> for now, it's no.
<companion_cube> ppx_deriving should replace this sad "with sexp" we see in many libraries not related to JST
<rgrinberg> well if ppx_deriving could generate the sexp converters it would be awesome
<whitequark> implement it.
<companion_cube> :D
<companion_cube> it's not that hard actually
<companion_cube> or you can use ppx_deriving_cconv
<whitequark> I've looked at sexplib
<companion_cube> /dream
<whitequark> I'm not going to voluntarily implement ppx_deriving_sexp
<rgrinberg> whitequark: why? is it hard?
<companion_cube> write ppx_deriving_ccsexp, it's a poly variant
<rgrinberg> Drup: avsm's objections were build system right?
<companion_cube> no tie-in
<Drup> rgrinberg: just backward compatibility
<rgrinberg> Drup: why backwards compatibility? It would be optional
<Drup> On other news, previous OUPS videos: https://www.irill.org/videos/oups-december-2014
<Drup> rgrinberg: oh, I see, hum, ok, why not
<Drup> no opinion :p
<Drup> oh but no, it won't work
manizzle has quit [Ping timeout: 255 seconds]
<Drup> at least not for now
<Drup> because camlp4 choke on ppx
<Drup> you can't use both
Denommus` has joined #ocaml
<companion_cube> the challenge is to have a ppx_deriving_sexp taht can behave like "with sexp" and optcomp either one?
<rgrinberg> the new syntax highlighting in gh is pretty nice
<companion_cube> also in merlin
<companion_cube> (but I agree)
<rgrinberg> in vim? yeah
<rgrinberg> it's awesome
<companion_cube> I also discovered unified splits in GH
<Drup> "gh" ?
<rgrinberg> github
<companion_cube> github
<companion_cube> duh :p
<Drup> oh, right
<rgrinberg> companion_cube: more pretty colors !!! https://github.com/rgrinberg/vim-ocaml/blob/master/syntax/opam.vim
<Drup> still no dark color theme in github, so huum, NOPE :<
<companion_cube> rgrinberg: I know, I use it :p
<companion_cube> oh wait
nicoo has quit [Remote host closed the connection]
<companion_cube> let me update my plugin.
nicoo_ has joined #ocaml
<companion_cube> ohhhh
<companion_cube> it doesn't colorize everything though (missing: author doc dev-repo bug-reports install)
nicoo_ is now known as nicoo
<companion_cube> Ocaml is getting more and more comfortable
<companion_cube> http://cedeela.fr/~simon/files/opam_system.html for anyone interested (discussion on opam-devel)
bytbox has joined #ocaml
manud___ has quit [Quit: Be back later ...]
Hannibal_Smith has joined #ocaml
manud___ has joined #ocaml
<rgrinberg> looks useful but why use the system ocaml/ocamlfind?
<rgrinberg> why not have opam install some non user specific opam install
lordkryss has quit [Quit: Connection closed for inactivity]
<rgrinberg> relying on whatever comes with the systems always leads to disasters imo
<companion_cube> well because that way, other users can use libraries without using opam
<companion_cube> if the system provides only ocaml+ocamlfind, that's reasonable enough imho
<companion_cube> just don't let it install camlp4
<Drup> rgrinberg: this issue is that the space quota in universities can be very harsh sometimes
<Drup> the*
<rgrinberg> i still remember the days where distros refused to upgrade their 3.12 for a couple years
<companion_cube> ok, I *like* github's "split" diff
Denommus` has quit [Ping timeout: 252 seconds]
<companion_cube> rgrinberg: fine for some keywords, but "dev-repo"and "bug-reports" won't work.I suspect because of the dash
<rgrinberg> fixe
<rgrinberg> fixed
<rgrinberg> vim's a little dumb. Doesn't seem to allow '-' in keyword definitions
<rgrinberg> so i have to define them as a regex
<companion_cube> meh :D
<rgrinberg> Speaking of distributing software in OCaml. We should really have a way to avoid situations like: https://gist.github.com/grownseed/4fd2e91eca829cc039de
<rgrinberg> you cannot expect an end user to install opam either
<companion_cube> good,but now "opam-version" doesn't work! :D
<companion_cube> (almost there)
<companion_cube> gosh I love Vundle
<Drup> rgrinberg: win-builds n_n
manizzle has joined #ocaml
oscar_toro has quit [Ping timeout: 272 seconds]
<Drup> rgrinberg: if I may, though, opam is slightly saner than cabal :>
<rgrinberg> companion_cube: ok everything in containers/opam works :D
<rgrinberg> Drup: small praise unfortunately
<rgrinberg> I was thinking 0install is the way forward
<rgrinberg> but fuck the docs are too slim
<Drup> yeah
chambart has quit [Ping timeout: 260 seconds]
<rgrinberg> nix isn't ideal either b/c you want your stuff to work on windows/osx
<companion_cube> 0install because it can manage a set of installed packages?
* adrien spanks companion_cube
<Drup> adrien: I'm surprised you didn't react earlier :)
<companion_cube> ?
<companion_cube> hey
<companion_cube> what now
<adrien> Drup: I was busy
<adrien> preparing the security announces
<adrien> it's daunting
<whitequark> ... you didn't React earlier
<adrien> I did, I did! long ago! but haven't done so recently :P
<Drup> whitequark: obvious pun is obvious :p
<companion_cube> hey, lwt him react if he wants to
chambart has joined #ocaml
* companion_cube now proceeds on guessing why adrien is unhappy
Denommus` has joined #ocaml
<adrien> set of packages => yypkg :D
<companion_cube> I don't share my religious opinions
<adrien> pffffft
<companion_cube> and I wasn't the one to suggest 0isntall
<companion_cube> maybe if yypkg was on opam, I'd know more of it
<companion_cube> about it*
<adrien> but you're well aware of yypkg :D
<adrien> (it's quite useless on opam, and you know it)
<companion_cube> I don't know, I don't know what it does
<adrien> (plus it requires patches)
<adrien> rgrinberg: and no, 0install is the way backward more than forward
manud___ has quit [Quit: Be back later ...]
<adrien> it does very well what it has been designed for
<companion_cube> adrien: you don't even use opam, why do you bother? :)
<rgrinberg> companion_cube: maybe if yypkg was 0install
<adrien> but applications shipped that way don't get security updates
<rgrinberg> you could do opam -> 0install -> ypkg
<companion_cube> :D
<companion_cube> security? who needs security in OCaml?
<adrien> everyone but you
<adrien> since you're the only one to not use a single C binding except to libc
<rgrinberg> adrien: normal updates are not good enough?
<companion_cube> juste cp mirage-tls.cmxa and rm openssl.a
<adrien> rgrinberg: the issue is with dependencies
<companion_cube> you'll live happier
<adrien> they never get any update
<adrien> have an openssl copy in your local installation? most likely not updated
<adrien> a similar thing came from the systemd camp recently
<adrien> "let's ship everything inside containers!"
<companion_cube> I never suggested using a local openssl copy, actually
<companion_cube> i'd rather have opam install ocaml stuff, and rely on the distro for the rest
<companion_cube> including ocamlfind
<adrien> let's assume that it would limit code execution to the containers (i.e. that containers, well, contain; that's completely false nowadays)
<adrien> that still doesn't protect the users of whatever is inside
<adrien> if your web browser is owned, no matter if it can or cannot run abritrary code on your machine with your user rights if it can snoop on your passwords and credit card number
Denommus` has quit [Ping timeout: 240 seconds]
<rgrinberg> can
chambart has quit [Ping timeout: 272 seconds]
<rgrinberg> so in 0install the responsibility is on a package to provide the most up to date deps?
<companion_cube> who's talking about containers, btw?
jao has quit [Ping timeout: 264 seconds]
<adrien> Lennart Poettering
<companion_cube> okkkkkkkkk
<adrien> (notice how close to troll-day we are: we need to get ready)
<companion_cube> but what's that got to do with anything we were discussing?
<adrien> but containers or whatever else isolation (including none)
<adrien> the whole point is that if you're bundling dependencies, you need to keep on updating them
<companion_cube> but I don't want non-ocaml dependencies to be bundled :(
rgrinberg has quit [Read error: Connection reset by peer]
<adrien> which means making a full distribution in practice
rgrinberg1 has joined #ocaml
thomasga has joined #ocaml
<rgrinberg1> so what's the solution? how do you ship a hypothetical pandoc in ocaml to users on different platforms without going insane?
<adrien> alcohol
<adrien> I don't think there's a perfect and easy solution
seangrove has joined #ocaml
<adrien> overall 0install is quite sane and takes the security stuff into account
<adrien> the issue that remains is when package A depends on package B and package B becomes unmaintained because there's B2
<adrien> everything but package A moves to B2
<adrien> what happens to A?
rgrinberg1 has quit [Client Quit]
<adrien> I killed him ='(
Denommus has joined #ocaml
Yoric has quit [Remote host closed the connection]
<hannes> adrien: after all, it's open source - if no one else jumps on it/cares about it, you have to fix A...
<adrien> yup
<adrien> and you just got back to considerations in the regular distributions
<hannes> q is rather 'who's doing "regular" distributions?' and for what reason, isn't it?
<adrien> regular, I mean distributions like debian
<adrien> I need to go to bed or I'll have a _really_ crap day on tomorrow
<adrien> night
* hannes himself is not happy with debian/ubuntu >70 patches to off-the-shelf openssl... I'd prefer if they'd just take the upstream (and yes, there have been flaws and regressions in debians openssl patches)
<adrien> well, debian is definitely a heavy-patcher
rgrinberg has joined #ocaml
<adrien> one of the reasons I stick with slackware
* hannes sticks to FreeBSD (since mirage is not yet a full replacement, working hard on that)
<adrien> :)
<hannes> but so - people should use opam instead of heavily patched debian/slackware/whatever libraries. patches should go upstream in OCaml land. problem solved.
<adrien> slackware patches very little
<adrien> fedora only accepts patches if they've been sent upstream first
<adrien> or something like that
<hannes> what we should do and talk about is signing for opam.. but I as well wanted to get some sleep
<adrien> get sks-keyserver
<companion_cube> please do write ocaml-gpgp ;)
<adrien> make a lib out of it
<companion_cube> -p
<adrien> it's ocaml
<adrien> (and then I can use it in yypkg)
seanmcl has joined #ocaml
Denommus has quit [Ping timeout: 244 seconds]
seanmcl has quit [Client Quit]
<hannes> I looked into sks. it's huge. and wrong license.
<companion_cube> how complicated is pgp compared to TLS?
<hannes> companion_cube: I (co-)wrote ocaml-tls/x509/otr... guess what
<companion_cube> (maybe the mirage team will hack something)
<companion_cube> hannes: oh. nice.
<hannes> pgp is less well specified, but rather straightforward. find me 3 months time..
<whitequark> >pgp
<whitequark> oh, I see what you're comparing it to
<hannes> but for opam signing there's no need for pgp... you can express the trust as well in x509
Arsenik has joined #ocaml
<companion_cube> ocaml-pgp + a lambda-term interface to it,could be neat
<companion_cube> ^^
<companion_cube> another wish for Santa
<whitequark> how about starting with a PGP API, okay
<hannes> companion_cube: currently working on jackline, a xmpp-client using otr, tls from myself, lambda-term, ...
<whitequark> companion_cube: did you know PGP has no API
<whitequark> at all
<whitequark> libgpgme uses system()
<companion_cube> man.
<companion_cube> that's ugly.
<whitequark> fucking unix way
<Drup> I like how, over the years, "the unix way" as become more or so synonim to "as ugly and raw as possible"
<Drup> synonym
oscar_toro has joined #ocaml
<whitequark> not everywhere
<Drup> obviously :)
<companion_cube> hannes: I don't know much in crypto, but I'd rather have a web-of-trust thingie for opam
<whitequark> I don't know much in crypto, <rest of message promptly sent to /dev/null>
<hannes> is there btw any line of work to replace camomile's unicode in zed & lambda-term with daniel buenzli's?
<Drup> hannes: I know about some thing to remove the database part of camomille in zed
<whitequark> hannes: not that I'm aware of
<companion_cube> I don't know much in crypto, but whitequark is really a jerk sometimes :p
<whitequark> sometimes?
<companion_cube> I thought you sent this message to /dev/null ?
<hannes> companion_cube: the crucial problem is whom to trust. and you can implement the trust model with either - there's cacert doing web-of-trust thingies for x509, there are pgp key signing authorities doing some hierarchical signing stuff for pgp
<Drup> hannes: https://github.com/hhugo/zed iirc
<companion_cube> with pgp, I think I would trust many people here, after I sign their key at some OCaml meeting
<Drup> whitequark: that's why I carefully say nothing about security and crypto :/
Denommus has joined #ocaml
<hannes> just trust me :) that's easier ;) *scnr*
<hannes> companion_cube: what I mean is with the right set of tools, you could do the same using x509..
<companion_cube> if you say so :)
Denommus has quit [Ping timeout: 245 seconds]
Simn has quit [Quit: Leaving]
Denommus has joined #ocaml
<rgrinberg> people see to be considering 0install outside of ocaml: http://www.reddit.com/r/linux/comments/2ouhbe/what_do_people_think_of_0install_zeroinstall/
<whitequark> I don't think 0install was originally inside OCaml
<whitequark> it was a ppython project
shinnya has joined #ocaml
<companion_cube> indeed
arj has quit [Quit: Leaving.]
<whitequark> Drup: oh
<whitequark> I realized why I removed lwt.text
<whitequark> * [optional] ocaml-text (needed for the enhanced toplevel)
<whitequark> I thought it was needed ONLY for that
<Drup> ok
<whitequark> oh, also
<whitequark> -Flag text
<whitequark> - Description: Text mode utilities (deprecated)
matason has quit [Ping timeout: 252 seconds]
Arsenik has quit [Remote host closed the connection]
<Drup> hum, it was only in the _oasis :/
<Drup> whitequark: if you want to remove it, propose me a working alternative
<whitequark> also, lol, what
<whitequark> - "--%{ocaml-text:enable}%-text" {"%{react:installed}%"}
<Drup> "recode it with uutf" doesn't count, since lwt.text is already done ;)
<Drup> whitequark: what about it ?
<whitequark> react
<whitequark> not text
Denommus has quit [Ping timeout: 256 seconds]
<Drup> read before
<companion_cube> lwt.text is a unicode rope?
<Drup> whitequark: it's not broken, if that's the question
<whitequark> unicode bondage
<Drup> it just needs both text and react
<whitequark> oh
<Drup> whitequark: pffr x)
<whitequark> right, not broken
<Drup> (or to be more precise: the brokeness is in opam here, not lwt :p)
<whitequark> Drup: wait, can I remove Lwt_term and Lwt_read_line at least?
<Drup> sure
<whitequark> WHEEEEE
<Drup> that's fine, there is a replacement for those
<Drup> (namely, lambda-term)
<Drup> whitequark: tbh, I still don't think the removal of libraries should be considered as part of a "no-camlp4" library, but that's just picky-ness
<Drup> "no-camlp4" PR*
Denommus has joined #ocaml
WraithM has joined #ocaml
<whitequark> ugh, more code to de-lwt.syntax-ize
Denommus has quit [Ping timeout: 272 seconds]
travisbrady has quit [Quit: travisbrady]
<whitequark> I hate camlp4 so much.
<rgrinberg> whitequark: amen brother
manizzle has quit [Ping timeout: 244 seconds]
<whitequark> Error: The GADT constructor Input of type Lwt_io.mode must be qualified in this pattern.
<whitequark> FUCK. OFF.
<whitequark> what does that even MEAN
<Drup> that you can't use constructor disambiguation for gadts
<whitequark> oh
<companion_cube> match ... with | Lwt_io.Input -> ... ?
<Drup> It must be qualified, it's in the error message !
<Drup> come on :D
<whitequark> that's the first time I meet "qualified" in that sense in OCaml land
<rgrinberg> whitequark: is ppx_deriving susceptible to bullshit like https://github.com/mirage/ocaml-cow/issues/41
<Drup> mostly, yes
<whitequark> yes, it's because ocaml is not hygienic
badon has joined #ocaml
<whitequark> HOWEVER
<Drup> whitequark: do you have an open issue on that ?
<whitequark> Drup: on what?
<Drup> the fact that there is no root module, which would help for this kind of stuff
<whitequark> could be provided in a library, btw
<whitequark> but probably should be in stdlib