adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.2 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
palomer has quit [Quit: palomer]
AlexRussia has quit [Ping timeout: 244 seconds]
palomer has joined #ocaml
swgillespie has joined #ocaml
swgillespie has left #ocaml ["Textual IRC Client: www.textualapp.com"]
fluter has quit [Ping timeout: 268 seconds]
AlexRussia has joined #ocaml
empyrean has joined #ocaml
empyrean has quit [Remote host closed the connection]
fluter has joined #ocaml
AlexRussia has quit [Ping timeout: 246 seconds]
deavid has quit [Ping timeout: 246 seconds]
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 264 seconds]
AlexRussia has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
palomer has quit [Quit: palomer]
toomuchtvrotsurb has joined #ocaml
tokenrove has quit [Quit: ZNC - http://znc.in]
c74d3a has quit [Read error: Connection reset by peer]
mearnsh has quit [Ping timeout: 250 seconds]
damason has quit [Quit: No Ping reply in 180 seconds.]
steshaw has quit [Ping timeout: 240 seconds]
mietek has quit [Ping timeout: 252 seconds]
reynir has quit [Ping timeout: 252 seconds]
darius93 has quit [Ping timeout: 252 seconds]
hbar has quit [Ping timeout: 240 seconds]
c74d3a has joined #ocaml
damason has joined #ocaml
steshaw has joined #ocaml
sspi has quit [Ping timeout: 240 seconds]
mearnsh has joined #ocaml
mietek has joined #ocaml
sspi has joined #ocaml
darius93 has joined #ocaml
tokenrove has joined #ocaml
tani has joined #ocaml
tane has quit [Ping timeout: 250 seconds]
reynir has joined #ocaml
hcarty has quit [Ping timeout: 240 seconds]
hcarty has joined #ocaml
palomer has joined #ocaml
deavid has joined #ocaml
AlexRussia has quit [Ping timeout: 252 seconds]
swgillespie has joined #ocaml
nullcatxxx_ has joined #ocaml
toomuchtvrotsurb has quit [Remote host closed the connection]
<nullcatxxx_> anyone knows why this happens? down to compiler internal i mean
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
manuel__ has joined #ocaml
manuel__ has quit [Client Quit]
swgillespie is now known as swgillespie[GT]
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 256 seconds]
ollehar1 is now known as ollehar
darkf has joined #ocaml
AlexRussia has joined #ocaml
AlexRussia has quit [Ping timeout: 256 seconds]
manuel__ has joined #ocaml
struk|desk has quit [Remote host closed the connection]
AlexRussia has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
tmtwd has joined #ocaml
rgrinberg has joined #ocaml
struk|desk has joined #ocaml
nullcatxxx_ has joined #ocaml
hbar has joined #ocaml
mac10688 has quit [Ping timeout: 246 seconds]
<manuel__> if there a way to make an output channel that writes to a string, so i can use fprintf, or do i have to use sprintf
ollehar has quit [Remote host closed the connection]
ollehar1 has joined #ocaml
ollehar1 is now known as ollehar
qdwang has joined #ocaml
AlexRussia has quit [Ping timeout: 240 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
psy_ has joined #ocaml
psy_ has quit [Remote host closed the connection]
tmtwd has quit [Remote host closed the connection]
psy_ has joined #ocaml
manuel__ has quit [Quit: manuel__]
qdwang has quit [Remote host closed the connection]
nullcatxxx_ has joined #ocaml
toomuchtvrotsurb has joined #ocaml
lopex has quit [Quit: Connection closed for inactivity]
AlexRussia has joined #ocaml
toomuchtvrotsurb has quit [Remote host closed the connection]
tnguyen has quit [Ping timeout: 246 seconds]
ollehar has quit [Remote host closed the connection]
toomuchtvrotsurb has joined #ocaml
palomer has quit [Quit: palomer]
palomer has joined #ocaml
ggole has joined #ocaml
toomuchtvrotsurb has quit [Remote host closed the connection]
toomuchtvrotsurb has joined #ocaml
deavid has quit [Ping timeout: 264 seconds]
toomuchtvrotsurb has quit [Remote host closed the connection]
deavid has joined #ocaml
<palomer> is it ok to do a hashtbl.replace within a function you pass to Hashtbl.iter
shinnya has quit [Ping timeout: 264 seconds]
tnguyen has joined #ocaml
<palomer> I’ve been wondering this question for years
<palomer> I need closure!
qrvpzvb has joined #ocaml
psy_ has quit [Read error: Connection reset by peer]
toomuchtvrotsurb has joined #ocaml
swgillespie[GT] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<ggole> palomer: you can remove or replace the current element, I think
toomuchtvrotsurb has quit [Remote host closed the connection]
palomer has quit [Quit: palomer]
MercurialAlchemi has joined #ocaml
palomer has joined #ocaml
<palomer> are you sure?
tmtwd has joined #ocaml
swgillespie has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<ggole> I've asked (essentially) the same question on this channel before and "yes" was the answer
swgillespie has joined #ocaml
tmtwd has quit [Ping timeout: 246 seconds]
tmtwd has joined #ocaml
mort___ has joined #ocaml
palomer has quit [Quit: palomer]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
tmtwd has quit [Ping timeout: 246 seconds]
mort___ has quit [Quit: Leaving.]
tani has quit [Quit: Verlassend]
qrvpzvb has quit [Ping timeout: 264 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
sh0t has joined #ocaml
antkong has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
madroach_ has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
ely-se has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
slash^ has joined #ocaml
Haudegen has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
toomuchtvrotsurb has joined #ocaml
<companion_cube> ggole: you can, but if you change a binding in a bucket not iterated on yet, you will iterate on the new value
<companion_cube> if you change bindings already iterated on, or in the same bucket as the current key, it's ok
gdd229 has joined #ocaml
sasfaras has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
ely-se has quit [Quit: Leaving]
rgrinberg has joined #ocaml
gdd229 has quit [Quit: WeeChat 0.4.2]
ely-se has joined #ocaml
rgrinberg has quit [Ping timeout: 272 seconds]
qrvpzvb has joined #ocaml
MercurialAlchemi has joined #ocaml
orbifx has joined #ocaml
sepp2k has joined #ocaml
ely-se has quit [Quit: Leaving]
SomeDamnBody has quit [Ping timeout: 252 seconds]
ely-se has joined #ocaml
Kakadu has joined #ocaml
<orbifx> which library do you recommend for parsing arguments?
<orbifx> getopts seems good
darkf has quit [Ping timeout: 246 seconds]
<companion_cube> for basic things, Arg is fine
<orbifx> companion_cube: that's what I'm coming to realise too.
<orbifx> bbc: I'll have a look.
<ely-se> that's taking arguments, not passing them :P
<orbifx> ely-se: "parsing"
<ely-se> oooooh
<orbifx> bbc: cmdliner seems popular
<bbc> I find it practical even for small applications but as companion_cube suggested, it is certainly not necessary for basic ones
<orbifx> yeah it seems a bit more perplex
<orbifx> is there an exaple showing how you can just get a couple of values in a couple of lines?
<orbifx> I found one for ARG
<orbifx> Arg
rgrinberg has joined #ocaml
<bbc> there are a few examples in the doc http://erratique.ch/software/cmdliner/doc/Cmdliner#examples
<bbc> I've used it to just parse one mandatory argument and it looks like https://github.com/bbc2/mini-android/blob/master/analyze.ml#L19
<orbifx> correct me if I'm wrong, Arg seems to require mutable values. Does Cmdliner need them too?
rgrinberg has quit [Ping timeout: 272 seconds]
<bbc> I don't know much about Arg but I think it's safe to say Cmdliner is more declarative
<orbifx> right
sasfaras has quit [Ping timeout: 264 seconds]
Kakadu has quit [Remote host closed the connection]
<orbifx> is there something like hoogle for ocaml?
<orbifx> to look up functions and definitions?
sasfaras has joined #ocaml
rand__ has joined #ocaml
<bbc> I didn't know about hoogle. I've heard of https://bitbucket.org/camlspotter/ocamlspot
<orbifx> nice
<orbifx> bbc: the notation Arg.(value...)
<orbifx> is it an index of an array?
<bbc> no, Arg is a module here (capitalized A)
deavid has quit [Ping timeout: 250 seconds]
BitPuffin|osx has quit [Ping timeout: 255 seconds]
<bbc> it's as if the module was opened between the parentheses, allowing you not to prefix "value" and other stuff you use from this module
<orbifx> is this some Cmdliner hacker or standard Ocaml?
<bbc> it's standard
<orbifx> cool thanks
deavid has joined #ocaml
empyrean has joined #ocaml
empyrean has quit [Client Quit]
antkong has quit [Quit: antkong]
<orbifx> thanks for the help bbc
<orbifx> cya later all
orbifx has quit [Quit: WeeChat 1.3]
toomuchtvrotsurb has quit [Remote host closed the connection]
sasfaras has quit [Quit: Lost terminal]
octachron has joined #ocaml
huza has joined #ocaml
sternenseemann has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
darkf has joined #ocaml
sz0 has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 256 seconds]
lobo has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
darkf_ is now known as darkf
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
scriptdevil has joined #ocaml
scriptdevil has quit [Read error: Connection reset by peer]
huza has quit [Quit: WeeChat 0.3.8]
slash^ has quit [Read error: Connection reset by peer]
lopex has joined #ocaml
enamex_c has joined #ocaml
<enamex_c> Has there been any attempts at putting active-pattern-like functionality (from fsharp) in Ocaml or SML? (via a library even; or maybe a custom implementation for SML; I just can't find anything about it being discussed and think "active pattern" might not be the word usually used for it)
<dmbaturin> What exactly is an active pattern? Could you point me to the relevant F# docs section?
<companion_cube> I think it's patterns (as in pattern matching) that can be manipulated like values
<companion_cube> and composed
<enamex_c> It's basically custom patterns
<enamex_c> You write it like you would a function (different syntax but it feels the same "input -> transformation -> output") so you could deconstruct custom datatypes based on a custom pattern
<enamex_c> For example, an "Even" custom pattern would only match even integers and maybe can be used as "Even n" where "n" is declared as normal in native patterns
qdwang has joined #ocaml
<qdwang> is real world ocaml the best learning book for ocaml?
<Drup> companion_cube: it's not really a pattern
ASau has joined #ocaml
<Drup> It's a function of type 'a -> 'b option
<Drup> if Some x is returns, it "matches"
<Drup> returned*
<Drup> I don't think it will ever appear in OCaml, for two reasons: 1) you can't check exhaustivity with that anymore 2) the perf profile is not the same than regular patterns at all
<dmbaturin> I'm not sure if it really more expressive or handy than normal patterns and functions.
<Drup> I think something interesting would be a small extension to piggy back pattern matching syntax, given a scott encoding version of said pattern
<enamex_c> It's infinitely more expressive than normal patterns because normal patterns are confined to structure of the type while active patterns can deconstruct the object however way.
<enamex_c> I'm not sure how F# handles exhaustivity checks...
<Drup> enamex_c: last time I heard about those thing, it didn't
<enamex_c> But it seems that active patterns declared together when used enforce a check in that match block. Going to go check, tho
<ASau> For start, "infinitely more expressive" is nonsensical expression.
<ASau> I'd like to see formal definition that doesn't come from microsoft documentation.
<Drup> there was this at some point
<ASau> I'd like to see demonstration how "active pattern" is different from parser.
deavid has quit [Ping timeout: 272 seconds]
qdwang has quit [Remote host closed the connection]
<ggole> Pattern synonyms are a bit different to active patterns, aren't they?
<enamex_c> Hmm, so "parser" isn't something I came across while playing with SML, as a feature. And it's been mentioned on #sml too. What's that?
<ggole> They're more of a straight up abstraction (in the LC sense)
<Drup> ggole: yes
<enamex_c> ASau: They're as expressive as a function is. Domain of all types and range of all types, with any arbitrary transformation allowed in-between. While native patterns only support one form: match on case+fields for tagged unions and match on fields for structs.
deavid has joined #ocaml
<ASau> enamex_c: how are they different to parsers then?
<enamex_c> I really don't know what that is!
<enamex_c> A library or something?
<ASau> If you don't know what parser is, then you don't need to aks questions about buzzwords from microsoft.
<ASau> Really.
<Drup> ASau: what about being helpful instead of condescending ? Is just answering the question that difficult ?
<enamex_c> ... I know active patterns in F#. They work and aren't buzzwords. I haven't come across a "parser" feature in SML/Ocaml, so...
<ASau> Parser is generic feature across all programming languages.
<ASau> Generic construction.
<Drup> ASau: except you made it seems like it was a specific language construct, not just a parser ...
<ASau> enamex_c: Is the term "active pattern" used anywhere besides F#?
<ASau> Drup: I'm trying to understand what exactly the term denotes.
<enamex_c> Not that I'm aware of. They're very very similar to Haskell's view patterns, though
<ASau> So far, my best understanding is this:
<ASau> "active pattern" is microsoft buzzword,
<Drup> it's a feature of a language u_u'
<ASau> it denotes something like parser.
<ASau> Perhaps just parser and nothing more.
<dmbaturin> enamex_c: If you are looking for existing features you can use to avoid predefined sum types and introduce additional checks, you may want to look into polymorphic variants and guarded patterns.
<ASau> As such, the construction is more or less a well-known Lisp "cond".
<Drup> Ok, you seem like a troll, so I'll just be ignoring you.
<dmbaturin> Otherwise I'll refrain from comments specifically on pattern synonyms until I figure out the details of semantics Scherer proposes. :)
<Drup> enamex_c: to be honest, active patterns seems like a bit of sugar for scott encoding :p
<enamex_c> Well, something to search for at least ;)
<enamex_c> dmbaturin: No guarded patterns in SML yet and that's what I'm learning :/ They're also in F#, which is so much closer to Ocaml in some ways, so I'm not picking up Ocaml for now.
rgrinberg has joined #ocaml
<dmbaturin> enamex_c: Note that F# dropped one of the most important features present in both SML and OCaml: its module system. And OCaml object system as well.
<Drup> enamex_c: it's no surprise that F# is closer to OCaml, since it started as a derivative of OCaml
<Drup> (it evolved quite a bit since :p)
rgrinberg has quit [Ping timeout: 244 seconds]
<enamex_c> dmbaturin: It's actually "view patterns" not "pattern synonyms"; just to make sure I didn't introduce a soup of terms here ;)
<Drup> enamex_c: is talking about the article I linked earlier
<Drup> +he
<enamex_c> I can't copy the direct link but there should be a pdf link to a paper on 1st/2nd on this page: https://www.google.com/search?q=active+patterns+paper+pdf
<enamex_c> It's quite readible and doesn't assume much besides knowing how a traditional functional lang does things.
Haudegen has quit [Ping timeout: 240 seconds]
<dmbaturin> enamex_c: It's customary to specify at least the title and the author. Ideally, the year or publication and the journal/book/proceedings where it was published. How else can I know we are talking about the same paper? ;)
<enamex_c> Oops
<enamex_c> Syme, Don, Gregory Neverov, and James Margetson. "Extensible pattern matching via a lightweight language extension." ACM SIGPLAN Notices. Vol. 42. No. 9. ACM, 2007.
<enamex_c> Uh, sorry, got to dash. Should be back online in 2 hours and might pop back in. Cya!
tane has joined #ocaml
enamex_c has quit [Quit: Page closed]
<ASau> I've skimmed through that paper. It confirms my impression that "active pattern" is just something like a parser.
Haudegen has joined #ocaml
<ASau> (With the whole construct being just a combination of Lisp "cond" with "destructuring-bind", nothing utilizing properties of algebraic sums.)
ASau has left #ocaml ["ERC (IRC client for Emacs 24.5.1)"]
SomeDamnBody has joined #ocaml
HoloIRCUser5 has joined #ocaml
<dmbaturin> I like how the most common justification in that paper is "because .Net objects". ;)
octachron has quit [Quit: Leaving]
sh0t has quit [Ping timeout: 246 seconds]
<dmbaturin> I should read about the view patterns and see if it's the same thing though.
shinnya has joined #ocaml
HoloIRCUser5 has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
empyrean has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
stormogulen has joined #ocaml
empyrean has quit [Remote host closed the connection]
martintrojer has joined #ocaml
scriptdevil has joined #ocaml
ely-se has quit [Quit: Leaving]
stormogulen has quit [Ping timeout: 246 seconds]
sepp2k has quit [Ping timeout: 240 seconds]
ely-se has joined #ocaml
steely has joined #ocaml
stormogulen has joined #ocaml
steely has left #ocaml [#ocaml]
dsheets has joined #ocaml
sepp2k has joined #ocaml
blik71 has joined #ocaml
JuggleTux has joined #ocaml
joncfoo has joined #ocaml
rand__ has quit [Quit: Lost terminal]
nullcatxxx_ has joined #ocaml
rgrinberg has joined #ocaml
Lis has joined #ocaml
malc has joined #ocaml
malc has quit [Client Quit]
nullcatxxx_ has quit [Ping timeout: 240 seconds]
nullcatxxx_ has joined #ocaml
dsheets has quit [Ping timeout: 246 seconds]
dsheets has joined #ocaml
lobo has quit [Quit: leaving]
stormogulen has quit [Ping timeout: 244 seconds]
sh0t has joined #ocaml
toomuchtvrotsurb has joined #ocaml
enamex_ has joined #ocaml
dsheets has quit [Ping timeout: 246 seconds]
BitPuffin|osx has joined #ocaml
enamex_ is now known as enamex
nullcatx_ has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 265 seconds]
qdwang has joined #ocaml
BitPuffin|osx has quit [Remote host closed the connection]
BitPuffin|osx has joined #ocaml
qdwang has quit [Remote host closed the connection]
echo-area has quit [Ping timeout: 244 seconds]
deavid has quit [Ping timeout: 246 seconds]
dsheets has joined #ocaml
deavid has joined #ocaml
lobo has joined #ocaml
stormogulen has joined #ocaml
<nullcatx_> how to pin a local package on a certain branch in opam?
<nullcatx_> ah nvm
sepp2k has quit [Quit: Leaving.]
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 246 seconds]
empyrean has joined #ocaml
enamex_ has joined #ocaml
enamex has quit [Ping timeout: 265 seconds]
swgillespie has joined #ocaml
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
blik71 has quit [Ping timeout: 265 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
darkf_ has quit [Quit: Leaving]
empyrean has quit [Remote host closed the connection]
antkong has joined #ocaml
govg has joined #ocaml
govg has quit [Client Quit]
swgillespie has joined #ocaml
govg has joined #ocaml
JuggleTux has quit [Ping timeout: 256 seconds]
larhat has quit [Quit: Leaving.]
sh0t has quit [Quit: Leaving]
larhat has joined #ocaml
blik71 has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
Haudegen has quit [Ping timeout: 250 seconds]
Kakadu has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
enamex has joined #ocaml
Haudegen has joined #ocaml
enamex_ has quit [Ping timeout: 246 seconds]
enamex_ has joined #ocaml
enamex has quit [Ping timeout: 246 seconds]
sh0t has joined #ocaml
swgillespie has joined #ocaml
antkong has quit [Quit: antkong]
stormogulen has quit [Ping timeout: 246 seconds]
blik71 has quit [Ping timeout: 255 seconds]
swgillespie is now known as swgillespie[GT]
stormogulen has joined #ocaml
acieroid` has joined #ocaml
bholst_ has joined #ocaml
struk|desk2 has joined #ocaml
hcarty_ has joined #ocaml
smondet_ has joined #ocaml
adrien_ has joined #ocaml
_2can_ has joined #ocaml
profan has joined #ocaml
cow-orke1 has joined #ocaml
sheijk_ has joined #ocaml
mrvn_ has joined #ocaml
mattrepl_ has joined #ocaml
habs1 has joined #ocaml
bholst has quit [Ping timeout: 260 seconds]
adrien_znc has quit [Ping timeout: 260 seconds]
stux|RC3 has quit [Ping timeout: 260 seconds]
mattrepl has quit [Ping timeout: 260 seconds]
struk|desk has quit [Ping timeout: 260 seconds]
profan_ has quit [Ping timeout: 260 seconds]
cdidd has quit [Ping timeout: 260 seconds]
_2can has quit [Ping timeout: 260 seconds]
tani has joined #ocaml
thorsten` has quit [Ping timeout: 260 seconds]
smondet has quit [Ping timeout: 260 seconds]
low-profile has quit [Ping timeout: 260 seconds]
sheijk has quit [Ping timeout: 260 seconds]
mrvn has quit [Ping timeout: 260 seconds]
mattrepl_ is now known as mattrepl
cdidd has joined #ocaml
thorsten1 has joined #ocaml
stux|RC-only has joined #ocaml
low-prof1 has joined #ocaml
adrien_znc has joined #ocaml
LnL_ has joined #ocaml
_2can_ is now known as _2can
habs has quit [Ping timeout: 240 seconds]
acieroid has quit [Ping timeout: 240 seconds]
hcarty has quit [Ping timeout: 240 seconds]
tane has quit [Ping timeout: 240 seconds]
Johann has quit [Ping timeout: 240 seconds]
LnL has quit [Ping timeout: 240 seconds]
cow-orker has quit [Ping timeout: 240 seconds]
thizanne has quit [Ping timeout: 240 seconds]
LnL_ is now known as LnL
Johann has joined #ocaml
thizanne has joined #ocaml
ggole has quit []
thorsten1 has quit [Quit: WeeChat 1.4-dev]
qrvpzvb has quit [Ping timeout: 256 seconds]
thorsten` has joined #ocaml
enamex has joined #ocaml
enamex_ has quit [Ping timeout: 246 seconds]
scriptdevil has quit [Remote host closed the connection]
scriptdevil has joined #ocaml
sh0t has quit [Quit: Leaving]
JC has joined #ocaml
JC has quit [Client Quit]
SomeDamnBody has quit [Ping timeout: 272 seconds]
enamex has quit [Ping timeout: 265 seconds]
deavid has quit [Ping timeout: 246 seconds]
enamex has joined #ocaml
manuel__ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
adrien_ is now known as adrien
larhat has quit [Quit: Leaving.]
<manuel__> i've got a menhir question, the manual says that on error state, the current lookahead is discarded and replaced with tthe error token
<manuel__> why is it discarded, this makes my life very difficult
<manuel__> for example imagine you have a c like language, with the string a[123+;b+i
<manuel__> menhir will replace ";" with error, it being the lookahead that leads to an error
<manuel__> and because of that i can't really resume from the next ;, because it's not there anymore
<manuel__> it mentions that this behaviour might be desirable in the manual, but i don't understand why you would want the behaviour menhir exhibits
jonludlam has joined #ocaml
empyrean has joined #ocaml
toomuchtvrotsurb has quit [Remote host closed the connection]
nullcatx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
stormogulen has quit [Ping timeout: 265 seconds]
SomeDamnBody has joined #ocaml
larhat has joined #ocaml
larhat has quit [Remote host closed the connection]
tnguyen has quit [Quit: tnguyen]
lobo has quit [Quit: leaving]
swgillespie[GT] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
nullcatxxx_ has joined #ocaml
nullcatx_ has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 268 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
dsheets has quit [Ping timeout: 240 seconds]
mrvn_ is now known as mrvn
dsheets has joined #ocaml
scriptdevil has quit [Ping timeout: 240 seconds]
scriptdevil has joined #ocaml
enamex_ has joined #ocaml
enamex has quit [Ping timeout: 265 seconds]
deavid has joined #ocaml
shinnya has joined #ocaml
tmtwd has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
shinnya has quit [Ping timeout: 250 seconds]
scriptdevil has quit [Remote host closed the connection]
tani has quit [Quit: Verlassend]
toomuchtvrotsurb has joined #ocaml
ely-se has quit [Quit: Leaving]
^elyse^ has joined #ocaml
^elyse^ has quit [Client Quit]
rgrinberg has joined #ocaml
manuel__ has quit [Quit: manuel__]
antkong_ has joined #ocaml
nullcatx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
enamex_ has quit [Ping timeout: 244 seconds]
Kakadu has quit [Remote host closed the connection]
jonludlam has quit [Ping timeout: 272 seconds]
deavid has quit [Ping timeout: 250 seconds]
SomeDamnBody has quit [Ping timeout: 250 seconds]
nullcatxxx_ has joined #ocaml
nullcatx_ has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 272 seconds]
mac10688 has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
toomuchtvrotsurb has quit [Remote host closed the connection]
deavid has joined #ocaml
tmtwd has quit [Ping timeout: 256 seconds]
manuel__ has joined #ocaml
nullcatx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
deavid has quit [Ping timeout: 265 seconds]
dsheets has quit [Ping timeout: 240 seconds]
madroach_ has quit [Ping timeout: 264 seconds]
dsheets has joined #ocaml
madroach has joined #ocaml
antkong_ has quit [Ping timeout: 255 seconds]
antkong has joined #ocaml
echo-area has joined #ocaml
struk|desk2 has quit [Remote host closed the connection]
nullcatxxx_ has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 250 seconds]