<bruce_r>
If you could make your question a bit more precise that's be nice Hasummn
picolino has joined #ocaml
zpe has joined #ocaml
fluter has quit [Ping timeout: 260 seconds]
oldmanistan__ has joined #ocaml
zpe has quit [Ping timeout: 244 seconds]
oldmanistan_ has quit [Ping timeout: 252 seconds]
oldmanistan__ is now known as oldmanistan_
fluter has joined #ocaml
darkf has joined #ocaml
al-damiri has joined #ocaml
r0r5ch4ch has joined #ocaml
hay207 has quit [Quit: Konversation terminated!]
r0r5ch4ch has quit [Client Quit]
jjk has quit [Ping timeout: 258 seconds]
jjk has joined #ocaml
SilverKey has joined #ocaml
SilverKey has quit [Max SendQ exceeded]
SilverKey has joined #ocaml
Heasummn has quit [Ping timeout: 250 seconds]
jmct_ has joined #ocaml
jmct has quit [Ping timeout: 244 seconds]
jmct_ is now known as jmct
tmtwd has joined #ocaml
pyon has quit [Quit: Dammit, Emacs.]
lol-icon has joined #ocaml
ygrek has quit [Ping timeout: 258 seconds]
pierpa has joined #ocaml
kushal has quit [Quit: Leaving]
tmtwd has quit [Ping timeout: 240 seconds]
hay207 has joined #ocaml
tmtwd has joined #ocaml
kushal has joined #ocaml
MercurialAlchemi has joined #ocaml
seangrove has quit [Ping timeout: 240 seconds]
tmtwd has quit [Ping timeout: 244 seconds]
tmtwd has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
tmtwd has quit [Ping timeout: 258 seconds]
FreeBirdLjj has joined #ocaml
MercurialAlchemi has joined #ocaml
tmtwd has joined #ocaml
alexelcu has joined #ocaml
lepoetemaudit35 has joined #ocaml
lepoetemaudit35 has quit [Client Quit]
sh0t has joined #ocaml
seangrove has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sdothum has joined #ocaml
sdothum has quit [Client Quit]
zpe has joined #ocaml
zpe has quit [Ping timeout: 244 seconds]
tmtwd has quit [Ping timeout: 244 seconds]
alexelcu has quit [Remote host closed the connection]
xenny has joined #ocaml
orbitz_ has quit [Quit: Reconnecting]
orbitz has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
hay207 has quit [Ping timeout: 264 seconds]
hay207_ has joined #ocaml
fluter has quit [Ping timeout: 260 seconds]
hay207_ has quit [Read error: Connection reset by peer]
hay207_ has joined #ocaml
hay207_ has quit [Read error: Connection reset by peer]
hay207_ has joined #ocaml
hay207_ has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
seangrove has quit [Ping timeout: 244 seconds]
fluter has joined #ocaml
hay207_ has joined #ocaml
hay207_ has quit [Read error: Connection reset by peer]
TheLemonMan has joined #ocaml
hay207_ has joined #ocaml
hay207_ has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
hay207_ has joined #ocaml
hay207_ has quit [Read error: Connection reset by peer]
tane has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
dexterph has joined #ocaml
hay207_ has joined #ocaml
haesbaer1 has quit [Quit: leaving]
haesbaert has joined #ocaml
zpe has joined #ocaml
pierpa has quit [Ping timeout: 264 seconds]
kushal has quit [Quit: Leaving]
ollehar has joined #ocaml
soupault has joined #ocaml
soupault has quit [Remote host closed the connection]
soupault has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
ontologiae has joined #ocaml
bruce_r has quit [Ping timeout: 250 seconds]
ggole has joined #ocaml
NJBS has joined #ocaml
elfring has joined #ocaml
pkl has joined #ocaml
govg has quit [Quit: leaving]
seangrove has joined #ocaml
thizanne has joined #ocaml
seangrove has quit [Ping timeout: 244 seconds]
ygrek has quit [Ping timeout: 244 seconds]
ollehar has quit [Ping timeout: 260 seconds]
elfring has quit [Ping timeout: 244 seconds]
elfring has joined #ocaml
NJBS has quit [Quit: Catastrophic failure.]
ollehar has joined #ocaml
fraggle_ has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
darkf has quit [Quit: Leaving]
gustav_ has joined #ocaml
gustav_ is now known as gustav___
pkl has quit [Ping timeout: 258 seconds]
Algebr` has joined #ocaml
TRUMP-PENCE has joined #ocaml
kakadu has joined #ocaml
xenny has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
xenny has joined #ocaml
silver has joined #ocaml
<tormen>
Hmm. My eliom project does not compile anymore. I added the package uuidm and now I can compile and run the modules. the .eliom compiles, but when I start the eliom server it crashes complaining: While loading shared.cmxs: error loading shared library: shared.cmxs: undefined symbol: camlUuidm__to_string_1132 ... :(
<tormen>
... I can compile and run shared alone. When compiling .eliom I include the uuidm package! ... so why is it seemingly not found ?
<tormen>
do I have to add uuidm somehow into the cmxs ? ... I already tried adding Uuidm to the shared.mllib...
<tormen>
Drup: ah YES !!! <extension findlib-package="pgocaml" /> ... SHOOT ... I forgot about that one
<tormen>
Drup: thanks !!
<tormen>
Drup: how do you compile ocsigen ? I first had the pregenerated Makefile from ocsigen, but that was huge and kind of ugly ... now I have a very slim and regular Makefile :)
<tormen>
(by using ocamlbuild)
<tormen>
but I manage the conf file it is not autogenerated... not sure how I could add that maybe to the ocamlbuild process...
<gasche>
announce: Fabrice Le Fessant is looking for an intern to work on opam-builder; if you know a computer science student looking for a non-research internship on a tool that promises to be super-useful for OCaml packaging, let them know
<Algebr`>
What will be the result of opam-builder
srcerer has quit [Ping timeout: 240 seconds]
srcerer has joined #ocaml
chindy has joined #ocaml
<kakadu>
gasche: Is it supposed to be Paris-location internship or something remote?
<chindy>
I set up vim with ocp-indent and user-setup/opam and for some reason when hitting enter i get into a newline with the following text: <SNR>102_AutoPairsReturn Anyone know why that is ?
tane has joined #ocaml
<ryu0>
chindy: vi is haunted? =p
dexterph has quit [Ping timeout: 252 seconds]
<chindy>
vim*
sdothum has joined #ocaml
<chindy>
ryu0, good analysis... but what are the options ?
kushal has quit [Quit: Leaving]
<ryu0>
chindy: all i can think of is look through your vim stuff and see what might be bound to that key
nopf has joined #ocaml
<chindy>
it has to do with one of the things opam user-setup sets-up in the vim rc
<ryu0>
chindy: i'm not a wizard. i'm not familiar with those vim addons.
<ryu0>
when answers are not forthcoming, sometimes all you can do is dig through the source.
<ryu0>
either that OR disable them all the re-enable one at a time to see what is changing this.
<chindy>
yea figured thx though ;)
<ryu0>
i'm nervous about vim addons anyway, they can change behavior in undesirable wways.
<ryu0>
lol
Algebr` has quit [Ping timeout: 240 seconds]
<gasche>
Kakadu: I would assume Paris-located but you might still want to email Fabrice
sh0t has quit [Quit: Leaving]
two_wheels has joined #ocaml
octachron has joined #ocaml
agarwal1975 has joined #ocaml
chindy has quit [Quit: Leaving]
SilverKey has quit [Quit: Halted.]
sepp2k has joined #ocaml
dexterph has joined #ocaml
tvynr has quit [Ping timeout: 252 seconds]
copy` has joined #ocaml
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tane has quit [Quit: Verlassend]
two_wheels has joined #ocaml
mattrepl has joined #ocaml
brab has quit [Ping timeout: 264 seconds]
brab has joined #ocaml
tvynr has joined #ocaml
SilverKey has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
SilverKey has quit [Quit: Halted.]
seangrove has joined #ocaml
Sakarah has joined #ocaml
Sakarah has quit [Quit: Sakarah]
Sakarah has joined #ocaml
groovy3shoes has joined #ocaml
groovy3shoes is now known as groovy2shoes
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
freehck has joined #ocaml
<freehck>
Hello everybody.
yomimono has joined #ocaml
SilverKey has joined #ocaml
govg has joined #ocaml
Sakarah has quit [Remote host closed the connection]
<freehck>
I found that Hashtbl module seems to use "=" or something like this to check if keys are equal. This is a reason it's not usable for abstract values such as Big_int.big_int; Well I see that Hashtbl provides me with some functors. Which could I use to make a hash table with big int keys?
Sakarah has joined #ocaml
<Drup>
Hashtbl.Make is here for that purpose
<freehck>
thx
al-damiri has joined #ocaml
<mrvn>
why doesn't = work with big_int?
<ggole__>
Contains abstract (C) values
ggole__ is now known as ggole
<mrvn>
That's what int (*compare)(value v1, value v2) in the struct custom_operations is for.
nicoo has quit [Ping timeout: 244 seconds]
<freehck>
Drup: Sorry, it's the first time I try to use functor. Why shall I specify type t and how shall I do it?
<freehck>
Drup: still don't understand what's wrong with it:
<freehck>
Hashtbl.Make(struct type key = Big_int.big_int type 'a t = (Big_int, 'a) Hashtbl.t let hash = Big_int.string_of_big_int let equal = Big_int.eq_big_int end);;
<mrvn>
define the module first and then call MAKE with it.
<Drup>
freehck: the module is supposed to correspond to the signature Hashtbl.HashedType, your module doesn't
<Drup>
The types are not the right ones
MercurialAlchemi has joined #ocaml
<freehck>
Drup: key must be a string in my case of useing string_of_big_int?
<Drup>
No, let say you have M answering HashedType
<Drup>
and you do H = Hashtbl.Make(M)
<Drup>
then the type H.key = M.t
<Drup>
there are not reasons to use strings (unless you want to)
<Drup>
just make a module that properly answer the signature. :)
<freehck>
ok
<Bluddy[m]>
chindy: you have autopairs installed for vim, and it's probably conflicting with ocp-indent
<mrvn>
I would fix Big_int to use a custom block instead.
trix has quit [Ping timeout: 260 seconds]
<gasche>
I don't think Big_int uses a C binding, and currently you can't create custom blocks from pure-OCaml land
<mrvn>
gasche: ctypes?
<gasche>
(pull-requests to fix that limitation would be welcome but I was told it might be tricky)
<gasche>
having the standard library depend on ctypes would create a few difficulties
<mrvn>
gasche: true. except ctypes should be in standard imho
<soupault>
hello! I was wondering if anyone is interested in image processing library for OCAML. have found one from Inria people, but it is really poor, and loosely maintained.
<soupault>
is this actually a thing for OCAML or not? I'm starting to learn the language and would like to contribute in process
<gasche>
I tried to bind the part of OpenCV that does image processing once, to get things like colorspace transforms
<gasche>
I think it could be a nice project using ctypes
<gasche>
(it was before ctypes, and C bindings were a pain)
<freehck>
Drup: I finally got! hash must be t->int!
<freehck>
Drup: thank you
<Drup>
ah yes, you should probably just use Hashtbl.hash as hash function
<freehck>
Btw, is there a way to see a signature of a module?
<freehck>
I mean in toplevel like utop?
<Drup>
#show M ;;
<soupault>
gasche: I'm contributing a lot to scikit-image, and trying to glue it with OpenCV via Python bindings. in addition to those bindings, OpenCV is a shit itself (the source code is really really bad).
<soupault>
gasche: seen it. looking at the current state of the documentation and repo activity, I'd say that camlimages is a one man stand.
<gasche>
yeah, there is no active image-processing sub-community that I know of, so you should expect one-man stands
<freehck>
Drup: #show "Hashtbl"?
<freehck>
oh... I get "Unknown directive `show'"
<gasche>
( freehck: you should really use a more recent OCaml version, with all those nice things)
<soupault>
gasche: OCAML isn't used too much for scientific computing, is it? compared to Python, C++, whatever, there are no comprehensive numerical/scientific toolkits besides biocaml, am I right?
<Drup>
on the numerical side, there are quite a lot of things, actually
<Drup>
oml, very good slap/blas bindings; sundials, ...
<Drup>
nothing like pandas and numpy, though
<gasche>
soupault: there is certainly less activity that for Python and C++, but there is some
<octachron>
soupault, from the scientific side, I would say unfortunately, yes
<soupault>
seen oml. very nice package to contibute to, also
<octachron>
most of scientific code is mainly fortran, matlab, python or C/C++ (depending on the field)
<gasche>
"scientific code" is a rather ill-defined concepts, from ODE solving to statistics to symbolic computation
<soupault>
python actually made a greap leap in the recent years. thanks to the small group of dedicated contributors. pandas was nothing 5 yrs ago. same as scikit-image, same as scipy.
<soupault>
gasche: yeah-yeah, not argues to that.
<soupault>
what is the main field of OCAML devs/community efforts then?
<Drup>
Given that the request comes up quite often, I would guess there could be a (small) community working on that, just that nobody really started it for image processing
<Drup>
(oml is rather new, and is shaping up quite nicely)
<soupault>
everything one needs to start the dev-t of image processing package is an Array type
<soupault>
Drup: who are the requesters? :)
<Drup>
I don't know, you're just not the first one here/on the mailing list
<Drup>
(I don't remember the names, given that my interest in the subject is pretty much non existant ^^)
zpe has quit [Remote host closed the connection]
mcspud has quit [Ping timeout: 250 seconds]
mcspud has joined #ocaml
ontologiae has quit [Ping timeout: 250 seconds]
<Bluddy[m]>
Anybody having issues producing dumps of the different compilation stages?
<Bluddy[m]>
ocamlopt -Oclassic test.ml -dcmm -o test 2> test.cmm
<Bluddy[m]>
I get cmm code that excludes anything I wrote in test.ml
<Bluddy[m]>
i.e. all the curry functions etc
<gasche>
soupault: one sub-group that is going strong these days in OCaml is system programming, thanks to the mirage efforts
<soupault>
I see
dexterph has quit [Ping timeout: 244 seconds]
TRUMP-PENCE has quit [Quit: TRUMP-PENCE 2016]
TRUMP-PENCE has joined #ocaml
<ggole>
Bluddy[m]: use -c
<Bluddy[m]>
ggole: thanks!
<Bluddy[m]>
ggole: actually, if I use -c, I don't get any dump output at all
<ggole>
Er, really? It's what I've been using for a while now. There must be something different about our approaches.
<Bluddy[m]>
oh man. order matters. I guess that's what the new PRs are about
<ggole>
...and I don't see anything in your suggested command line that could be it, as ocamlopt -Oclassic -o test -dcmm -c test.ml happily dumps some cmm to output
<Bluddy[m]>
at least it's working. Thanks for your help
<ggole>
No worries.
mattrepl has quit [Remote host closed the connection]
mcspud has quit [Ping timeout: 250 seconds]
yomimono has quit [Ping timeout: 258 seconds]
mcspud has joined #ocaml
Heasummn has joined #ocaml
jeffmo has joined #ocaml
SilverKey has quit [Quit: Halted.]
<Heasummn>
Is anyone familiar with Menhir?
<Heasummn>
Is there any way to get the tokens position?
<Heasummn>
I'd like the position to be a Lexing.position, but I can manipulate it if it's not
ontologiae has joined #ocaml
SilverKey has joined #ocaml
tvynr has quit [Ping timeout: 244 seconds]
<gasche>
Heasummn: you should ready the Menhir documentation
<gasche>
(I think the same advice would have applied to a lot of the tools you asked questions about so far)
<gasche>
s/ready/read/
<Heasummn>
Yeah nvm that question. The location docs are squished in between two random locations, and I couldn't find them. But I did now
<Heasummn>
tbh, Some of these docs are really bad. Ocamlbuild and oasis are huge PITAs
soupault has quit [Remote host closed the connection]
<mrvn>
I just looked at Big_int and a big_int is a record with a sign and nat, nat is a custom block with "custom_compare_default". If that had a compare function then everything would work.
<mrvn>
big_int already has a hash function so why doesn't Hashtbl work already?
<mrvn>
freehck: Hashtbl for big_int works just fine. No need for a functor.
tvynr has joined #ocaml
johnf has joined #ocaml
<mrvn>
at least for trivial cases
<mrvn>
freehck: I take it back. It only works for 0.
bruce_r has joined #ocaml
mcspud has quit [Ping timeout: 250 seconds]
dave24 has quit [Quit: leaving]
<ggole>
It probably doesn't work for 0 as soon as a comparison is necessary.
<mrvn>
ggole: it does. But only for 0.
jeroud has quit [Ping timeout: 250 seconds]
<mrvn>
# Hashtbl.add t Big_int.zero_big_int 0;;
<mrvn>
- : unit = ()
jeroud has joined #ocaml
<mrvn>
# Hashtbl.find t Big_int.zero_big_int;;
<mrvn>
- : int = 0
mcspud has joined #ocaml
<ggole>
I bet that's just = short-circuiting on ==
copy` has quit [Quit: Connection closed for inactivity]
SilverKey has quit [Quit: Halted.]
yomimono has joined #ocaml
mcspud has joined #ocaml
SilverKey has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
Xizor has joined #ocaml
SilverKey has quit [Quit: Halted.]
tvynr has quit [Ping timeout: 244 seconds]
unbalancedparen has quit [Quit: WeeChat 1.5]
yomimono has quit [Ping timeout: 240 seconds]
yomimono has joined #ocaml
sepp2k has quit [Quit: Leaving.]
LiamGoodacre has joined #ocaml
SilverKey has joined #ocaml
soupault has joined #ocaml
<Heasummn>
What are common causes of the Unbound Record field error. Assuming that that field in the Record does indeed exist?
kakadu has joined #ocaml
ontologiae has joined #ocaml
<octachron>
The record type may not be in scope
<flux>
heasummn, so what octachron is suggests is that is the record defined in another module?
<Heasummn>
Yeah it is defined in another module
<Heasummn>
I thought I could still access values within the record though
slash^ has quit [Read error: Connection reset by peer]
<octachron>
you need to qualify the access: record.Module_name.field (or open locally the module)
<Heasummn>
opening the module doesn't work
ontologiae has quit [Ping timeout: 265 seconds]
<Heasummn>
If I use the former, I get the same error but this time with Module_name.field
<Heasummn>
as being undefined
<lyxia>
So it's in another module.
<Heasummn>
Yes it is.
<lyxia>
I mean, other than whatever you put as Module_name
<Heasummn>
the .mli does not expose the implementation of the record
<lyxia>
oh okay.
<ggole>
Heasummn: you need to expose the record type in order to use direct field accesses
tvynr has joined #ocaml
<Heasummn>
oh alright
<flux>
amd what octachron is saying is technically correct but slightly obsolete, as current ocaml can notice that it's from another module and deal with it
<flux>
however, by default using that functionality gives a warning due to the fragility of the mechanism
SilverKey has quit [Quit: Halted.]
<Heasummn>
Also, do you guys know of any examples of error handling in Menhir?
<Drup>
Heasummn: the manual talks a lot about it
SilverKey has joined #ocaml
<Heasummn>
It talks about it, but it doesn't really give an example of using it. Like say the user forgot a token, I'd like to see what they forgot
<Heasummn>
Do you know where the MenhirLib's .mli file is?
<Heasummn>
The generated version relies on it
<Drup>
you can find it with "ocamlfind query menhirLib"
<Heasummn>
I found it on their website. It doesn't really help. I remember finding a github repo that gave examples of using every interface of the engine
<Heasummn>
Is there any way to leave a record field empty?
<Heasummn>
Or should I just use an Option?
<Heasummn>
google says no, so I'll just use an Option
<flux>
heasummn, yep, option is the way to go
<flux>
heasummn, btw, if you have many optional fields or otherwise default values you want to have you can do this: let default = { a = 42; b = None } and then later on just { Module.default with a = 55 }
<flux>
(though 'default' in this case needs to provide all fields which may not be suitable for all scenarios)
MercurialAlchemi has quit [Ping timeout: 250 seconds]
<Heasummn>
I've only got one right now. I might have more later tho
bruce_r has quit [Remote host closed the connection]
bruce_r has joined #ocaml
yomimono has quit [Ping timeout: 276 seconds]
_andre has quit [Ping timeout: 258 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
SilverKey has quit [Quit: Halted.]
ggole has quit []
agarwal1975 has quit [Ping timeout: 265 seconds]
seangrove has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
_andre has joined #ocaml
copy` has joined #ocaml
wolfcore has quit [Ping timeout: 276 seconds]
ontologiae has quit [Ping timeout: 258 seconds]
soupault has quit [Remote host closed the connection]
Sakarah has joined #ocaml
wolfcore has joined #ocaml
dexterph has quit [Ping timeout: 265 seconds]
SilverKey has joined #ocaml
shon has joined #ocaml
shon has quit [Client Quit]
shon has joined #ocaml
<Heasummn>
Is there any way to make a degenerate case handler?
<Heasummn>
Like say I want to create a match case that covers nearly 50 things, (in this example it's only 7, but still), but I only want to deal with one or two
<Heasummn>
the rest should be handled by some external function
<Heasummn>
oh wait
<Heasummn>
_
<mrvn>
or x
<mrvn>
e.g. let foo = function Zero -> 0 | One -> 1 | x -> complex_convert_to_int x
Xizor has quit [Read error: Connection reset by peer]
<Heasummn>
yeah
wolfcore has quit [Ping timeout: 244 seconds]
agile_cyborg has joined #ocaml
srcerer has quit [Quit: ChatZilla 0.9.92 [Firefox 47.0/20160604131506]]
wolfcore has joined #ocaml
srcerer has joined #ocaml
_y has quit [Disconnected by services]
LiamGoodacre has quit [Quit: Leaving]
al-damiri has quit [Quit: Connection closed for inactivity]
shon has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]