<Denommus>
how does a shared message bus in ocsigen works internally?
<Denommus>
is it just a websocket?
ygrek_ has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
tautologico has joined #ocaml
tautologico has quit [Ping timeout: 244 seconds]
tautologico has joined #ocaml
sh0t has joined #ocaml
tautologico has quit [Ping timeout: 240 seconds]
<Algebr``>
would be nice if the compiler remembered the original type names when printing out errors
<Algebr``>
'my_type rather than 'a
FreeBirdLjj has joined #ocaml
tautologico has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
FreeBirdLjj has joined #ocaml
<Algebr``>
Drup: ping
<Drup>
Denommus: you mean Eliom_bus ? It's based on Eliom_comet
<Drup>
Algebr``: pong
<Algebr``>
made a type like this type 'a foo = (<bar: Js.js_string Js.t Js.readonly_prop; .. > as 'a )Js.t Then when I have a type of this foo, I want to do arbitrary usages of ##, aka example##.other_field
<Algebr``>
I thought the .. would cover this but doesn't and I get type errors
<Drup>
it will depends what ends up in the 'a.
<Drup>
what's the actual type of example ?
tautologico has quit [Ping timeout: 258 seconds]
<Algebr``>
actual example is a good bit more complicated but basically I want to be able to define these types like <foo, bar, .. > Js.t so that I can say theses fields are guaranteed here but more as well
<Algebr``>
what ends up in 'a is another type variable
<Algebr``>
how do you do multiple constraints in type ('a, 'b) foo constraint 'a =
<Algebr``>
ah, of course OCaml syntax
<Algebr``>
constraint ('a, 'b)
<Algebr``>
or not i guess
tautologico has quit [Ping timeout: 244 seconds]
<Algebr``>
ah, got the types figured out, yay.
<Algebr``>
hmm, I have never seen so many wacky type errors as this week heh, In this definition, a type variable cannot be deduced from the type parameters.
Ravana has quit [Quit: Goodbye for now!]
Ravana has joined #ocaml
ygrek_ has quit [Ping timeout: 264 seconds]
vodkaInf1rno has quit [Ping timeout: 244 seconds]
f- has quit [Ping timeout: 250 seconds]
vodkaInferno has joined #ocaml
obj_magic has quit [Ping timeout: 244 seconds]
f- has joined #ocaml
obj_magic has joined #ocaml
pierpa has quit [Ping timeout: 264 seconds]
nicholasf has quit [Remote host closed the connection]
__rlp has quit [Ping timeout: 244 seconds]
__rlp has joined #ocaml
nicholasf has joined #ocaml
sh0t has quit [Remote host closed the connection]
unbalancedparen has quit [Quit: WeeChat 1.5]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
f- has quit [Ping timeout: 264 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
tautologico has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
AlexDenisov has joined #ocaml
tmtwd has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jonasen has joined #ocaml
Denommus has quit [Quit: sleeping]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
f- has joined #ocaml
Simn has joined #ocaml
tennix has joined #ocaml
freusque has joined #ocaml
MercurialAlchemi has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tennix has quit [Quit: WeeChat 1.5]
MercurialAlchemi has quit [Remote host closed the connection]
tautologico has quit [Ping timeout: 260 seconds]
ggole has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
pyon is now known as house-pyon
ygrek_ has joined #ocaml
Nahra has quit [Ping timeout: 276 seconds]
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
Nahra has joined #ocaml
house-pyon has quit [Quit: restart]
M-ErkkiSeppl has quit [Ping timeout: 252 seconds]
Kakadu2[m] has quit [Ping timeout: 252 seconds]
M-pesterhazy has quit [Ping timeout: 240 seconds]
barkmadley[m] has quit [Ping timeout: 244 seconds]
regnat[m] has quit [Ping timeout: 252 seconds]
M-martinklepsch has quit [Ping timeout: 264 seconds]
M-Illandan has quit [Ping timeout: 264 seconds]
Bluddy[m] has quit [Ping timeout: 272 seconds]
M-jimt has quit [Ping timeout: 276 seconds]
pyon has joined #ocaml
A1977494 has joined #ocaml
pyon is now known as house-pyon
TheVoid- has quit [Ping timeout: 276 seconds]
TheVoid has joined #ocaml
AltGr has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
AlexDenisov has joined #ocaml
Nahra has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
brub has joined #ocaml
Algebr`` has quit [Remote host closed the connection]
Algebr`` has joined #ocaml
randomb has joined #ocaml
brub has quit [Client Quit]
silver has joined #ocaml
darkf has quit [Quit: Leaving]
darkf has joined #ocaml
tane has joined #ocaml
govg has quit [Ping timeout: 272 seconds]
govg has joined #ocaml
Reshi has joined #ocaml
Algebr`` has quit [Read error: Connection reset by peer]
Algebr`` has joined #ocaml
Algebr`` has quit [Ping timeout: 250 seconds]
tmtwd has quit [Ping timeout: 264 seconds]
jwatzman|work has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tmtwd has joined #ocaml
AlexDenisov has joined #ocaml
Kakadu2[m] has joined #ocaml
fraggle_ has joined #ocaml
nicholasf has quit [Remote host closed the connection]
dexterph has joined #ocaml
nicholasf has joined #ocaml
A1977494 has quit [Remote host closed the connection]
AlexDenisov has quit [Read error: Connection reset by peer]
Reshi has quit [Ping timeout: 240 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
AlexDenisov has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rand__ has joined #ocaml
ontologiae has joined #ocaml
AlexDenisov has joined #ocaml
AlexDenisov has quit [Read error: Connection reset by peer]
AlexDenisov has joined #ocaml
tmtwd has quit [Ping timeout: 276 seconds]
AlexDenisov has quit [Read error: Connection reset by peer]
AlexDeni_ has joined #ocaml
zpe has joined #ocaml
Reshi has joined #ocaml
zpe has quit [Remote host closed the connection]
tmtwd has joined #ocaml
Reshi has quit [Ping timeout: 258 seconds]
Nahra has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
tane has quit [Quit: Leaving]
tmtwd has quit [Ping timeout: 240 seconds]
nicholasf has quit [Remote host closed the connection]
AlexDeni_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
adi___ has quit [Ping timeout: 258 seconds]
adi___ has joined #ocaml
malc_ has joined #ocaml
sdothum has joined #ocaml
tane has joined #ocaml
Nahra has quit [Ping timeout: 244 seconds]
ontologiae has quit [Ping timeout: 272 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
malc_` has joined #ocaml
malc_ has quit [Ping timeout: 240 seconds]
malc_` is now known as malc_
malc_` has joined #ocaml
malc_` has quit [Client Quit]
nicholasf has joined #ocaml
malc_ has quit [Ping timeout: 258 seconds]
yomimono has joined #ocaml
AlexDenisov has joined #ocaml
tane has quit [Quit: Leaving]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
sh0t has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
rgrinberg has joined #ocaml
wizeman has joined #ocaml
Sorella has joined #ocaml
yomimono has quit [Ping timeout: 264 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
A1977494 has joined #ocaml
dexterph` has joined #ocaml
dexterph` has quit [Remote host closed the connection]
dexterph has quit [Ping timeout: 260 seconds]
dexterph has joined #ocaml
pierpa has joined #ocaml
agarwal1975 has joined #ocaml
yomimono has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
AlexDenisov has joined #ocaml
FreeBird_ has quit [Ping timeout: 276 seconds]
<tormen>
Hmm. Is there a way to do a "try: ... with |... |.. else XXX and XXX is only executed if there was NO exception ?
<companion_cube>
why not put the XXX in the try?
<tormen>
I would like to write a small "not_found" wrapper that returns "true" if any operation threw a "Not_found" exception...
<companion_cube>
try …; false with Not_found -> …; true ?
<tormen>
So something like: let not_found f = try f () with Not_Found -> true else false
<tormen>
ah yes thanks !! :))
<tormen>
companion_cube: :))
<tormen>
*dough* ... again :)) thaaaaaanks !!!
<companion_cube>
no pb ^^
<Leonidas>
tormen: you know that you can match exceptions in pattern matching?
<Leonidas>
you might not even need such a wrapper (or you do, don't know your code)
<tormen>
Hun. I think I just found a bug in the part of (ocamlc?) that outputs "inferrd.mli" ...
<tormen>
inferred.mli tells me val not_found : (unit -> 'a) -> bool and when I compile it complains about val not_found : (unit -> unit) -> bool not matching val not_found : (unit -> 'a) -> bool ;)
<tormen>
interesting.
<tormen>
I'll file a bug report.
<tormen>
hmm what category does this fall under (ocamlc ... foo.inferred.ml) ? ... "Ocaml backend (code generation)" ?
<companion_cube>
no wait
<companion_cube>
you have too general a .mli
<companion_cube>
I think your `not_found` (in the .ml) is `(unit -> unit) -> bool`
<companion_cube>
which is too specific for what you advertise in the .mli
<tormen>
companion_cube: maybe you can have a look there. I noted the exact 5 steps to reproduce. As I mentioned in the additional info: for me my f is clearly (unit -> unit) so not sure why the inferred.mli detects a (unit -> 'a)...
<tormen>
... maybe I am missing something or my brain is heat affected again :)
<companion_cube>
hmm I don't even get how you generate the foo.inferred.mli
<companion_cube>
this command line is seriously worrying, you have camlp4 AND ppx
<companion_cube>
oh indeed it puts something in _build/
<companion_cube>
wtf
<tormen>
the ppx comes from corebuild and the camlp4 is a dependency of pgocaml
<companion_cube>
AH
<tormen>
companion_cube: but as I mentioned in the bug report I am FAR FAR away from mastering the different ocamlc, ocamlbuild, components and parameters...
<companion_cube>
ocamlbuild doesn't pass `-strict-sequence` to `ocamlc -i`
<flux>
there's a work-in-progress ppx port of pgocaml, if you're interested
<companion_cube>
tormen: I think it's more a bug in ocamlbuild
<companion_cube>
becuase `ocamlc -strict-sequence -i foo.ml` gives the proper type
<tormen>
flux: hmmm. I am not even sure what the difference is, what the implementations are ;) ... but I keep that in mind !!! thanks !! :)))
<flux>
of course, the syntax is a bit different and might change even further down the road
<tormen>
flux: not a priority for now :) ... but certainly nice to know :)) your link goes straight into /learn/ocaml/packages/pgocaml :)
<tormen>
companion_cube: okey good. It's what I intuitively felt too, so I classified the bug "ocamlbuild" :)
<companion_cube>
oh, there's still a category for that? funny
<companion_cube>
you could also have reported on github's ocamlbuild repo I think
<companion_cube>
but don't worry, it's good to have taken the time to report
<tormen>
companion_cube: :)) Glad to be able to give back a tiny bit of what I receive (here)!
<tormen>
flux: can you say if ppx is the successor, will eventually take over and role te world (over camlp4) ?
<flux>
yes
<tormen>
okey :)
<tormen>
that makes a pgocaml ppx version all the more intesting :) ... but not for the next few months ;)
<tormen>
companion_cube: thanks for your comment (I suppose :)) ! :)
nicholasf has quit [Remote host closed the connection]
<gasche>
tormen: I'm writing a bugfix for your ocamlbuild bug report, under which name would you like to be cited?
<gasche>
(eg. "tormen" or some other name of your choice)
<Leonidas>
flux: good to hear about the ppx port :)
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nicholasf has joined #ocaml
<Leonidas>
tormen: pick "Damien Doligez"
* Leonidas
*hides*
<Leonidas>
In all seriousness, thank you gasche, I appreciate the work you put in a lot!
tobiasBora has quit [Ping timeout: 240 seconds]
_y has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
Denommus has joined #ocaml
fraggle_ has quit [Read error: Connection reset by peer]
sh0t has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
sh0t has joined #ocaml
<gasche>
Leonidas: you're welcome :-)
unbalancedparen has joined #ocaml
nicholasf has quit [Remote host closed the connection]
tautologico has quit [Ping timeout: 240 seconds]
zpe has quit [Read error: Connection reset by peer]
sh0t has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
<beginner>
My installation path for ocaml and ocambuild is quite long, and when i try to build menhir i get a "bad interpreter: No such file or directory". If install ocaml in my home folder everything is just fine
<flux>
beginner, I wonder if the paths involved have spaces in them?
<adrien>
strace
MooseAndCaml has joined #ocaml
<gasche>
beginner: did you run the Filename.is_implicit check?
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
<beginner>
its on linux and there are no spaces involved
fraggle_ has quit [Remote host closed the connection]
<MooseAndCaml>
hi. I've suceeded with "ocamlfind install my_lib META ..." but: '#load "my_lib.cmo";;' 'Error: Reference to undefined global `Ppx_deriving_runtime'' and '#require "my_lib";;' returns 'No such package: my_lib' ... any ideas?
<gasche>
hm
<adrien>
beginner: can you run "file" on the executable which fails?
<gasche>
MooseAndCaml: ocamlfind list | grep my_lib
<gasche>
(did you use my_lib as the package name?)
<beginner>
ocaml: a /home/me/blaaaaaaa/blaaaaaaaaa script text executable
<beginner>
the path is much longer
fraggle_ has joined #ocaml
<adrien>
how long?
<MooseAndCaml>
gasche: the library doesn't show up when I run that command
<MooseAndCaml>
i do see it in ~/.opam/4.02.3/lib/my_lib
<beginner>
just to be safe
<beginner>
i made it very long
<beginner>
actually i can not even past it here
<adrien>
128 chars should be the max on linux
<beginner>
the path from file is much less than 128 chars
<flux>
beginner, are you using ecryptfs?
dexterph has quit [Ping timeout: 240 seconds]
<beginner>
ext3
<MooseAndCaml>
gasche: i am seeing it now... I had *.cma in my install list which was causing it to not be completely installed. I didn't know ocamlfind could be used in the command line. thanks for the tip
<flux>
though I guess if the path is very short then it cannot be the culprit
<beginner>
flux: the path that is shown is just 78 chars long
<beginner>
it was just a test, whether it was the long path name
<mrvn>
beginner: that's 233 chars
<MooseAndCaml>
Is there a ocamlmktop for utop/REPL? I just installed a lib with C bindings, which works in compiled form, but I'm getting errors in the top-level
<mrvn>
beginner: what does file on that path say?
<beginner>
it just prints the first 78 chars
dakk has quit [Quit: Leaving]
<mrvn>
beginner: no, file on those 78 chars
<beginner>
ocaml: a /home/me/blaaaaaaa/blaaaaaaaaa script text executable
<mrvn>
and file on that?
_y has joined #ocaml
<beginner>
mrvn: i dont understand, i called "file ocaml", what do you mean?
<mrvn>
beginner: it says that is a script that will be interpreted by /home/me/blaaaaaaa/blaaaaaaaaa. So what is /home/me/blaaaaaaa/blaaaaaaaaa?
sh0t has joined #ocaml
kushal has quit [Quit: Leaving]
<gasche>
MooseAndCaml: utop has a FAQ entry on how to build custom toplevels
<beginner>
a partial path? i really don't get the question. I stops printing the entire path to my ocaml binary
<mrvn>
beginner: use head --lines 1 instead of file to get the full line
sepp2k has joined #ocaml
<mrvn>
beginner: Longer than "/home/me/blaaaaaaa/blaaaaaaaaaaaaa/blaaaaaaaaaaaaaaaaaaaaaaaaa" is not supported in linux.
govg has quit [Quit: leaving]
<mrvn>
oddly enough my "file" shows one more char than what linux accepts.
tobiasBora has joined #ocaml
<beginner>
i thought those crappy limitiation would only be an issue for the windows world
rgrinberg has quit [Ping timeout: 240 seconds]
<MooseAndCaml>
gasche: i'm looking through that now. I having trouble finding out how that works with the ocamlREPL -- if that needs to be modified manually
<mrvn>
/usr/bin/env: ?aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbbbbbbbbbbbbbbbbbbbbbbbcccccccccccccccccccccccccccccccccccccddddddddddddddd?: No such file or directory
<mrvn>
seems like arguments can be longer than the command but are still pretty limited.
govg has joined #ocaml
<ggole>
Path names have a smallish limit.
<ggole>
Argument space has a limit, but it's pretty large.
<ggole>
IIRC it's something like 255 chars and several megs, respectively.
<pierpa>
pathnames limits are properties of each filesystem
<pierpa>
looks like on all of the usual linux file systems, the limit is 255
<ggole>
I thought that was file name limits
<beginner>
the wiki page states there is no limit on path names for ext filesystems
<pierpa>
hmmm
darkf has quit [Ping timeout: 250 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<ggole>
Hmm: PATH_MAX might be a "stay within this and it will certainly work" rather than a hard limit
<pierpa>
ggole: you are right. All of the common linux fs¹ have no limit for path names and 255 for file names. ¹Except for ISO 9660
zpe has joined #ocaml
<mrvn>
ggole: PATH_MAX is obsolete
MercurialAlchemi has joined #ocaml
zpe has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
ygrek_ has joined #ocaml
tautologico has joined #ocaml
dhil has joined #ocaml
octachron has joined #ocaml
hcarty has joined #ocaml
kushal has joined #ocaml
freusque has quit [Quit: WeeChat 1.4]
govg has quit [Quit: leaving]
MercurialAlchemi has quit [Ping timeout: 258 seconds]
ygrek_ has quit [Ping timeout: 252 seconds]
octachron has quit [Quit: Leaving]
tautologico has quit [Ping timeout: 252 seconds]
Denommus has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
yomimono has quit [Ping timeout: 244 seconds]
Algebr`` has joined #ocaml
shinnya has joined #ocaml
Simn has quit [Quit: Leaving]
hcarty has quit [Quit: WeeChat 1.5]
riceandbeans has joined #ocaml
<riceandbeans>
so I was using ruby, and had to use gem again, and then I remember opanm and I was like...I couldn't understand ocaml, but the package manager for it made gem look like crap
rgrinberg has quit [Ping timeout: 252 seconds]
ontologiae has joined #ocaml
govg has joined #ocaml
<sh0t>
how do you guys handle .mly files in merlin? I get syntax errors in the section {open...}
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
rgrinberg has joined #ocaml
MercurialAlchemi has joined #ocaml
<flux>
my guess is: people don't..
<flux>
or does merlin say it supports mly?
<Algebr``>
don't use merlin with mly
tautologico has joined #ocaml
ygrek_ has joined #ocaml
AltGr has left #ocaml [#ocaml]
MercurialAlchemi has quit [Ping timeout: 258 seconds]