adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Upcoming OCaml MOOC: https://huit.re/ocamlmooc | OCaml 4.03.0 release notes: http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
<Heasummn> Anyone?
copy` has joined #ocaml
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
manizzle has quit [Ping timeout: 258 seconds]
iZsh has quit [Quit: ZNC - http://znc.in]
iZsh has joined #ocaml
manizzle has joined #ocaml
gene9 has joined #ocaml
gene9 has quit [Client Quit]
picolino has quit [Ping timeout: 240 seconds]
<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> for now I am stuck
<Drup> how did you added it ?
FreeBirdLjj has joined #ocaml
xenny has quit [Quit: Textual IRC Client: www.textualapp.com]
<kakadu> AFAIR there is config for oceigenserver to specify some dependencies
tane has quit [Quit: Verlassend]
<tormen> Kakadu: I am building ocsigen with ocammlbuild. So in there I specify that I want shared.cmxs.
<tormen> Drup: I added uuidm to the list of package dependencies together with pgocaml and yojson (for which this worked just fine!)
<tormen> Drup: that's why I must either miss something extremely obvious or maybe there is a problem with uuidm ? but it's bizzarre... grrrr
<Drup> ah, ocamlbuild, I don't know how that one work very well. You probably need to add it to the ocsigenserver config file
<tormen> Drup: hmmm
<Drup> api-dev.conf, for you, apparently
<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...
<tormen> ... or I actually use sed ;)
<tormen> ... I think I'll do that ;)
kushal has joined #ocaml
kakadu has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ggole_ has joined #ocaml
dave24 has joined #ocaml
ggole has quit [Ping timeout: 244 seconds]
kushal has quit [Ping timeout: 250 seconds]
kushal has joined #ocaml
kakadu has joined #ocaml
j0sh has quit [Ping timeout: 244 seconds]
j0sh has joined #ocaml
pierpa has joined #ocaml
ggole__ has joined #ocaml
ggole_ has quit [Ping timeout: 244 seconds]
<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
wolfcore has joined #ocaml
nicoo has joined #ocaml
kakadu has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
<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)
slash^ has joined #ocaml
<gasche> that said soupault, recent versions of camlimages are not that bad ( https://bitbucket.org/camlspotter/camlimages )
<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
<ggole> Ah, right
<Bluddy[m]> ocamlopt -dcmm -c test.ml works, but ocamlopt -c test.ml -dcmm doesn't
<ggole> Urk.
<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 ==
<ggole> Yep.
<ggole> Compare the behaviour of those two functions.
<mrvn> ggole: indeed
<mrvn> Lets see if adding a custom compare fixes this.
<mrvn> Has anyone added ocaml support to ccache?
<mrvn> more specifically to the build scripts
<orbitz> Is there an 'identity' function in the stdlib? I see ther eis %identity but that is not the same, correct?
<orbitz> I can't just call %identity
<mrvn> why not?
<flux> there is not
<flux> because he cannot?-)
<orbitz> I get a syntax error for starters
<ggole> %identity is the identity built-in
<flux> %identity is not a function per se, it's a magic directive for external
<ggole> It's bound to various things, which are given various types.
<ggole> But not the one you want.
<mrvn> external identity : 'a -> 'a = "%identity";;
<mrvn> # identity 23;;
<mrvn> - : int = 23
<orbitz> I kno wI can do that
<mrvn> well, you have to do that.
<mrvn> or let f x = x
<orbitz> But I was hoping there existed that in the stdlib already. How come it doesn't?
<ggole> It's the stdlib, it has tons of stuff missing.
<mrvn> orbitz: send patch. Pervasives.identity sees like the right place.
<mrvn> seems
<orbitz> Is there a performance reason not to do it? Like putting it in a separate moduel defeats the purpose of the construct?
<orbitz> mrvn: Yeah I think I will if there is no reason it shouldn't exist.
yomimono has joined #ocaml
<mrvn> I see no reason why %identity wouldn't get inlined.
<orbitz> mrvn: great, thank you
<mrvn> Running tests from 'tests/asmcomp' ...
<mrvn> File "lexcmm.mli", line 16, characters 28-42:
<mrvn> /home/mrvn/src/ocaml/ocaml.git/testsuite/makefiles/Makefile.common:122: recipe for target 'lexcmm.cmi' failed
<mrvn> Error: Unbound module Parsecmm
<mrvn> why does ocaml still not work when building with "-j4"?
<orbitz> ouch
<ggole> Applying %identity shouldn't result in a function call at all
<ggole> Unless you apply it indirectly
johnf has quit [Remote host closed the connection]
unbalancedparen has joined #ocaml
<mrvn> Running tests from 'tests/lib-num' ...
<mrvn> ... testing with ocamlc>>> Bad result (compare_custom, test 12)
<mrvn> => failed
<mrvn> Well, some of it worked.
<mrvn> -1 << -2 fails. It thinks -2 >> -1
ygrek has joined #ocaml
yomimono has quit [Ping timeout: 276 seconds]
ontologiae has quit [Ping timeout: 250 seconds]
TRUMP-PENCE has quit [Quit: TRUMP-PENCE 2016 #AllLivesForTrump #TrumpNation #TrumpTrain #teamtrump #TrumpPence #NeverHillary #maga #MakeAmericaGreatAgain #HumaTheHoneyPot #BarackBinLaden #CaliphateClinton]
TRUMP-PENCE has joined #ocaml
dexterph has joined #ocaml
mcspud has quit [Ping timeout: 250 seconds]
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> Can't find it anymore
<Heasummn> I think it was linked in the docs
SilverKey has quit [Quit: Halted.]
SilverKey has joined #ocaml
SilverKey has quit [Client Quit]
Sakarah has quit [Ping timeout: 244 seconds]
SilverKey has joined #ocaml
SilverKey has quit [Client Quit]
jeffmo has quit [Quit: jeffmo]
octachron has quit [Quit: Leaving]
SilverKey has joined #ocaml
SilverKey has quit [Max SendQ exceeded]
SilverKey has joined #ocaml
two_wheels has quit [Quit: Textual IRC Client: www.textualapp.com]
elfring has quit [Quit: Konversation terminated!]
<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]
Sakarah has quit [Ping timeout: 265 seconds]
darkf has joined #ocaml