<whitequark>
Drup: did you know that "refill" and "shortest" are valid ocamllex keywords?
<whitequark>
I'm kinda at a loss at what they actually do
<adrien>
Refill handlers are a recent (optional) feature introduced in 4.02, documented below in subsection 12.2.7.
<adrien>
?
<adrien>
However, if lexer rules are introduced with the shortest keyword in place of the parse keyword, then the “shortest match” rule applies: the shortest prefix of the input is selected. In case of tie, the regular expression that occurs earlier in the rule is still selected. This feature is not intended for use in ordinary lexical analyzers, it may facilitate the use of ocamllex as a simple text processing tool.
antinomy has joined #ocaml
antinomy has quit [Ping timeout: 265 seconds]
testcocoon has quit [Quit: Coyote finally caught me]
Arsenik has quit [Remote host closed the connection]
nojb has joined #ocaml
bezirg has joined #ocaml
bartholin has quit [Quit: Leaving]
ontologiae_ has quit [Ping timeout: 272 seconds]
testcocoon has joined #ocaml
ggole has joined #ocaml
<hugomg>
Is there a way to use labelled functions with cmdliner's applicative-functors? http://pastebin.com/ZabmGGD5
<nojb>
what is wrong with your `obvious solution` ?
<hugomg>
not much tbh. it was uglier before I remembered I could use name punning instead of (fun x y -> chorus ~count:x ~msgs:y)
<hugomg>
but I got a feeling that there ought to be something along the lines of version #2 thats not do damn ugly
<hugomg>
otu of curiosity now :)
<hugomg>
another cmdliner question I just remembered. Is there a reason why cmdliner defines a "&" operator instead of using "@@"? They seem to do the same thing
<nojb>
just a question of taste I guess - also @@ is only from 4.01.0
oscar_toro has quit [Ping timeout: 260 seconds]
Hannibal_Smith has joined #ocaml
nojb has quit [Quit: nojb]
oscar_toro has joined #ocaml
pdewacht has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
bezirg has quit [Ping timeout: 264 seconds]
nojb has joined #ocaml
jao has quit [Ping timeout: 244 seconds]
thomasga has quit [Quit: Leaving.]
Thooms has joined #ocaml
antegallya has joined #ocaml
milosn has quit [Ping timeout: 256 seconds]
arj has joined #ocaml
panini has joined #ocaml
thomasga has joined #ocaml
ygrek has joined #ocaml
chambart has joined #ocaml
antinomy has joined #ocaml
thomasga has quit [Quit: Leaving.]
ctrucel has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
ctrucel has quit [Client Quit]
q66 has joined #ocaml
tane has joined #ocaml
antinomy has quit [Quit: WeeChat 1.0.1]
nojb has quit [Quit: nojb]
antinomy has joined #ocaml
rand000 has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 260 seconds]
nojb has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
mcclurmc_ has quit [Remote host closed the connection]
chambart has quit [Ping timeout: 272 seconds]
panini has quit [Quit: Leaving]
nojb has quit [Quit: nojb]
darkf has quit [Quit: Leaving]
boogie has joined #ocaml
struktured has joined #ocaml
nojb has joined #ocaml
bezirg has joined #ocaml
bezirg has quit [Client Quit]
bezirg has joined #ocaml
<gasche>
whitequark: giving me the links on IRC does not scale
<gasche>
I will inevitably miss some of them if you keep collecting them (which is good!)
<gasche>
workflow-wise for me it's better if you can send me emails
<gasche>
but on the other hand it's nice that you communicate about this work on a public place
<gasche>
I'd just need a place with better tracking capabilities than an IRC channel
<gasche>
if you have a blog with RSS, that would be fine
<adrien>
ocaml-merge-troubles.skyblog.fr? :P
<gasche>
otherwise maybe, send links to caml-list directly? (but then you should not send more than one email a week other people might complain)
<gasche>
another option would be for you to post directly in the MPR/GPR
<gasche>
I won't get automatic notifications for the mantis I'm not monitoring, but mantis lets you see the most-recently-modified issues
<gasche>
... I think that would be the best solution
<gasche>
it might also motivate you to give an opinion when writing your post, which is nice
icicled has joined #ocaml
marynate has quit [Quit: Leaving]
chinglish has joined #ocaml
boogie has quit [Remote host closed the connection]
icicled has quit [Ping timeout: 272 seconds]
sivoais_ is now known as sivoais
sivoais has joined #ocaml
sivoais has quit [Changing host]
bezirg has quit [Ping timeout: 255 seconds]
icicled has joined #ocaml
<companion_cube>
struktured: it should be usable, sure
AlexRussia has quit [Quit: WeeChat 1.1-dev]
AlexRussia has joined #ocaml
boogie has joined #ocaml
Yoric has joined #ocaml
<companion_cube>
gasche: nice PR merging spree
tharugrim has quit [Ping timeout: 265 seconds]
<struktured>
companion_cube: yeah Its fine. played with yesterday with no trouble
tharugrim has joined #ocaml
<companion_cube>
what do you think of the new layout?
<struktured>
companion_cube: was CCSequence always in advanced? or is that new?
<struktured>
companion_cube: anyhow I like it thus far.
icicled has quit [Ping timeout: 250 seconds]
<companion_cube>
struktured: oh, right. Because of drup I removed CCSequence/CCGen because they have been living in their own repositories for long
<companion_cube>
so you should use "gen" or "sequence" on opam
<companion_cube>
only if you need them of course.
struktured has quit [Ping timeout: 245 seconds]
Thooms has quit [Quit: WeeChat 1.0.1]
WraithM has quit [Quit: leaving]
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
<gasche>
companion_cube: thanks
martintrojer has quit [Max SendQ exceeded]
ontologiae_ has joined #ocaml
martintrojer has joined #ocaml
psy_ has quit [Ping timeout: 255 seconds]
milosn has joined #ocaml
Hannibal_Smith has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
jonludlam has quit [Quit: Coyote finally caught me]
Thooms has joined #ocaml
jonludlam has joined #ocaml
wwilly has joined #ocaml
Anarchos has joined #ocaml
mcclurmc has joined #ocaml
struktured has joined #ocaml
boogie has quit [Remote host closed the connection]
demonimin_ has joined #ocaml
demonimin has quit [Ping timeout: 260 seconds]
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
arj has quit [Quit: Leaving.]
axiles has quit [Ping timeout: 256 seconds]
robink_ is now known as robink
Thooms has quit [Quit: WeeChat 1.0.1]
axiles has joined #ocaml
boogie has joined #ocaml
chambart has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
Yoric has quit [Remote host closed the connection]
nojb has quit [Quit: nojb]
Arsenik has joined #ocaml
rgrinberg has joined #ocaml
<companion_cube>
\o rgrinberg
malc_ has quit [Quit: leaving]
<rgrinberg>
:D
hugomg has quit [Ping timeout: 260 seconds]
<companion_cube>
so, I have no idea how to deal with depopts at a finer granularity than modules
<companion_cube>
excepted maybe with cppo
<adrien>
camlp4! \o/
* companion_cube
slaps adrien on the head
Yoric has joined #ocaml
manud___ has joined #ocaml
<rgrinberg>
companion_cube: i imagine a world where the containers get shipped like containers.sexp, containers.cconv, etc.
<Drup>
(cconv should be outside :>)
ggole has quit [Ping timeout: 255 seconds]
chambart has quit [Ping timeout: 256 seconds]
<companion_cube>
rgrinberg: right now there's containers.sexp!
<rgrinberg>
looks really sweet IMO but most of it cannot be copied to ocaml
chambart has joined #ocaml
<adrien>
die presentations, die!
<Drup>
rgrinberg: tbh, it's not really different to what eliom is doing
<Drup>
I mean, "describe a type with type level combinators" vs "describe a type through gadt" is not different in my mind
<Drup>
(eliom's implementation and design could be simplified significantly if you drop eliom's constraint of client/server stuff and simplify the server part, but that's independent)
<MercurialAlchemi>
hmm
<MercurialAlchemi>
how do you, say, inject credentials from a middleware with this design?
ingsoc has quit [Quit: Leaving.]
<rgrinberg>
MercurialAlchemi: are you talking about the haskell design?
<Drup>
MercurialAlchemi: somewhere else
<Drup>
in eliom, we do it with server-side sessions
<MercurialAlchemi>
rgrinberg: I was, yes
<rgrinberg>
MercurialAlchemi: i'm not an expert but i talked to the author of the framework
<rgrinberg>
i would say you'd create a cominator that reads a param from the header
<rgrinberg>
Drup: i'll definitely look into what eliom is doing wrt params/router/client generation
<rgrinberg>
perhaps it can even be reused after a little renovation
<Drup>
a little renovation certainly wouldn't hurt
<rgrinberg>
and if its adaptable to cohttp
<Drup>
rgrinberg: if you do a servant-like general implementation, maybe we could replace the current eliom_parameter
<rgrinberg>
Drup: the whole thing is so similar to command line argument parsing
<Drup>
yes and no
<rgrinberg>
e.g. cmdliner is basically formlets
<rgrinberg>
and core's command liner parser is basically typed formatting
<Drup>
I don't think you could do something reasonable that works for both
<Drup>
or it would not be general enough
<rgrinberg>
for command line + web app you mean?
<Drup>
yes
<rgrinberg>
yeah that's not my goal
<rgrinberg>
the only thing that's possibly reusable is the applicative notation
<Drup>
(I wanted to know how they handle custom type)
<rgrinberg>
still beats the avearage ocamldoc ;)
<Drup>
not really, no. At least in average ocamldoc, you have helpful type signatures
<rgrinberg>
modular implicits will fix that
<rgrinberg>
:D
<Drup>
x)
<Drup>
touché.
<Drup>
rgrinberg: one thing I disagree with is the :<|> in servant
Hannibal_Smith has quit [Quit: Leaving]
<adrien>
I'm wondering if the ocaml forge hasn't gotten another disk issue =/
<axiles>
interesting fact: if "f : int -> int -> int", then "ignore (f 1)" triggers a warning. However, "ignore @@ f 1" does not and neither does "f 1 |> ignore" (tested with 4.02.1)
MercurialAlchemi has quit [Ping timeout: 272 seconds]
tane has quit [Quit: Verlassend]
chambart has quit [Ping timeout: 264 seconds]
chambart has joined #ocaml
Khady_ is now known as Khady
Khady has quit [Changing host]
Khady has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
chambart has quit [Ping timeout: 265 seconds]
manud___ has quit [Quit: Be back later ...]
mcclurmc has joined #ocaml
kakadu has quit [Remote host closed the connection]
<companion_cube>
johnelse: I think irc-client should expose a higher-level API for received messages
<companion_cube>
at least for common events (privmsg, join, notices...)
Submarine has joined #ocaml
Submarine has joined #ocaml
ontologiae_ has quit [Ping timeout: 240 seconds]
mcc has joined #ocaml
rgrinberg1 has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]