<rks`>
(utop should offer completion after #require "...)
<rks`>
and then you should be able to open :)
<jyeo>
thanks! got it
<jyeo>
yup i did a #require "compiler-libs";;
mrvn_ is now known as mrvn
yacks has quit [Ping timeout: 276 seconds]
oriba has quit [Quit: oriba]
Guest40967 is now known as lopex
tom39341 has joined #ocaml
Yoric has joined #ocaml
oriba has joined #ocaml
yezariaely has quit [Ping timeout: 264 seconds]
<Kakadu>
A question about camlp4 parsers
<Kakadu>
I want to do specific action when stream has at least 2 elements and another one if it has only 1
<Kakadu>
but if I write [< a; b >] above [< a >] 1st parser seems not backtracking and give error
Drup has joined #ocaml
<Kakadu>
Can I express end_of_stream somehow
<Kakadu>
?
<Kakadu>
or maybe I can do parser inside another parser?
<flux>
hmm, if you mean the stream parsing extension, it doesn't do back tracking at all
whitequa1k is now known as whitequark
snearch has joined #ocaml
darkf has quit [Quit: Leaving]
<jyeo>
I'm getting a Error: No implementations provided for the following modules:
<jyeo>
Cmt_format referenced from get_types.cmx
<jyeo>
Am I missing something?
<jyeo>
I am trying to do a open Cmt_format in my code but I can't seem to link the compiler-libs
Neros has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
Drup has quit [Ping timeout: 276 seconds]
csakatok_ has quit [Remote host closed the connection]
<jyeo>
it's okay. i got it. :)
ben_zen has joined #ocaml
Yang_ has quit [Read error: Connection reset by peer]
Yang_ has joined #ocaml
Neros has quit [Ping timeout: 240 seconds]
Drup has joined #ocaml
yezariaely has joined #ocaml
_andre has joined #ocaml
Neros has joined #ocaml
oriba has quit [Quit: oriba]
rwmjones has quit [Ping timeout: 264 seconds]
ygrek has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
djcoin has quit [Quit: WeeChat 0.4.0]
djcoin has joined #ocaml
<kerneis>
gasche_: ping
ggole has joined #ocaml
rwmjones has joined #ocaml
cdidd has quit [Ping timeout: 264 seconds]
Neros has quit [Ping timeout: 240 seconds]
ttamttam has quit [Ping timeout: 240 seconds]
yacks has joined #ocaml
Yang_ has quit [Read error: Connection timed out]
Yang_ has joined #ocaml
walter|r has quit [Quit: Leaving]
snearch has quit [Quit: Verlassend]
yezariaely has quit [Quit: Leaving.]
djcoin has quit [Quit: WeeChat 0.4.1]
djcoin has joined #ocaml
ben_zen has quit [Ping timeout: 245 seconds]
ttamttam has joined #ocaml
talzeus has quit [Remote host closed the connection]
djcoin has quit [Quit: WeeChat 0.4.1]
<flux>
it is sort of cool that it works nowadays: type t = true of int | false;; true 42;; (true : bool);;
<flux>
I really should find some time to code ocaml..
<flux>
sadly it doesn't infer (true : bool) from the arguments :-)
<flux>
also it works like type t = true of int;; false = true;;
<flux>
(but not true = false;;)
<flux>
so it's a bit fragile..
<whitequark>
uh
<whitequark>
what?..
<flux>
whitequark, the type-directed constructor name resolution
<whitequark>
what's up with true/false?
<flux>
they are just fun builtin constructor names
<whitequark>
oh, I see
ollehar has quit [Read error: Operation timed out]
ollehar has joined #ocaml
davidbe has joined #ocaml
davidbe has quit [Remote host closed the connection]
davidbe has joined #ocaml
q66 has quit [Read error: Connection reset by peer]
q66 has joined #ocaml
Xom has joined #ocaml
breakds has joined #ocaml
malo has quit [Ping timeout: 268 seconds]
malo has joined #ocaml
breakds has quit [Quit: Konversation terminated!]
ollehar has quit [Ping timeout: 245 seconds]
djcoin has joined #ocaml
tane has joined #ocaml
zpe has joined #ocaml
djcoin has quit [Quit: WeeChat 0.4.1]
djcoin has joined #ocaml
Neros has joined #ocaml
gour has quit [Disconnected by services]
gour_ has joined #ocaml
smondet has joined #ocaml
Armael has quit [Ping timeout: 246 seconds]
Khady has quit [Ping timeout: 248 seconds]
Neros_ has joined #ocaml
Neros has quit [Ping timeout: 264 seconds]
NaCl has quit [Ping timeout: 248 seconds]
NaCl has joined #ocaml
NaCl has quit [Changing host]
NaCl has joined #ocaml
ollehar has joined #ocaml
nlucaroni has joined #ocaml
Neros has joined #ocaml
talzeus has joined #ocaml
Neros_ has quit [Ping timeout: 260 seconds]
tobiasBora has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
<ontologiae_>
hi
<ontologiae_>
anyone has know a simple way to get the ast tree from an ast, in a toplevel ?
<ontologiae_>
from a cmt
davidbe has quit [Remote host closed the connection]
weie has quit [Quit: Leaving...]
mort___ has left #ocaml []
gour_ is now known as gour
mika1 has quit [Quit: Leaving.]
ontologiae_ has quit [Ping timeout: 245 seconds]
ttamttam has quit [Quit: ttamttam]
weie has joined #ocaml
dsheets has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
Drup has quit [Ping timeout: 268 seconds]
malo has quit [Quit: Leaving]
Yoric has quit [Ping timeout: 245 seconds]
Neros has joined #ocaml
Kakadu has quit []
Drup has joined #ocaml
habnabit is now known as _habnabit
yacks has quit [Quit: Leaving]
dsheets has quit [Ping timeout: 264 seconds]
dlovell has joined #ocaml
Armael has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
ollehar has joined #ocaml
ontologiae_ has joined #ocaml
<pippijn>
has anyone got merlin to compile?
<pippijn>
I did "opam install merlin" and it said:
<pippijn>
File "src/chunk_parser.ml", line 448, characters 38-39:
<pippijn>
Error: Syntax error
<pippijn>
oh, I know..
<pippijn>
my fault
iZsh has quit [Excess Flood]
iZsh has joined #ocaml
<rks`>
:D
<rks`>
pippijn: what was the problem?
<rks`>
(or rather: the source of the problem)
ontologiae_ has quit [Read error: No route to host]
jgw25 has joined #ocaml
<jgw25>
I'm doing some videos on simple OCaml. Here's the test one: https://vimeo.com/74728650 (Turn on HD)
<jgw25>
Before I do thirty or forty, any comments are appreciated, so I can fix audio & video problems.
<jgw25>
And, of course, content problems!
mcclurmc has joined #ocaml
djcoin has quit [Quit: WeeChat 0.4.1]
<gasche_>
kerneis: asynchrony is futile
<gasche_>
hm
<gasche_>
I meant synchrony
<gasche_>
asynchrony is the bomb
ygrek has joined #ocaml
<gasche_>
(synchronicity?0
<adrien>
sync/async :)
<adrien>
synchronousness, even though that sounds like "bravitude" :)
* gour
is reading ocaml't site tutorials and 'discovered' about ocaml's module signatures...cok
<gour>
*cool
Yang_ has quit [Read error: Connection reset by peer]
Yang_ has joined #ocaml
dkg_ has joined #ocaml
<dkg_>
i have a 2-tuple (a pair) in a variable named foo, and i want to refer to just the second part -- is there a simple way to refer to it or do i have to do something like (fun (a,b) -> b) foo ?
<ggole>
snd pair
<ggole>
Or let _, b = pair in ...
<ggole>
jgw25: hmm, pen and paper is a pretty good medium for a video if your handwriting is neat enough.
<dkg_>
ggole: thx
* pippijn
is annoyed by menhir
<ggole>
jgw25: video and audio seem pretty good. It might be worthwhile to get a thicker pen though.
<jgw25>
Yes, I wondered about a thicker pen. It's ok here in full screen, but not in a window.
<pippijn>
they don't have a source repository, so merging their changes back into my fork is a semi-annual effort, which so far always turned out to be re-doing my changes
ollehar1 has joined #ocaml
beckerb has quit [Ping timeout: 240 seconds]
osa1 has joined #ocaml
madroach has quit [Quit: leaving]
<osa1>
does anyone here use LLVM bindings of OCaml? I just updated my LLVM installation with the latest HEAD (and reinstalled OCaml bindings also) but now I'm getting ld errors while compiling to native(and compilation to bytecode works but fails in runtime)
<dkg>
Parse error: [fun_binding] expected after [ipatt] (in [let_binding])
<dkg>
i'm having trouble understanding the above message
madroach has joined #ocaml
<adrien>
rwmjones: but it's a JVM :D
<jpdeplaix>
pippijn: ahahah. Did you saw my request on the menhir-list some days ago ? Francois did just answered to me (not to the list) and this will not happen soon « Maybe someday » :D
osa1 has left #ocaml []
ollehar has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Quit: Leaving.]
<dkg>
i get "Parse error: [match_case] expected after "function" (in [expr])" in the second line of https://paste.debian.net/hidden/ae220ece/ -- can someone explain what i'm doing wrong?
<dkg>
i'm trying to write a function that returns another function
zpe has quit [Remote host closed the connection]
<Drup>
dkg: sig is a key word
<Drup>
you can't use it as an argument
<Drup>
trust the coloration on this ;)
<mrvn>
use signature or gpg_sig
<mrvn>
Also ocaml automatically handles partial application: let sig_has_issuer issuer gpg_sig = match ...
<mrvn>
returning a function like that would only make sense when you compute something once you get the issuer argument.
tobiasBora has joined #ocaml
<dkg>
Drup: ah, thank you :)
Yoric has joined #ocaml
Khady has joined #ocaml
ygrek has quit [Ping timeout: 256 seconds]
tobiasBora has quit [Quit: Konversation terminated!]
Yoric has quit [Ping timeout: 240 seconds]
<pippijn>
jpdeplaix: I didn't see (I'm not subscribed)
Yoric has joined #ocaml
<pippijn>
jpdeplaix: he doesn't seem to be interested in merging my changes into his code
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
<pippijn>
I think -bin-annot runs into an infinite loop here
jgw25 has quit [Quit: Page closed]
<whitequark>
let's just fork menhir completely and for all
yacks has joined #ocaml
<rks`>
pippijn: hm?
<pippijn>
rks`: about what?
<rks`>
-bin-annot
<pippijn>
yes
<rks`>
can I have some context?
<rks`>
(please)
<pippijn>
I killed the process after 5 minutes
<rks`>
huhu
<rks`>
what were you compiling?
<pippijn>
I'll make a testcase
<dkg>
i have two files: fingerprint.ml contains "type result { fingerprint: string ; keyid: string }" and defines a function from_packet that returns one of these. in keyMerge.ml, i'm trying to say "(from_packet pkt).keyid" to get a string, but ocaml tells me "Unbound record field label keyid"
<jpdeplaix>
you have to name the module in which is the record field
Snark has quit [Quit: leaving]
zpe has joined #ocaml
<dkg>
jpdeplaix: hm, ok, that's a bit confusing, but when i try it, the build does get farther along... but fails at the final ocamlopt part of the build process with :
<dkg>
Error: No implementations provided for the following modules: Fingerprint referenced from keyMerge.cmx
<pippijn>
rks`: ok
<rks`>
why do you say ok?
<rks`>
I didn't say anything, I'm waiting to see your test case :)
<dkg>
jpdeplaix: the build system that i'm using is inherited from upstream; i did "make clean && make dep && make" -- this appears to run ocamldep, followed by a lot of ocamlc and ocamlopt invocations
<pippijn>
ocamlbuild works fine
<dkg>
jpdeplaix: i can pastebin a build log if that would be useful
<jpdeplaix>
dkg: I'd advise you to try ocamlbuild, but the compilation problem seems to be related to the order of the files during linking
<jpdeplaix>
mmh are you forking or making a patch for this ?
<dkg>
i'm patching
<dkg>
i'm really really hoping to not fork
<dkg>
even if i could afford the time to maintain an isolated fork, the nature of sks (global internet-wide peered gossiping infrastructure) would make a fork disastrous
<dkg>
jpdeplaix: the link order was what i needed, thanks!
<dkg>
that did it :)
<dkg>
i'm slowly starting to map the concepts i'm familiar with to their counterparts (or pseudo-counterparts) in the ocaml world. your pointers were very helpful, thanks.
ollehar has joined #ocaml
darkf has joined #ocaml
darkf has quit [Changing host]
darkf has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
ollehar1 has quit [Ping timeout: 245 seconds]
<jpdeplaix>
dkg: you're welcome
<kerneis>
gasche_: I just heard you might be around; is the info reliable?
<kerneis>
RTT is not a problem if space-time trajectories cross in the end
ben_zen has joined #ocaml
Yang__ has joined #ocaml
Yang_ has quit [Ping timeout: 245 seconds]
so has quit [Ping timeout: 268 seconds]
so has joined #ocaml
ggole has quit []
dch has left #ocaml []
Yoric has quit [Ping timeout: 264 seconds]
speredenn has quit [Quit: Leaving]
deltaluca has joined #ocaml
<deltaluca>
Shorter way to write: List.fold_left (fun f g -> (fun x -> g (f x))) (fun x -> x) anyone? :P
zpe has joined #ocaml
<darkf>
deltaluca: (fun f g x -> g (f x)) for one
<deltaluca>
right. thanks
pkrnj has joined #ocaml
tani has joined #ocaml
tane has quit [Ping timeout: 245 seconds]
<kerneis>
also, define once and for good composition and identity
<kerneis>
they, it's nothing more than List.fold_left (g o f) id
<kerneis>
oh no, I'm so wrong
<kerneis>
sorry
<kerneis>
List.fold_left (o) id
<kerneis>
even shorter in fact
tdammers has joined #ocaml
<nlucaroni>
... and you wouldn't need the parens around 'o'.
<kerneis>
hmm, I would probably not call it o in fact
<kerneis>
and it might be backwards in that case, you probably need fold_right
<nlucaroni>
o isn't infix so i doubt you would as well.
dezzy has quit [Read error: Connection reset by peer]
dezzy has joined #ocaml
<def-lkb>
jpdeplaix: we need an efficient workflow for maintaining two typers
<def-lkb>
jpdeplaix: this setup allows nifty things like cherry-picking from one to the others, easily synchronizing with upstream typer, etc.
jayprich has quit [Quit: jayprich]
Yoric has joined #ocaml
Yang_ has joined #ocaml
gour has quit [Quit: WeeChat 0.4.1]
Yang__ has quit [Ping timeout: 260 seconds]
Simn has quit [Quit: Leaving]
tani has quit [Quit: Verlassend]
emmanuelux has joined #ocaml
<kerneis>
rks`: for vim newbies, you should explain what <localleader> is (or give its default value at least); maybe in the 'basic config' TODO at the top
ollehar has quit [Quit: ollehar]
<rks`>
I wasn't sure if it was necessary to explain that, but it makes sense ok
<rks`>
(and no, I didn't plan on including it in the first part)
<rks`>
I'll update with that tomorrow (and with the :helptags too)
<adrien>
actually I didn't know about it
<adrien>
well
<adrien>
I had seen mentions of it but I wasn't using localleader