<pippijn>
I don't understand most of these downgrades
<whitequark>
do you have aspcud installed?
<pippijn>
not that I know
<whitequark>
try $ aspcud
<pippijn>
nope
<whitequark>
ah, that's the answer
<whitequark>
opam's builtin solver is shite
* pippijn
installs aspcud
<pippijn>
I'll let it finish its downgrade
lambdahands has quit [Ping timeout: 252 seconds]
<whitequark>
oh?
<pippijn>
it's doing stuff
<whitequark>
that's pointless
<pippijn>
I have bad experience with interrupting opam
<whitequark>
oh
<whitequark>
didn't it ask you whether to proceed with downgrade?
<pippijn>
yes, and I said yes
<pippijn>
ocamlbuild really needs to get its parallel build fixed
<pippijn>
I could be done by now if not only 1 process was compiling at a time
<pippijn>
alternatively: get opam to do parallel builds of independent packages
<whitequark>
opam can do it
<pippijn>
oh yeah, I see
<pippijn>
there is install -j
<whitequark>
cat .opam/config
<whitequark>
jobs: 4
<whitequark>
download-jobs: 8
<pippijn>
nice
jabesed has joined #ocaml
jabesed has quit [Client Quit]
kapil__ has joined #ocaml
lambdahands has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
ygrek has joined #ocaml
lambdahands has quit [Ping timeout: 245 seconds]
lambdahands has joined #ocaml
lambdahands has quit [Ping timeout: 245 seconds]
<pippijn>
I'm pleasantly surprised by ocaml
<pippijn>
decoding 1 million packets, 238 bytes each, takes 2.9 seconds here
<pippijn>
47% of the time is spent in the decryption function (in C)
<pippijn>
I wrote the same code in (naive) C++, which takes 2.4 seconds
ygrek has quit [Remote host closed the connection]
jave has joined #ocaml
swgillespie has joined #ocaml
struktured has quit [Ping timeout: 245 seconds]
struktured has joined #ocaml
martintrojer has quit [Ping timeout: 245 seconds]
<pippijn>
I wrote the C++ code in a week, and the ocaml code in a day
myyst has quit [Ping timeout: 265 seconds]
myyst has joined #ocaml
martintrojer has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
NoNNaN has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
ygrek has joined #ocaml
lambdahands has joined #ocaml
SrPx has quit [Quit: Page closed]
enitiz has quit [Ping timeout: 244 seconds]
samrat has joined #ocaml
contempt has quit [Ping timeout: 245 seconds]
ebzzry has quit [Remote host closed the connection]
contempt has joined #ocaml
lambdahands has quit [Ping timeout: 264 seconds]
mcc has joined #ocaml
badkins has quit [Remote host closed the connection]
<nullcat>
so sad i waste all my time working on my JavaScript homework. I feel like for every line of JavaScript I wrote, i should 10 lines of OCaml to get sane again. sigh
jonludlam has quit [Ping timeout: 265 seconds]
myyst has quit [Ping timeout: 265 seconds]
myyst has joined #ocaml
<frawgie>
nullcat: and 10 lines of javascript can be done in 1 line of ocaml? :>
<mcc>
Hellos, I am interested in writing a ppx extension, i found whitequark's article which was very helpful, i'm trying to find a reference however which corresponds exactly to what i would get in ocaml 4.02.1.
<mcc>
I think the thing to do is just check out the 4.02 sources and then find the MLIs?
<mcc>
frawgie: i think rather 10 lines of ocaml can be done in 1 line of javascript, but you won't want to read that one line.
hhugo has quit [Quit: Leaving.]
swgillespie has joined #ocaml
nojb has joined #ocaml
<whitequark>
mcc: the article is written against 4.02
<whitequark>
well, 4.02.0, but the ppx interfaces did not change between .0 and .1
vanila has joined #ocaml
<mcc>
cool
nojb has quit [Ping timeout: 245 seconds]
<mcc>
whitequark: i'm at this moment looking at parsetree.mli in the 4.02 source and trying to figure out what Ppat would be for, say, the expression a - z
<mcc>
whitequark I wound up in there because the existing source for sedlex had Ppat_or (p1, p2) -> Sedlex.alt (aux p1) (aux p2)
<whitequark>
Ppat is for "Parsetree pattern"
<whitequark>
thus it does not correspond to any expression :D
<whitequark>
an example of Ppat_or would be...
<whitequark>
match x with (1 | 2) -> ...
hhugo has joined #ocaml
<mcc>
yeah, i know
<mcc>
that is one of the defined things in sedlex
<mcc>
so i'm trying to add -
<mcc>
oh!
<mcc>
wait.
<mcc>
- is not legal in a pattern expression.
<whitequark>
exactly
<mcc>
therefore it will not be in parsetree.mli.
<mcc>
hm
<whitequark>
remind me, what does - do?
<whitequark>
subtract?
<mcc>
subtract
nojb has joined #ocaml
<whitequark>
then do something like Sub (p1, p2)
<mcc>
yeah.
<whitequark>
there are already things like Compl in sedlex
<nojb>
whitequark: yes, using ocamlfind, how do i pass arguments to ppx ?
<whitequark>
nojb: -ppxopt PKGNAME,-opt,val,...
<mcc>
tell me if i have this right: - is impossible in concept because ppx transforms ASTs to ASTs and the AST is specific enough that minus would never be allowed inside of a match expression...?
<nojb>
thanks!
<whitequark>
mcc: simpler
<whitequark>
- is not valid syntax in patterns
<mcc>
ok sure
<whitequark>
it doesn't really matter whether there is ppx or not
<whitequark>
since ppx doesn't add any syntax apart from extension nodes/attributes ([%x]/[@x])
<mcc>
and the %x can reshape the asts but it can't make something that wasn't a valid ast before. ok.
<whitequark>
the inside of extension/attribute node is a valid expression, pattern or structure item, yes
<whitequark>
er
<whitequark>
type, pattern or structure item
<mcc>
so i guess what i'm looking for is Lident "Sub" followed by a Ppat_tuple
mcc has quit [Quit: This computer has gone to sleep]
<tcpc>
hm, why 'ocamlc -annot' return me nothing?
<dmbaturin>
Didn't product a .annot file?
<dmbaturin>
* produce
<tcpc>
oups, i didn't understand the process :-°
<tcpc>
that's work, thx
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ygrek_ has joined #ocaml
ygrek has quit [Remote host closed the connection]
psy_ has quit [Ping timeout: 245 seconds]
lambdahands has joined #ocaml
hhugo has quit [Quit: Leaving.]
lordkryss has joined #ocaml
lambdahands has quit [Ping timeout: 255 seconds]
ggole has joined #ocaml
nonuby has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
vodkaInf1rno has joined #ocaml
vodkaInferno has quit [Read error: Connection reset by peer]
alkoma has joined #ocaml
nonuby has quit [Ping timeout: 245 seconds]
matason has joined #ocaml
dsheets has joined #ocaml
alkoma has quit [Ping timeout: 264 seconds]
Submarine has quit [Remote host closed the connection]
nonuby has joined #ocaml
nonuby has joined #ocaml
chinglish has joined #ocaml
govg has joined #ocaml
darkf has quit [Quit: Leaving]
mort___ has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
ebzzry has joined #ocaml
alkoma has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
emias has joined #ocaml
Haudegen has joined #ocaml
alkoma has quit [Ping timeout: 276 seconds]
AltGr has left #ocaml [#ocaml]
alkoma has joined #ocaml
yomimono has joined #ocaml
siddharthv_away is now known as siddharthv
samrat has quit [Ping timeout: 265 seconds]
alkoma has quit [Ping timeout: 272 seconds]
oscar_toro has joined #ocaml
oscar_toro has quit [Read error: Connection reset by peer]
octachron has joined #ocaml
oscar_toro has joined #ocaml
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
ebzzry has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
ebzzry has joined #ocaml
Simn has joined #ocaml
govg has quit [Ping timeout: 264 seconds]
govg has joined #ocaml
nonuby has quit [Ping timeout: 244 seconds]
govg has quit [Ping timeout: 245 seconds]
govg has joined #ocaml
govg is now known as Guest93143
booly-yam-6137 has quit [Ping timeout: 264 seconds]
alkoma has joined #ocaml
alkoma has quit [Ping timeout: 255 seconds]
dario_ has joined #ocaml
booly-yam-6137 has joined #ocaml
ocp has joined #ocaml
zwer_e has joined #ocaml
zwer has quit [Ping timeout: 250 seconds]
larhat has quit [Ping timeout: 240 seconds]
larhat has joined #ocaml
larhat has quit [Ping timeout: 240 seconds]
antegallya has joined #ocaml
kalzz has quit [Ping timeout: 245 seconds]
larhat has joined #ocaml
alkoma has joined #ocaml
larhat has quit [Ping timeout: 265 seconds]
alkoma has quit [Ping timeout: 264 seconds]
kalzz has joined #ocaml
troydm has joined #ocaml
vanila has quit [Quit: Leaving]
oriba has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
ohama has quit [Ping timeout: 265 seconds]
matason has quit [Ping timeout: 264 seconds]
Haudegen has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
alkoma has joined #ocaml
NoNNaN has quit [Ping timeout: 250 seconds]
<chris2>
why does corebuild compile both .cmo and .cmx for a .native build? shouldnt .cmx be enough?
<whitequark>
I think it builds .cmo as a side effect of building a .cmi
<chris2>
can i make it not build a cmi if my program is in a single file?
alkoma has quit [Ping timeout: 246 seconds]
enitiz has joined #ocaml
ski has quit [Ping timeout: 252 seconds]
<whitequark>
why does it bother you?
_5kg has quit [Ping timeout: 276 seconds]
Guest93143 has quit [Quit: leaving]
mort___ has joined #ocaml
asmanur has joined #ocaml
jonludlam has joined #ocaml
matason has joined #ocaml
rand000 has joined #ocaml
enitiz has quit [Ping timeout: 252 seconds]
ohama has joined #ocaml
uris77 has joined #ocaml
psy_ has quit [Quit: Leaving]
alkoma has joined #ocaml
alkoma has quit [Ping timeout: 264 seconds]
_5kg has joined #ocaml
Hannibal_Smith has joined #ocaml
hhugo has joined #ocaml
hhugo1 has joined #ocaml
hhugo has quit [Read error: Connection reset by peer]
jonludla` has joined #ocaml
hhugo1 has quit [Read error: Connection reset by peer]
hhugo has joined #ocaml
kalzz has quit [Ping timeout: 245 seconds]
Hannibal_Smith has quit [Quit: Leaving]
jonludlam has quit [Ping timeout: 264 seconds]
lordkryss has quit [Quit: Connection closed for inactivity]
hhugo1 has joined #ocaml
hhugo has quit [Read error: Connection reset by peer]
reem has joined #ocaml
hhugo1 has quit [Read error: Connection reset by peer]
hhugo has joined #ocaml
lambdahands has joined #ocaml
jonludla` is now known as jonludlam
ebzzry has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
BitPuffin has joined #ocaml
kalzz has joined #ocaml
ebzzry has joined #ocaml
lambdahands has quit [Ping timeout: 265 seconds]
hhugo1 has joined #ocaml
hhugo has quit [Read error: Connection reset by peer]
hhugo has joined #ocaml
hhugo1 has quit [Read error: Connection reset by peer]
myst|work has quit [Quit: Lost terminal]
reem has quit [Remote host closed the connection]
enitiz has joined #ocaml
zozozo has joined #ocaml
struktured has quit [Ping timeout: 245 seconds]
myst|work has joined #ocaml
alkoma has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
hhugo1 has joined #ocaml
hhugo has quit [Read error: Connection reset by peer]
malc_ has joined #ocaml
alkoma has quit [Ping timeout: 252 seconds]
badkins has joined #ocaml
matason has quit [Ping timeout: 245 seconds]
antegallya has quit [Ping timeout: 245 seconds]
george___ has joined #ocaml
psy_ has joined #ocaml
<jonludlam>
hi all. When packaging ocaml libraries for distros, the usual advice has been to include .mli files in the dev package. With the existence of .cmt/cmti, is that still best practice?
<Drup>
yes
<jonludlam>
I ask because the opam install doesn't install them
<Drup>
opam install doesn't do anything more than what the package is doing
<jonludlam>
that is, when packaging opam, the 'opam-lib' ocamlfind package doesn't have the .mli files installed
<def`>
AND dangerous, dynamic scoping of timezone…
<Drup>
def`: but handling dates is such an awful job that reemplementing it is more painful than using calendar =')
<def`>
exactly ;)
<companion_cube>
can't wait for ezcalendar :>
<Drup>
rgrinberg, you have a mission :D
<companion_cube>
Drup: you can also fork it with a better interface, I guess
<companion_cube>
(cccalendar ;)
<Drup>
:D
MrScout has joined #ocaml
<Drup>
dsheets: I feel like you have ten priorities at any given time :D
<dsheets>
Drup, it's getting painful but opamfu/opam2web are what i'm on tonight
<Drup>
(I'm joking but I tend to be the same ._.)
<companion_cube>
drup-priority-queue.native
<dsheets>
i didn't intend to get to this state... it's just the result of contributions to random things that other people dislike and a lot of project ideas :-/
<Drup>
yeah
booly-yam-6137 has joined #ocaml
<companion_cube>
Drup: are you stalking dsheets?
<Drup>
not on purpose
<dsheets>
github is violatin me privates!
<rks`>
:D
<Drup>
x)
<adrien_znc>
definitely!
<companion_cube>
but gforges' violatin my eyes
<adrien_znc>
good thing you know how to do CSS
<dsheets>
it's better than C violatin your segments, i suppose
<companion_cube>
1/ I don't know CSS 2/ it's the whole way the interface is organized
<companion_cube>
that said, I was happy the doc for calendar was actually linked
<adrien_znc>
I never said you knew CSS
<adrien_znc>
I only meant you could ask Drup repeatedly until he answers how to do X in CSS :P
psy_ has quit [Quit: Leaving]
<companion_cube>
heh.
<companion_cube>
also, anyone tried odate rather than calendar?
tane has joined #ocaml
yomimono has quit [Ping timeout: 256 seconds]
swgillespie has joined #ocaml
swgillespie has quit [Client Quit]
Haudegen has quit [Ping timeout: 264 seconds]
george___ has quit [Quit: Page closed]
Haudegen has joined #ocaml
swgillespie has joined #ocaml
swgillespie has quit [Client Quit]
WraithM has joined #ocaml
NoNNaN has joined #ocaml
alkoma has joined #ocaml
WraithM has quit [Read error: Connection reset by peer]
Submarine has joined #ocaml
ocp has quit [Ping timeout: 245 seconds]
Tekk_` has joined #ocaml
q66 has joined #ocaml
Tekk_` has quit [Ping timeout: 265 seconds]
Denommus has joined #ocaml
<Denommus>
hm, ocamlfind can't find camlp4
<Denommus>
I installed both from my system's package manager
hhugo has joined #ocaml
lostman_ has quit [Quit: Connection closed for inactivity]
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
<Denommus>
...
ski has joined #ocaml
reem has quit [Remote host closed the connection]
psy_ has joined #ocaml
reem has joined #ocaml
Simn is now known as simnus
reem has quit [Remote host closed the connection]
<struk|work>
Denommus: opam is recommmended install method if possible
hhugo has quit [Ping timeout: 264 seconds]
Denommus has quit [Ping timeout: 265 seconds]
SylvainK has joined #ocaml
reem has joined #ocaml
ygrek has joined #ocaml
Denommus has joined #ocaml
MrScout_ has joined #ocaml
MrScout has quit [Ping timeout: 245 seconds]
lyxia has quit [Ping timeout: 252 seconds]
lyxia has joined #ocaml
lyxia has quit [Ping timeout: 255 seconds]
lyxia has joined #ocaml
govg has joined #ocaml
Hannibal_Smith has joined #ocaml
samuel02 has joined #ocaml
samuel02 has quit [Remote host closed the connection]
lyxia has quit [Ping timeout: 265 seconds]
MrScout_ has quit [Remote host closed the connection]
lyxia has joined #ocaml
MrScout has joined #ocaml
Denommus` has joined #ocaml
lyxia has quit [Ping timeout: 245 seconds]
Denommus has quit [Ping timeout: 245 seconds]
booly-yam-6137 has quit [Ping timeout: 246 seconds]
slash^ has quit [Read error: Connection reset by peer]
Denommus` has quit [Ping timeout: 264 seconds]
siddharthv is now known as siddharthv_away
ggole has quit []
lyxia has joined #ocaml
oscar_toro has joined #ocaml
lyxia has quit [Ping timeout: 252 seconds]
lyxia has joined #ocaml
SylvainK has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
bobry has joined #ocaml
jwatzman|work has joined #ocaml
NoNNaN has quit [Ping timeout: 250 seconds]
lyxia has quit [Ping timeout: 246 seconds]
wwilly has joined #ocaml
lyxia has joined #ocaml
matason has quit [Ping timeout: 245 seconds]
arj has joined #ocaml
Anarchos1 has joined #ocaml
lyxia has quit [Remote host closed the connection]
lyxia has joined #ocaml
Denommus has joined #ocaml
lyxia has quit [Ping timeout: 265 seconds]
ygrek has quit [Ping timeout: 264 seconds]
lyxia has joined #ocaml
tane has quit [Remote host closed the connection]
reem has quit [Remote host closed the connection]
endiruna has joined #ocaml
<endiruna>
in this code http://ideone.com/LPtQpv End is never printed. what should be the correct syntax?
<Anarchos1>
endiruna let me look
Hannibal_Smith has quit [Quit: Leaving]
swgillespie has joined #ocaml
<Anarchos1>
endiruna | _ -> print_endline "many"; print_endline "End" is interpreted as | _ -> begin print_endline "many"; print_endline "End" end
<Anarchos1>
endiruna that's why it is never printed
<Anarchos1>
endiruna it is a weird behaviour of the ";" in presence of pattern matching.
<Anarchos1>
endiruna that's why i always put begin/end or "(" / ")" around pattern matching
mort___ has joined #ocaml
<endiruna>
i see! thanks
lyxia has quit [Ping timeout: 252 seconds]
<endiruna>
can someone do matching outside the match enviroment? for example if t = Node(x,[]) then ...
<endiruna>
say x is defined as 1
<endiruna>
so if t = Node(1,[]) then .....
lyxia has joined #ocaml
oscar_toro has quit [Ping timeout: 252 seconds]
<Anarchos1>
endiruna « match t with Node(1,[]) » you mean ?
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 264 seconds]
lyxia has quit [Ping timeout: 246 seconds]
Denommus` has quit [Ping timeout: 264 seconds]
ygrek has joined #ocaml
<endiruna>
Anarchos1: but i thought that the compiler would complain if not all the possibilities are possible
<endiruna>
but I was wrong
<endiruna>
actually i tried some examples and the compiler gives the warning not exhaustive
<Anarchos1>
endiruna ocamlc is smarter than many compiler in the pattern matching field :)
Anarchos1 has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
bytbox has quit [Remote host closed the connection]
govg has quit [Ping timeout: 264 seconds]
govg has joined #ocaml
ollehar has joined #ocaml
Denommus has joined #ocaml
lyxia has joined #ocaml
lyxia has quit [Ping timeout: 252 seconds]
badon has quit [Quit: Leaving]
Denommus` has joined #ocaml
lyxia has joined #ocaml
Denommus has quit [Ping timeout: 240 seconds]
Denommus` has quit [Ping timeout: 276 seconds]
Hannibal_Smith has joined #ocaml
lyxia has quit [Ping timeout: 244 seconds]
ygrek has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
lyxia has joined #ocaml
badon has joined #ocaml
lyxia has quit [Ping timeout: 272 seconds]
Denommus has joined #ocaml
antegallya has joined #ocaml
enquora has joined #ocaml
antegallya has quit [Client Quit]
bytbox has joined #ocaml
endiruna has quit [Ping timeout: 265 seconds]
badon has quit [Write error: Connection reset by peer]
zwer_e has quit [Write error: Connection reset by peer]
zwer has joined #ocaml
enquora has quit [Remote host closed the connection]
MrScout_ has joined #ocaml
jonludlam has quit [Quit: Coyote finally caught me]
MrScout has quit [Ping timeout: 245 seconds]
reem has joined #ocaml
reem has quit [Read error: Connection reset by peer]
reem has joined #ocaml
bytbox has quit [Ping timeout: 245 seconds]
ygrek_ has quit [Remote host closed the connection]
reem has quit [Read error: Connection reset by peer]
ygrek_ has joined #ocaml
reem has joined #ocaml
NoNNaN has joined #ocaml
Kakadu has quit [Remote host closed the connection]
eventualbuddha_ is now known as eventualbuddha
lyxia has joined #ocaml
reem has quit [Ping timeout: 246 seconds]
arj has quit [Quit: Leaving.]
oriba has quit [Quit: oriba]
reem has joined #ocaml
reem has quit [Read error: Connection reset by peer]
reem has joined #ocaml
reem has quit [Read error: Connection reset by peer]
reem has joined #ocaml
ygrek_ has quit [Ping timeout: 246 seconds]
lyxia has quit [Ping timeout: 245 seconds]
reem has quit [Read error: Connection reset by peer]
reem has joined #ocaml
pyon has quit [Quit: restart]
pyon has joined #ocaml
struktured has joined #ocaml
wwilly has left #ocaml ["Leaving"]
reem has quit [Read error: Connection reset by peer]
reem has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
lyxia has joined #ocaml
mort___ has quit [Quit: Leaving.]
reem has quit [Read error: Connection reset by peer]
reem has joined #ocaml
reem_ has joined #ocaml
reem has quit [Read error: Connection reset by peer]
jao has quit [Ping timeout: 252 seconds]
lyxia has quit [Ping timeout: 246 seconds]
Thooms has joined #ocaml
bobry has quit [Quit: Connection closed for inactivity]
uris77 has quit [Quit: leaving]
reem_ has quit [Read error: Connection reset by peer]
reem has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
lambdahands has quit [Ping timeout: 264 seconds]
MrScout_ has quit [Remote host closed the connection]
lyxia has joined #ocaml
MrScout has joined #ocaml
badon has joined #ocaml
lyxia has quit [Ping timeout: 246 seconds]
ebzzry has quit [Remote host closed the connection]
myyst has quit [Read error: Connection reset by peer]