companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
cranmax has joined #ocaml
dreadedfrog has joined #ocaml
rwmjones has quit [Ping timeout: 276 seconds]
dreadedfrog has quit [Ping timeout: 240 seconds]
rwmjones has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
shinnya has quit [Ping timeout: 260 seconds]
zwild has joined #ocaml
Denommus has quit [Ping timeout: 255 seconds]
slack has quit [Remote host closed the connection]
slack has joined #ocaml
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
zwild has quit [Remote host closed the connection]
zwild has joined #ocaml
swalk has quit [Quit: swalk]
copy_ has quit [Quit: Connection closed for inactivity]
swalk has joined #ocaml
sh0t has quit [Remote host closed the connection]
swalk has quit [Ping timeout: 258 seconds]
enterprisey has joined #ocaml
silver has quit [Read error: Connection reset by peer]
iitalics has joined #ocaml
swalk has joined #ocaml
iitalics has quit [Quit: /thread]
vinoski_ has joined #ocaml
jmct_ has joined #ocaml
jkni_ has joined #ocaml
mrallen1_ has joined #ocaml
mal``` has joined #ocaml
chenglou_ has joined #ocaml
mattg_ has joined #ocaml
ome_ has joined #ocaml
def`_ has joined #ocaml
cow-orke1 has joined #ocaml
hrk has joined #ocaml
igitoor_ has joined #ocaml
Asmadeus_ has joined #ocaml
malina has joined #ocaml
cranmax has quit [Quit: Connection closed for inactivity]
stux|RC has joined #ocaml
M-jimt has quit [*.net *.split]
M-martinklepsch has quit [*.net *.split]
ome has quit [*.net *.split]
def` has quit [*.net *.split]
rossberg_ has quit [*.net *.split]
igitoor has quit [*.net *.split]
hrk_ has quit [*.net *.split]
iZsh has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
mal`` has quit [*.net *.split]
nullifidian has quit [*.net *.split]
vinoski has quit [*.net *.split]
cow-orker has quit [*.net *.split]
stux|RC-only has quit [*.net *.split]
jmct has quit [*.net *.split]
chenglou has quit [*.net *.split]
srax has quit [*.net *.split]
jkni has quit [*.net *.split]
mrallen1 has quit [*.net *.split]
mattg has quit [*.net *.split]
vinoski_ is now known as vinoski
jmct_ is now known as jmct
mattg_ is now known as mattg
chenglou_ is now known as chenglou
mrallen1_ is now known as mrallen1
jkni_ is now known as jkni
ome_ is now known as ome
rossberg_ has joined #ocaml
srax has joined #ocaml
igitoor_ has quit [Changing host]
igitoor_ has joined #ocaml
M-martinklepsch has joined #ocaml
M-jimt has joined #ocaml
iZsh has joined #ocaml
malc_ has quit [Remote host closed the connection]
mengu has quit [Remote host closed the connection]
swalk has quit [Quit: swalk]
mfp__ has quit [Ping timeout: 255 seconds]
ygrek has quit [Ping timeout: 246 seconds]
mengu has joined #ocaml
sam___ has joined #ocaml
shon has quit [Ping timeout: 260 seconds]
mengu has quit [Ping timeout: 248 seconds]
sam___ has quit [Ping timeout: 260 seconds]
samrat_ has joined #ocaml
shon has joined #ocaml
erw4n has quit [Ping timeout: 268 seconds]
erw4n has joined #ocaml
samrat_ has quit [Ping timeout: 255 seconds]
enterprisey has quit [Remote host closed the connection]
mengu has joined #ocaml
sam___ has joined #ocaml
mengu has quit [Ping timeout: 260 seconds]
MercurialAlchemi has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 260 seconds]
sam___ has quit [Ping timeout: 260 seconds]
mengu has joined #ocaml
sam___ has joined #ocaml
mengu has quit [Ping timeout: 255 seconds]
olibjerd has joined #ocaml
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 248 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
olibjerd has quit [Quit: olibjerd]
Ragora is now known as Ragora|Away
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 260 seconds]
enterprisey has joined #ocaml
ygrek has joined #ocaml
olibjerd has joined #ocaml
MercurialAlchemi has joined #ocaml
sam___ has quit [Ping timeout: 260 seconds]
Algebr has joined #ocaml
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 268 seconds]
samrat_ has joined #ocaml
dakk has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zwild has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 255 seconds]
pluplog has joined #ocaml
andreas_ has joined #ocaml
enterprisey has quit [Remote host closed the connection]
pitastrudl has quit [Remote host closed the connection]
sam___ has joined #ocaml
pitastrudl has joined #ocaml
dhil has joined #ocaml
leah2 has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Ping timeout: 248 seconds]
def`_ is now known as def`
zpe has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
sam___ has quit [Ping timeout: 260 seconds]
argent_smith has joined #ocaml
MercurialAlchemi has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
sam___ has joined #ocaml
<sam___> what do i have to do to get a proper .merlin file with jbuilder, no SRC line seems to get added for me
<def`> it's S not SRC*
<sam___> oh
<sam___> well there is no S either
<sam___> so everything is red in my source files
<def`> no, S has nothing do to with that
<def`> S is to find source files to jump to
<sam___> but isnt S also used by merlin to figure out where to look for other "local modules"?
<def`> for semantic analysis it's the "B" (for build) directive which uses cmi files produced by building the project first
<sam___> ah ok
<sam___> actually there is some weird error message on `open`
<def`> which message?
<sam___> the files A and B makei inconsistent assumptions over interface Pervasives
<def`> you are probably mixing merlin and ocaml from different installations
dreadedfrog has joined #ocaml
<sam___> i think i have everything installed through brew
<sam___> hmm, actually come to think of it, there was some ocaml related updates in brew recently
<sam___> do i need to upgrade merlin or something?
<def`> if you changed the ocaml system compiler, you should rebuild the whole opam switch
<sam___> maybe i should set up a "switch" or something
<def`> yes, it is better
<def`> otherwise you will get conflict when the system changes (here brew)
<sam___> how do you change switches?
<def`> working in a switch means everything is managed by opam
<def`> opam switch 4.04.2
<sam___> yeah that sounds nice
<sam___> can i use jbuilder somehow to install dependencies?
<sam___> i dont have many, but i feel stupid everytime i have to run a build command, check which dependency is missing and then manually install using opam until my project builds.
<sam___> [ERROR] "4.04.2" is not a valid compiler.
<rgrinberg> jbuilder external-lib-deps --missing @install is the closest thing we have
<rgrinberg> but it will not install the packages, it will only print the missing findlib packages
dreadedfrog has quit [Ping timeout: 268 seconds]
<def`> sam___: opam update
zpe has quit [Remote host closed the connection]
freusque has quit [Quit: WeeChat 1.7.1]
zpe has joined #ocaml
freusque has joined #ocaml
<sam___> but if i have an opam file i can just run opam install or something?
zpe has quit [Ping timeout: 268 seconds]
<def`> opam pin add my_package ./
<def`> to register the package
<def`> then opam install my_packge
<def`> or opam install my_package --deps-only
<sam___> i still dont really get what the pinning/registering is about
Soni has quit [Ping timeout: 248 seconds]
<sam___> none of the other package management ive used have supported it
Soni has joined #ocaml
<def`> There are two parts to it: all package managers I have used need to know about the existence of a package.
g0d355__ has joined #ocaml
<def`> opam needs to know because the identity of package is defined by its name.
<def`> The second part of pinning is selecting specific version. Some package managers support that (apt, pacman, ...), some don't.
<def`> (actually, nix might be able to skip the registration part since a package is defined by its content)
<sam___> ive used things like ruby's gem, node's npm, some thing for python, stack for haskell, mvn and the like for java and none of them required registering or pinning as far as i could tell. all you need is a list of dependencies to install?
<def`> ah yes that's true when you are building, not when installing.
<def`> The solution I proposed is a bit hackish: you just want to install dependencies, I suggested to register the package and install its deps like you would for any other package.
<rgrinberg> if you're using opam 2.0, you can also do $ opam install --deps-only .
<rgrinberg> this will install the dependencies into either your current switch, or your project local switch
mfp__ has joined #ocaml
<sam___> ah, but then if i only wanna build i shouldn't need to pin/register?
<sam___> i have opam 1.2.2 apparently
<sam___> so then i cant do the --deps-only
<sam___> its kinda lame that opam keeps crying if you dont add a value for dev-repo
<sam___> so now i have an opam file
<sam___> is depends really only supposed to say "ocamlfind" {build}?
ziyourenxiang has joined #ocaml
<sam___> ah i guess that means i depends on ocamlfind for building?
<sam___> is there some automated way to install a module and have opam update depends for me?
<sam___> so hard to use ocaml
<sam___> i wanna like the language but the ecosystem is so frustrating
<pacak> sam___: Ever tried javascript?
<haesbaert> that's odd I really like the ecosystem
<sam___> pacak: yeah, it's tooling is much more user friendly
<pacak> sam___: Strange.
<sam___> can i install an opam package and also have the opam file automatically updated to add that dependency?
leah2 has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
johnelse has joined #ocaml
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
dreadedfrog has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
dreadedfrog has quit [Ping timeout: 255 seconds]
samrat_ has quit [Ping timeout: 240 seconds]
mrvn has left #ocaml [#ocaml]
MercurialAlchemi has quit [Ping timeout: 255 seconds]
olibjerd has quit [Quit: olibjerd]
pluplog has quit [Quit: Leaving.]
al-damiri has joined #ocaml
malina has quit [Ping timeout: 240 seconds]
sam___ has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
_andre has joined #ocaml
MercurialAlchemi has joined #ocaml
malina has joined #ocaml
olibjerd has joined #ocaml
leah2_ has joined #ocaml
mengu has joined #ocaml
leah2 has quit [Quit: WeeChat 1.9]
leah2_ is now known as leah2
jlam_ has joined #ocaml
sepp2k has joined #ocaml
jlam__ has quit [Ping timeout: 260 seconds]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
Soni has quit [Excess Flood]
Soni has joined #ocaml
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 255 seconds]
swalk has joined #ocaml
ollehar has joined #ocaml
<ollehar> is "Haut avec un avertissement de réponse faible" a correct translation of "Up with low response warning"?
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 260 seconds]
<gasche> ollehar: it's hard to tell without knowing the context of the english sentence usage, because the english grammar is very ambiguous
<ollehar> hm ok
<gasche> your french sentence means "Up with (low (response warning))", but not ((low response) warning) that would be "avertissement de faible réponse"
<ollehar> "[installation is] Up [and running] with low response warning"
<ollehar> oh ok
<ollehar> silly google translate
<ollehar> thank you
<gasche> also Haut means High rather than Up
<gasche> ah
<ollehar> oh
<gasche> so you probably mean "L'installation est opérationelle, avec ..."
<ollehar> gasche: could I use only "opérationelle"
<gasche> "opérationelle" in this context is my proposed translation for "up and running"
<gasche> but again, more context would give better translations
<gasche> (I do have to get up and running myself, so unfortunately I won't be able to help you further today)
<ollehar> :)
<ollehar> thank you!
Algebr has quit [Ping timeout: 260 seconds]
swalk has quit [Quit: swalk]
samrat_ has joined #ocaml
mengu has quit [Read error: Connection reset by peer]
<orbifx[m]> what package provides lwt_unix now?
mengu has joined #ocaml
mengu_ has joined #ocaml
swalk has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
samrat_ has quit [Ping timeout: 246 seconds]
mengu_ has quit [Ping timeout: 268 seconds]
aciniglio has joined #ocaml
Denommus has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
MercurialAlchemi has quit [Client Quit]
freusque has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Client Quit]
MercurialAlchemi has joined #ocaml
freusque has quit [Client Quit]
freusque has joined #ocaml
<Leonidas> hmm, where is the install prefix when I install things using opam?
<Leonidas> is there some env variable?
dreadedfrog has joined #ocaml
<Leonidas> ok, there is %{prefix}% but I see in opam config there is also a bin setting which I'd rather have
ollehar has left #ocaml [#ocaml]
samrat_ has joined #ocaml
<orbifx[m]> Leonidas: install things?
<Leonidas> orbifx[m]: os, opam knows which folder binaries should be installed to. I would like to pass that path on my opam file to my Makefile
<orbifx[m]> Hmm, should you be delegating the install to something else, rathern than doing it manually with a Makefile?
<orbifx[m]> Unless you are on Archlinux or some similar system.
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 248 seconds]
chelfi2 has quit [Ping timeout: 246 seconds]
chelfi2 has joined #ocaml
FreeBirdLjj has joined #ocaml
<Leonidas> orbifx[m]: why? I am using omake, I don't want to add oasis or jbuilder or something else in front of my existing omakefile to handle installation
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
<orbifx[m]> Hmm, can't answer in that case.
ryanartecona has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
<octachron> Leonidas, %{bin}% for the bin variable? Note that you can also use a ".install" file to make opam handle the installation by itself
<orbifx[m]> Does anyone in ocamland ever refer to a higher-order function as functor, or is functor reserved for modules?
enterprisey has joined #ocaml
<octachron> orbifx[m], I would think that most people using functor in ocaml-land would refer to either OCaml functor or category theory's functor
<orbifx[m]> So List.map tends to be referred to as a functor octachron?
<octachron> no?
argent_smith has quit [Quit: Leaving.]
<orbifx[m]> because it doesn't return a function?
<octachron> because it is neither a functor in the OCaml meaning nor in the category theory meaning? (at most, List.map can be used to construct a functor between OCAML and OCAML list )
<orbifx[m]> Does it not qualify simply for taking a function as a parameter?
<octachron> it qualifies as a higher-order function (or a functional if talking with physicists or some mathematicians)
<octachron> which is generally not the meaning associated with the word functor in OCaml context
<octachron> functor is a quite polysemous word, its meaning will vary depending on the context
<orbifx[m]> OK. So the most common and concise term is higher order function?
Algebr has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
<octachron> probably. Note that in a functional language, the notion of higher order function become less distinctive: since function are first-class, it is quite natural that function can take other functions as arguments
freusque has joined #ocaml
<orbifx[m]> Yea
freusque has quit [Quit: WeeChat 1.7.1]
freusque has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
<orbifx[m]> Thanks octachron
freusque has quit [Quit: WeeChat 1.7.1]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 260 seconds]
<Leonidas> octachron: thanks, I'll try that!
freusque has joined #ocaml
kakadu has joined #ocaml
dhil has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 255 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<Leonidas> wow, omake creates all kinds of crap in the project directory. really annoying
dakk has quit [Ping timeout: 255 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
malina has quit [Read error: Connection reset by peer]
malina has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Denommus` has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
Denommus has quit [Ping timeout: 255 seconds]
sepp2k has quit [Quit: Leaving.]
ryanartecona has joined #ocaml
maarhart has joined #ocaml
maarhart has quit [Client Quit]
samrat_ has quit [Ping timeout: 255 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 255 seconds]
cranmax has joined #ocaml
word_man has joined #ocaml
<word_man> is there a package for emacs that auto will compile ocaml/bucklescript to javascript?
mrvn has joined #ocaml
shinnya has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 255 seconds]
malc_ has joined #ocaml
ziyourenxiang has quit [Ping timeout: 260 seconds]
jlam_ has joined #ocaml
jlam_ has quit [Read error: Connection reset by peer]
deep-book-gk_ has joined #ocaml
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 255 seconds]
deep-book-gk_ has left #ocaml [#ocaml]
word_man has quit [Quit: Page closed]
jlam__ has joined #ocaml
Sakarah has joined #ocaml
jlam_ has quit [Ping timeout: 255 seconds]
malina has quit [Ping timeout: 240 seconds]
g0d355__ has quit [Max SendQ exceeded]
tane has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
shinnya has quit [Ping timeout: 255 seconds]
copy_ has joined #ocaml
<zozozo> what would be the simplest way to catch newlines in during format output to escape them before printing ?
<zozozo> something like the formatter_out_functions but local ? since I could also have to print non-escaped text
rossberg_ has quit [Ping timeout: 240 seconds]
<octachron> zozozo, save the standard formatter_out_functions boefore printing with newlines escaped and restore them after ?
silver has joined #ocaml
<zozozo> yeah, but what happens if I have to have "normal" output during the time I'm printing escaped text ? for isntance if my program has to emit some warnings
<zozozo> so ideally, I'd like to change the formatter_out_functions on a specific formatter
<octachron> zozozo, pp_formatter_out_functions
<dxtr> So, I'm trying to use some camlp4 stuff with emacs (tuareg and merlin) but I'm just getting "Unbound constructor" when using the camlp4 things
<dxtr> In this case it is PGSQL in pgocaml
jlam__ has quit [Ping timeout: 246 seconds]
<dxtr> 'Unbound constructor PGSQL'
<octachron> * pp_{set,get}_formatter_out_functions
<zozozo> octachron: thanks ! somehow missed those when reading the documentation
FreeBirdLjj has quit [Remote host closed the connection]
<dxtr> What am I doing wrong here?
<octachron> zozozo, if you open a mantis ticket, it will be easier for me to remember that those functions need to be better documented
<octachron> dxtr, merlin never had generic camlp4 support: camlp4 is far too powerful for that
<zozozo> octachron: will do ^^
<dxtr> octachron: Isn't it tuareg that's doing error checking?
<dxtr> Or is merlin doing that too?
<zozozo> octachron: they are documented, but it's not evident they exist when one looks at the paragraph talking about formatter_out_functions
<dxtr> Or did I get it wrong? :D
<octachron> dxtr, it depends, merlin is doing the on-save error-checking, and tuareg can report the error raised by the compiler when compiling
<dxtr> Oh, alright
rossberg_ has joined #ocaml
<octachron> zozozo, or in other words, they appear out-of-nowhere in the documentation without any foreshadowings, which is a bad storytelling/documentation style
<dxtr> So there's nothing I can do about this?
<dxtr> That'd make error checking useless in this file
ryanartecona has joined #ocaml
<dxtr> Also, on a related note: When I'm doing this: http://lpaste.net/1872918934366191616 I get "Uncaught exception: Unix.Unix_error (20 | CstTag21, "connect", "")" from camlp4. That doesn't seem right
<octachron> dxtr, unless merlin has some specific support for the pgocaml camlp4 syntax extension, I fear there is nothing to do
aantron_ has joined #ocaml
<octachron> dxtr, I believe that pgocaml need to have access to the database at compile-time to (for type-checking purpose at least)
<zozozo> octachron: done (cf https://caml.inria.fr/mantis/view.php?id=7588 )
<aantron_> orbifx[m]: i want to mention you in the lwt changelog, what name should i use?
<dxtr> octachron: yeah
demonimin has quit [Ping timeout: 260 seconds]
demonimin has joined #ocaml
<octachron> zozozo, thanks
TheLemonMan has joined #ocaml
<dxtr> octachron: Oh you mean regarding that exception?
<dxtr> Oh yeah that makes sense
<dxtr> Now the question is how I feed it the connection details to the database :D
<dxtr> During compile time that is
<dxtr> "Note that in
<dxtr> order for the programme to compile and run, the POSTGRESQL Postmaster1 must be running on the local
<dxtr> err
<dxtr> Sorry about that
jlam_ has joined #ocaml
<octachron> dxtr, the right environment variables to set are described a bit later
<dxtr> Alright
<dxtr> Neat
tane has quit [Quit: Leaving]
ryanartecona has quit [Quit: ryanartecona]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
ryanartecona has joined #ocaml
zpe has joined #ocaml
<orbifx[m]> aantron_: are you using real names or nicknames?
<aantron_> i tend to use real names, but i can go with your preference. if you like, edit it into the TODO here: https://github.com/ocsigen/lwt/wiki/3.1.0-draft-changelog
olibjerd has quit [Quit: olibjerd]
Sakarah has quit [Remote host closed the connection]
kolko has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
zpe has quit [Ping timeout: 255 seconds]
ryanartecona has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 is now known as Guest87026
infinity0 has joined #ocaml
Guest87026 has quit [Killed (hobana.freenode.net (Nickname regained by services))]
zpe has joined #ocaml
kakadu_ has quit [Ping timeout: 240 seconds]
kakadu_ has joined #ocaml
zpe has quit [Remote host closed the connection]
enterprisey has quit [Read error: Connection reset by peer]
MercurialAlchemi has joined #ocaml
zpe has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
zpe has quit [Remote host closed the connection]
pierpa has joined #ocaml
<dxtr> Can I do something like type foo = { bar : 'a PGOCaml.t }?
<dxtr> 'a apparently didn't work
<mrvn> if you use type 'a foo or GADTs then yes
<octachron> mrvn, or polymorphic field if there { x: 'a. 'a PGOCaml.t } is inhabited
<dxtr> Oh I can totally use a polymorphic field
<mrvn> that would be pretty useless without witness or accessor.
<mrvn> I'm asuming 'a encodes the type of your database
<dxtr> Actually I have no idea yet what pgocaml encodes there yet
<dxtr> It changed from a unit to a hashtable
ygrek has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
aantron_ has quit [Quit: Page closed]
SomeDamnBody has joined #ocaml
rossberg_ has quit [Ping timeout: 255 seconds]
<SomeDamnBody> So, I want to profile by using the <**/*>: profile line in _tags
<SomeDamnBody> But, when I do that, _tags overrides my _oasis file. I have specified all my dependencies there, and I would like to not have to repeat them in my _tags.
<SomeDamnBody> Right now, when I try to compile, I get some unbound module errors.
<octachron> SomeDamnBody, did you add your line after the OASIS section in the Oasis generated _tags?
<mrvn> I like the dynamic mode
rossberg_ has joined #ocaml
rostero has joined #ocaml
Denommus` has quit [Ping timeout: 255 seconds]
kakadu_ has quit [Remote host closed the connection]
<haesbaert> stupid question, why does let foo = function | [], [] -> true has the protype of 'a list * 'a list -> bool, and not 'a list -> 'a list -> bool ?
ryanartecona has quit [Quit: ryanartecona]
<haesbaert> I know I can explicity do let foo a b = match a, b with .... and then I get what I want
richi235 has quit [Remote host closed the connection]
<Armael> "function | pat -> ..." has a type of the form _ -> _, where pat is a pattern for the argument
<Armael> and _, _ is a pattern for tuples
<Armael> so [], [] is a pattern for tuples of lists
<haesbaert> ah so when I explicitly do match a, b I actually create a tuple
<Armael> for a tuple of lists*
<Armael> yes
<haesbaert> ah I see, so there is no way I guess to achieve that without explicily creating the tuple
<Armael> not really
<haesbaert> got it, thanks :D
richi235 has joined #ocaml
jlam_ has quit [Read error: Connection reset by peer]
jlam_ has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
cranmax has quit [Quit: Connection closed for inactivity]
ryanartecona has joined #ocaml