M-Illandan has quit [Remote host closed the connection]
barkmadley[m] has quit [Remote host closed the connection]
regnat[m] has quit [Read error: Connection reset by peer]
M-jimt has quit [Remote host closed the connection]
M-pesterhazy has quit [Remote host closed the connection]
Bluddy[m] has quit [Remote host closed the connection]
M-martinklepsch has quit [Remote host closed the connection]
Kakadu2[m] has quit [Remote host closed the connection]
M-ErkkiSeppl has quit [Read error: Connection reset by peer]
ontologiae has quit [Ping timeout: 272 seconds]
k1000 has quit [Ping timeout: 272 seconds]
k1000 has joined #ocaml
nicholasf has joined #ocaml
Kakadu2[m] has joined #ocaml
thizanne has quit [Ping timeout: 276 seconds]
regnat[m] has joined #ocaml
M-martinklepsch has joined #ocaml
M-jimt has joined #ocaml
Bluddy[m] has joined #ocaml
M-ErkkiSeppl has joined #ocaml
barkmadley[m] has joined #ocaml
M-pesterhazy has joined #ocaml
M-Illandan has joined #ocaml
SomeDamnBody has joined #ocaml
Denommus has joined #ocaml
<Denommus>
guys
<Denommus>
how is your .merlin file for eliom-distillery projects?
<Denommus>
(using ppx)
nalgeneus has quit [Ping timeout: 276 seconds]
SomeDamnBody has quit [Ping timeout: 240 seconds]
nalgeneus has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
SomeDamnBody has joined #ocaml
<SomeDamnBody>
Denommus: ?
unbalancedparen has quit [Quit: WeeChat 1.5]
<Denommus>
SomeDamnBody: well, an eliom-distillery project might use ppx or camlp4
<Denommus>
SomeDamnBody: I want to know how to configure merlin for such a project using ppx
nalgeneus has quit [Ping timeout: 276 seconds]
<SomeDamnBody>
eliom distillery?
<SomeDamnBody>
have heard fo either
<SomeDamnBody>
of*
<Denommus>
SomeDamnBody: do you know about eliom?
<SomeDamnBody>
yeah I'm pretty sure that it's a web framework in ocaml
<Denommus>
SomeDamnBody: eliom-distillery is just a project "creator". It has some templates for common eliom projects and creates the directory structure for them
<Denommus>
SomeDamnBody: something like JavaScript's yeoman, though with a lot less templates
SomeDamnBody has quit [Remote host closed the connection]
nalgeneus has joined #ocaml
Denommus has quit [Quit: going to sleep]
kushal has joined #ocaml
nicholas_ has joined #ocaml
nicholasf has quit [Ping timeout: 276 seconds]
darkf has joined #ocaml
nicholasf has joined #ocaml
nicholas_ has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
tmtwd has joined #ocaml
sh0t has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
mattrepl has quit [Quit: mattrepl]
mattrepl has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
AlexDenisov has joined #ocaml
mattrepl has quit [Ping timeout: 264 seconds]
vgrocha has quit [Ping timeout: 250 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
Orion3k has quit [Ping timeout: 240 seconds]
pyon has quit [Quit: So... schemas or schemata?]
pyon has joined #ocaml
Orion3k has joined #ocaml
<Algebr`>
how do I do multiple explicit polymorphic type annotations
<Algebr`>
ie the type parameters in : method foo : 'a. string -> 'a
<Algebr`>
I want like: method foo : 'a. 'b. string -> ('a -> 'b) -> unit
<flux>
'a 'b. string -> ('a -> 'b) -> unit
<Algebr`>
ahhh
pierpa has quit [Ping timeout: 272 seconds]
kushal has quit [Quit: Leaving]
shinnya has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Algebr` has quit [Ping timeout: 250 seconds]
Simn has joined #ocaml
tmtwd has quit [Ping timeout: 264 seconds]
shinnya has quit [Ping timeout: 276 seconds]
nicholas_ has joined #ocaml
kushal has joined #ocaml
nicholasf has quit [Ping timeout: 244 seconds]
AlexDenisov has joined #ocaml
nicholas_ has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
freusque has joined #ocaml
tmtwd has joined #ocaml
A1977494 has joined #ocaml
AlexDenisov has quit [Max SendQ exceeded]
AlexDenisov has joined #ocaml
govg has quit [Ping timeout: 258 seconds]
pyon has quit [Quit: MyonMyonMyon...!]
govg has joined #ocaml
dexterph has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
<sspi>
is it possible to split a token into multiple tokens in the lexer? (I want to split >< into > and <)
tmtwd has quit [Ping timeout: 240 seconds]
nicholasf has joined #ocaml
nicholasf has quit [Remote host closed the connection]
Mercuria1Alchemi has joined #ocaml
ontologiae has joined #ocaml
ggole has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
AltGr has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
kushal has quit [Quit: Leaving]
tmtwd has joined #ocaml
<lyxia>
don't parse >< as a token then?
<companion_cube>
if it's in OCaml lexer, no chance
ontologiae has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
kushal has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 244 seconds]
mcc has quit [Quit: Connection closed for inactivity]
ontologiae has quit [Ping timeout: 258 seconds]
tmtwd has quit [Ping timeout: 260 seconds]
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 250 seconds]
yomimono has joined #ocaml
nicholasf has joined #ocaml
kushal has quit [Quit: Leaving]
kushal has joined #ocaml
sdothum has joined #ocaml
<flux>
hmm, "If several regular expressions match a prefix of the input, the “longest match” rule applies: the regular expression that matches the longest prefix of the input is selected. In case of tie, the regular expression that occurs earlier in the rule is selected."
<flux>
oh, never mind, I reread the question
<flux>
and now I don't understand it :)
jwatzman|work has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Algebr` has joined #ocaml
shinnya has joined #ocaml
ontologiae has joined #ocaml
Algebr` has quit [Ping timeout: 250 seconds]
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
ontologiae has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
dave24 has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jonasen has joined #ocaml
malc_ has joined #ocaml
nicholasf has quit [Remote host closed the connection]
keteim has left #ocaml ["NO CARRIER"]
keteim has joined #ocaml
rgrinberg has joined #ocaml
mcspud has quit [Ping timeout: 250 seconds]
silver has joined #ocaml
mcspud has joined #ocaml
jbrown has quit [Quit: Leaving]
jbrown has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<hannes>
is there a workaround to make ocaml-4.02 and 4.01 (and 4.03) happy in myocamlbuild? I get "Error: Unbound value mark_tag_used" from 4.01, it looks like it used to be in Ocamlbuild_pack.Flags.mark_tag_used (now Ocamlbuild_plugin.mark_tag_used)..
jbrown has quit [Remote host closed the connection]
jbrown has joined #ocaml
nicholasf has joined #ocaml
nicholasf has quit [Remote host closed the connection]
vgrocha has joined #ocaml
nicholasf has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
freehck has joined #ocaml
jbrown has quit [Remote host closed the connection]
ontologiae has joined #ocaml
jbrown has joined #ocaml
ontologiae has quit [Ping timeout: 258 seconds]
unbalancedparen has joined #ocaml
sh0t has joined #ocaml
al-damiri has joined #ocaml
MercurialAlchemi has joined #ocaml
tane has joined #ocaml
nalgeneus has quit [Quit: nalgeneus]
dakk has joined #ocaml
silver has quit [Read error: Connection reset by peer]
Algebr` has joined #ocaml
pyon has joined #ocaml
yomimono has quit [Quit: Leaving]
agarwal1975 has joined #ocaml
kegan_ has joined #ocaml
<mrvn>
Do we want a gateway between IRC and Matrix?
Algebr` has quit [Ping timeout: 250 seconds]
sh0t has quit [Remote host closed the connection]
nicholasf has quit [Remote host closed the connection]
sh0t has joined #ocaml
kegan_ has left #ocaml ["Leaving"]
AlexDenisov has quit [Read error: Connection reset by peer]
AlexDenisov has joined #ocaml
copy` has joined #ocaml
bruno_ has joined #ocaml
mattrepl has joined #ocaml
freusque has quit [Ping timeout: 272 seconds]
kdas__ has joined #ocaml
Algebr` has joined #ocaml
kushal has quit [Ping timeout: 252 seconds]
kdas__ is now known as kushal
pyon has quit [Quit: fix config]
kushal has quit [Changing host]
kushal has joined #ocaml
pyon has joined #ocaml
freusque has joined #ocaml
kushal has quit [Ping timeout: 252 seconds]
<Leonidas>
mrvn: there is a matrix channel on ocaml?
dhil has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
dakk has quit [Ping timeout: 264 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
A1977494 has quit [Quit: Leaving.]
freusque has quit [Quit: WeeChat 1.4]
kushal has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Read error: Connection reset by peer]
Algebr` has quit [Ping timeout: 240 seconds]
AlexDenisov has joined #ocaml
MercurialAlchemi has joined #ocaml
AlexDenisov has quit [Client Quit]
NhanH has quit [Ping timeout: 272 seconds]
Algebr` has joined #ocaml
NhanH has joined #ocaml
slash^ has joined #ocaml
malc_` has joined #ocaml
malc_ has quit [Ping timeout: 264 seconds]
dexterph has quit [Ping timeout: 244 seconds]
AltGr has left #ocaml [#ocaml]
jwatzman|work has quit [Quit: jwatzman|work]
rlr has quit [Ping timeout: 264 seconds]
rlr has joined #ocaml
<Algebr`>
hmm, why doesn't method! work with inherited class types
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
dexterph has joined #ocaml
ontologiae has joined #ocaml
slash_ has joined #ocaml
yminsky has quit [Ping timeout: 272 seconds]
myst|fon has quit [Ping timeout: 272 seconds]
jcloud has quit [Ping timeout: 272 seconds]
Stephe has quit [Ping timeout: 272 seconds]
yunxing has quit [Ping timeout: 272 seconds]
oldmanistan_ has quit [Ping timeout: 272 seconds]
RomanZ5 has joined #ocaml
<infinity0>
oh man they changed the way you add sexplib.syntax to oasis :(
mrallen1 has quit [Ping timeout: 272 seconds]
rpip has quit [Ping timeout: 272 seconds]
<infinity0>
does anyone know what i should update it to
al-damiri has quit [Ping timeout: 272 seconds]
vinoski has quit [Ping timeout: 272 seconds]
Rome has quit [Ping timeout: 272 seconds]
msch has quit [Ping timeout: 272 seconds]
clockish has quit [Ping timeout: 272 seconds]
jonasen has quit [Read error: Connection reset by peer]
slash^ has quit [Ping timeout: 272 seconds]
mehdib has quit [Ping timeout: 272 seconds]
sigjuice has quit [Ping timeout: 272 seconds]
rbocquet has quit [Ping timeout: 272 seconds]
l1x has quit [Ping timeout: 272 seconds]
bronsen has quit [Ping timeout: 272 seconds]
averell has quit [Ping timeout: 272 seconds]
jonasen has joined #ocaml
mehdib has joined #ocaml
Algebr` has quit [Read error: Network is unreachable]
Algebr`` has joined #ocaml
<Algebr``>
is it sexplib.ppx now?
M-jimt has quit [Ping timeout: 260 seconds]
Stephe has joined #ocaml
M-pesterhazy has quit [Ping timeout: 276 seconds]
vinoski has joined #ocaml
l1x has joined #ocaml
Bluddy[m] has quit [Ping timeout: 260 seconds]
Kakadu has joined #ocaml
mrallen1 has joined #ocaml
clockish has joined #ocaml
oldmanistan_ has joined #ocaml
sigjuice has joined #ocaml
msch has joined #ocaml
M-jimt has joined #ocaml
Kakadu has quit [Client Quit]
M-pesterhazy has joined #ocaml
Kakadu has joined #ocaml
jcloud has joined #ocaml
Kakadu has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
rpip has joined #ocaml
Bluddy[m] has joined #ocaml
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Kakadu has quit [Client Quit]
Kakadu has joined #ocaml
<infinity0>
oh ok, you add ppx_sexp_conv to BuildDepends: then use "[@@deriving sexp]" instead of "with sexp"
yminsky has joined #ocaml
yunxing has joined #ocaml
rbocquet has joined #ocaml
myst|fon has joined #ocaml
al-damiri has joined #ocaml
Algebr`` has quit [Read error: Connection reset by peer]
alpen has quit [Ping timeout: 250 seconds]
Algebr`` has joined #ocaml
alpen has joined #ocaml
<Algebr``>
merlin has been becomeing more buggy lately
<Algebr``>
the type inference for js_of_ocaml's ppx is crappy out often and class inference isn't that's great anymore.
<Algebr``>
need to find verifiable test case
<infinity0>
so what i said doesn't work, this compiles without error and seems to be a no-op:
<infinity0>
exception Found_cycle of v list [@@deriving sexplolwtfbbq]
TheAuGingembre has joined #ocaml
dave24 has quit [Quit: leaving]
<Algebr``>
I would have thought it would be something just BuildDepends: sexplib.ppx
<infinity0>
that doesn't seem to exist as an ocamlfind library
<infinity0>
do you know which opam package that's in
<Algebr``>
no, unfortunately I've never used the sexp stuff
Kakadu has quit []
Kakadu has joined #ocaml
Kakadu has quit [Client Quit]
Kakadu has joined #ocaml
dhil has quit [Quit: Quit]
Denommus has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
<infinity0>
hmm, seems like what i did was actually fine, if i do it for ordinary types (and "deriving omgwtf" does give an error)
<infinity0>
but doing it for exceptions, doesn't work for some reason
<Algebr``>
I don't understand issues related to this error: The universal variable 'a would escape its scope
<Algebr``>
How do you get around this
<ggole>
Get rid of the variable in some way, often by 'hiding' it in an existential
<Algebr``>
what does existential in this context mean concertely
malc_`` has joined #ocaml
<Algebr``>
and apparently methods are able to get around this somehow?
<ggole>
Methods (and record fields) can be annotated to be polymorphic
<ggole>
That can help in some circumstances
malc_` has quit [Ping timeout: 240 seconds]
<ggole>
As for existentials, GADTs let you express them
<ggole>
eg, the 'a in type t = Foo : 'a t * 'a -> t is an existential
shinnya has quit [Ping timeout: 258 seconds]
dexterph has quit [Ping timeout: 250 seconds]
mattrepl has quit [Quit: mattrepl]
hongbo has joined #ocaml
<Algebr``>
Drup: feature request for ocp-browser
silver has joined #ocaml
kdas__ is now known as kushal
kushal has quit [Changing host]
kushal has joined #ocaml
AlexRussia has joined #ocaml
<Drup>
Algebr``: with great pleasure, please post on the bug tracker :3
<Algebr``>
Okay wow! never saw this error before: This simple coercion was not fully general. Consider using a double coercion.
<Algebr``>
Drup: thanks, post on ocp-index right
<Drup>
(note that neither me nor altgr work actively on ocp-index/browser, but I will happily help/review submited patches)
AlexDenisov has joined #ocaml
slash_ has quit [Read error: Connection reset by peer]
<Denommus>
Algebr``: Drup: what is the difference between merlin and ocp-index?
<Algebr``>
I only use ocp-browser out of it
<companion_cube>
like most people, I'd say
pierpa has quit [Read error: Connection reset by peer]
pierpa has joined #ocaml
<Denommus>
ocp-browser introduces jump-to-definition and jump-to-declaration?
<companion_cube>
merlin has jump to definition, that is for sure
<Denommus>
oh
<Denommus>
it's just for the command-line tool, then?
<companion_cube>
I don't know
aantron has joined #ocaml
aantron has quit [Client Quit]
tautologico has joined #ocaml
<hongbo>
how does ppx_deriving.show handle cyclic value?
<flux>
hongbo, wouldn't recursion just work(tm)?
<flux>
of course, not if the value is infinite
<hongbo>
something like this `let rec xs = 1 :: xs`
<flux>
in that case I'm certain it will fail
nicholasf has joined #ocaml
<flux>
in particular as 1::xs itself is a hackish extension of no real use..
Mercuria1Alchemi has joined #ocaml
dexterph has joined #ocaml
<copy`>
Well, it could detect circular values, or is that not possible in OCaml?
<companion_cube>
this is hard to do efficiently
<mrvn>
that would require keeping a set of all values and physical equality
<companion_cube>
^
<hongbo>
how does toplevel do this?
<mrvn>
it just stops after a while
<mrvn>
try the above `let rec xs = 1 :: xs`
<hongbo>
# let rec x = 1 :: x;;
<hongbo>
val x : int list = [1; <cycle>]
<hongbo>
# x;;
<hongbo>
- : int list = [1; <cycle>]
<hongbo>
# 1::x;;
<hongbo>
- : int list = [1; 1; <cycle>]
<mrvn>
hmm, that is new.
stormogulen has joined #ocaml
<mrvn>
utop?
<companion_cube>
the toplevel can do some specific magic, I guess
<hongbo>
no, vanilla ocaml
<mrvn>
The marshaling module always had cycle detection
Mercuria1Alchemi has quit [Ping timeout: 276 seconds]
<companion_cube>
e.g. if you don't allocate, you can hash pointers to make the set of traversed values efficient
<companion_cube>
(if you allocate it doesn't work becaues values can be moved by the GC)
<mrvn>
still O(n log n)
<mrvn>
I don't see hashed pointers as being faster than just pointers
<hongbo>
cycle detection is quite useful, I don't think toplevel printer is relevant to marshalling
<companion_cube>
mrvn: well to check for cycles you can check in a hashtable
<companion_cube>
instead of checking in a list
<mrvn>
wait, you have to resort the set after every GC run
<companion_cube>
and you only do it when traversing for printing
dexterph has quit [Ping timeout: 276 seconds]
<companion_cube>
(although I wonder, to print you might call user-defined printers that allocate)
<mrvn>
companion_cube: needs to be functional so you extend and reduce it in the recursion
<companion_cube>
no, you can backtrack it
<hongbo>
another question: I saw so many ppxes floating around, does any one try to do something like this: generate some runtime representation once for all, then write generics on top of it
<companion_cube>
(same as the standard Hashtbl, btw, which is designed for backtracking)
<mrvn>
simplest would be just keeping a list of values and searching that. recursion isn't usualy so deep that amlist becomes too long.
<companion_cube>
(it explains the weird `add` behavior)
wizeman has joined #ocaml
<mrvn>
Is there something like Gc.finalize that gets called every time a value gets moved?
<ggole>
There are ways to do hash tables that work with relocating pointers
<ggole>
Lisp implementations sometimes use them
malc_`` is now known as malc_
<flux>
I wonder if there could be efficiency concerns implementing that
<hongbo>
flux: for most ppxes, I don't care about performance
<hongbo>
I am scared that currently most libraries depend on too many ppx, and it is versioned by the compiler
<flux>
but it could be useful for avoiding registering gc roots.. though you still need to have some bookkeeping to make use of sch a callback
<flux>
hongbo, I was talking about the Gc stuff :)
<ggole>
I believe you pay a cost for the table entries, but not for regular values
nicholasf has quit [Remote host closed the connection]
tautologico has quit [Ping timeout: 252 seconds]
malc_ has quit [Remote host closed the connection]
stormogulen has quit [Read error: Connection reset by peer]
octachron has joined #ocaml
<octachron>
Algebr, f you have more specific example for this error: "I don't understand issues related to this error: The universal variable 'a would escape its scope", please don't hesitate to send them my way (on https://github.com/ocaml/ocaml/pull/594).
<octachron>
it really helps to have concrete example where documentation should be improved
<Algebr``>
Oh nice!
Mandus has quit [Ping timeout: 264 seconds]
sh0t has quit [Remote host closed the connection]
<Drup>
Algebr``: everything inside the ocamlfind package "lwt" (and not the subpackages)
tautologico has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
stormogulen has joined #ocaml
ontologiae has joined #ocaml
tane has quit [Quit: Leaving]
NhanH has quit [Ping timeout: 264 seconds]
stormogulen has quit [Ping timeout: 252 seconds]
NhanH has joined #ocaml
A1977494 has quit [Quit: Leaving.]
ontologiae has quit [Ping timeout: 276 seconds]
<smondet>
Algebr``: on top of what Drup said, there is `Lwt_js` in the jsoo stdlib
Denommus has quit [Remote host closed the connection]
octachron has quit [Ping timeout: 272 seconds]
<Algebr``>
yea know about that
<Algebr``>
thanks
unbalancedparen has quit [Quit: WeeChat 1.5]
tautologico has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
agarwal1975 has quit [Ping timeout: 260 seconds]
octachron has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
octachron has quit [Client Quit]
bruno_ has quit [Quit: Lost terminal]
mcc has joined #ocaml
nicholasf has joined #ocaml
orbifx has quit [Ping timeout: 276 seconds]
Kakadu has quit []
Kakadu has joined #ocaml
Kakadu has quit [Client Quit]
kakadu_ has joined #ocaml
orbifx has joined #ocaml
silver has quit [Quit: rakede]
orbifx has quit [Ping timeout: 244 seconds]
tautologico has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
nicholasf has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 244 seconds]
srcerer has joined #ocaml
madroach has joined #ocaml
nicholasf has joined #ocaml
agarwal1975 has joined #ocaml
tautologico has quit [Ping timeout: 252 seconds]
f- has quit [Ping timeout: 250 seconds]
nicholasf has quit [Read error: Connection reset by peer]