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
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
sh0t has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
mengu has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
mfp__ has quit [Ping timeout: 240 seconds]
coventry` has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 248 seconds]
iitalics has joined #ocaml
mengu has joined #ocaml
mengu has quit [Client Quit]
sam has joined #ocaml
sam is now known as Guest94484
Guest94484 has quit [Ping timeout: 240 seconds]
mal`` has quit [Quit: Leaving]
seliopou has quit [Ping timeout: 240 seconds]
seliopou has joined #ocaml
mal`` has joined #ocaml
profan has quit [Ping timeout: 240 seconds]
profan has joined #ocaml
FreeBirdLjj has joined #ocaml
keep_learning has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
sam__ has joined #ocaml
copy_ has quit [Quit: Connection closed for inactivity]
cbot has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
pierpa has quit [Quit: Page closed]
sam__ has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
coventry` has joined #ocaml
sam has joined #ocaml
sam is now known as Guest19210
<coventry`> What is the period doing in "type x. x t -> x -> int"? Is it just a separator, so the expression is equivalent to the abstract local type syntax "(type x) etc."?
Brocoli_ is now known as Armael
Guest19210 has quit [Ping timeout: 240 seconds]
nomicflux has joined #ocaml
sh0t has quit [Quit: Leaving]
kmicinski has joined #ocaml
<kmicinski> Hi all, I'm running into a really nasty stack overflow where I think things should be tail calls but they're not. Any hints on how to debug this? I can't even observe where the stackoverflow happens
<kmicinski> I've set OCAMLRUNPARAM=b running with debug, but no dice so far. -annot tells me something is a stack call but there's no apparent reason why that would be the course.
nomicflux has quit [Quit: nomicflux]
jimt has joined #ocaml
mbuf has joined #ocaml
Ragora is now known as Ragora|Away
Ragora|Away is now known as Ragora
kmicinski has quit [Quit: BitchX-1.2.1 -- just do it.]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 255 seconds]
nomicflux has joined #ocaml
malina has joined #ocaml
Ergatis has joined #ocaml
_whitelogger has joined #ocaml
nomicflux has quit [Quit: nomicflux]
<coventry`> Is there a way to get tuareg-run-ocaml to follow the .merlin directives -- loading the specified packages, setting the search dirs, etc.?
_whitelogger has joined #ocaml
samrat_ has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
raphaelss has quit [Quit: Lost terminal]
jao has quit [Ping timeout: 240 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
malina has joined #ocaml
iitalics has quit [Quit: /thread]
govg has joined #ocaml
samrat_ has quit [Quit: Leaving]
samrat_ has joined #ocaml
fraggle_ has quit [Ping timeout: 255 seconds]
fraggle_ has joined #ocaml
enterprisey has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
samrat_ has quit [Quit: Leaving]
bvad has joined #ocaml
<bvad> Hey guys, I just noticed that the Let's Encrypt cert on https://ocaml.org is expired. You probably already noticed :)
mbuf has quit [Ping timeout: 248 seconds]
tokomak has quit [Ping timeout: 248 seconds]
malina has quit [Quit: Throwing apples of Montserrat]
samrat_ has joined #ocaml
bruce_r has quit [Ping timeout: 246 seconds]
mbuf has joined #ocaml
ShalokShalom_ has joined #ocaml
ShalokShalom has quit [Ping timeout: 240 seconds]
cbot has quit [Quit: Leaving]
dhil has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
sam has joined #ocaml
sam is now known as Guest97836
malina has joined #ocaml
Guest97836 has quit [Ping timeout: 240 seconds]
Ergatis has quit [Quit: Konversation terminated!]
<reynir> Is the PATTERNS in man opam-search documented somewhere?
<reynir> (I wanted to search by package author)
aniou has joined #ocaml
Ragora has quit [Ping timeout: 248 seconds]
haesbaert has joined #ocaml
sam has joined #ocaml
sam is now known as Guest39418
leah2 has quit [Ping timeout: 255 seconds]
Guest39418 has quit [Ping timeout: 240 seconds]
leah2 has joined #ocaml
sam__ has joined #ocaml
dakk has joined #ocaml
kolko has quit [Read error: Connection reset by peer]
kolko has joined #ocaml
theblatte has joined #ocaml
sam__ has quit [Ping timeout: 248 seconds]
sam has joined #ocaml
sam is now known as Guest19332
Guest19332 has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
Nazral has quit [Ping timeout: 240 seconds]
coventry` has quit [Ping timeout: 255 seconds]
mfp__ has joined #ocaml
ShalokShalom_ is now known as ShalokShalom
gargawel has joined #ocaml
jnavila_ has joined #ocaml
jnavila has quit [Read error: Connection reset by peer]
dhil has joined #ocaml
mbuf has quit [Ping timeout: 240 seconds]
freusque has joined #ocaml
mbuf has joined #ocaml
jpdeplaix has quit [Remote host closed the connection]
jpdeplaix has joined #ocaml
jnavila_ has quit [Remote host closed the connection]
jnavila_ has joined #ocaml
sam has joined #ocaml
sam is now known as Guest84476
Guest84476 has quit [Ping timeout: 255 seconds]
Nazral has joined #ocaml
jnavila_ has quit [Ping timeout: 240 seconds]
johnelse_ has joined #ocaml
johnelse has quit [Ping timeout: 248 seconds]
BitPuffin|osx has joined #ocaml
malina has quit [Ping timeout: 276 seconds]
<jpdeplaix> reynir: seems like it's not documented (or I didn't find it) but according to the source code, the default behaviour is to call « Re_glob.glob ~expand_braces:true pat »
<jpdeplaix> reynir: the documentation is here: https://github.com/ocaml/ocaml-re/blob/master/lib/re_glob.mli#L27
samrat_ has quit [Quit: Leaving]
tormen has joined #ocaml
noddy has quit [Read error: Connection reset by peer]
Joost has quit [Ping timeout: 255 seconds]
<reynir> Thanks!
Joost has joined #ocaml
ziyourenxiang has joined #ocaml
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 248 seconds]
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
enterprisey has quit [Client Quit]
malina has joined #ocaml
johnelse has joined #ocaml
vramana_ has joined #ocaml
vramana has quit [Ping timeout: 255 seconds]
johnelse_ has quit [Ping timeout: 248 seconds]
vramana has joined #ocaml
copy_ has joined #ocaml
vramana_ has quit [Ping timeout: 276 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 255 seconds]
sepp2k has joined #ocaml
malina has quit [Remote host closed the connection]
ristos has joined #ocaml
sam has joined #ocaml
sam is now known as Guest488
keep_learning has quit [Ping timeout: 240 seconds]
Guest488 has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
malina has joined #ocaml
dhil has quit [Ping timeout: 246 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 255 seconds]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 255 seconds]
bobditlane has joined #ocaml
bobditlane has quit [Quit: Page closed]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
sam has joined #ocaml
sam is now known as Guest24816
Guest24816 has quit [Ping timeout: 246 seconds]
Soni has quit [Ping timeout: 246 seconds]
FreeBirdLjj has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 255 seconds]
FreeBirdLjj has quit [Ping timeout: 248 seconds]
sam__ has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
jlam_ has joined #ocaml
sam__ has quit [Ping timeout: 248 seconds]
sam has joined #ocaml
sam is now known as Guest68578
Guest68578 has quit [Ping timeout: 248 seconds]
sh0t has joined #ocaml
dakk has quit [Ping timeout: 240 seconds]
dakk has joined #ocaml
dhil has joined #ocaml
vramana has quit [Ping timeout: 246 seconds]
Soni has joined #ocaml
vramana has joined #ocaml
rostero has quit [Quit: Connection closed for inactivity]
dhil has quit [Quit: Quit]
vramana has quit [Ping timeout: 240 seconds]
vramana has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
govg has quit [Ping timeout: 240 seconds]
tianon has joined #ocaml
tokomak has joined #ocaml
cow-orker has joined #ocaml
al-damiri has joined #ocaml
dhil has joined #ocaml
jao has joined #ocaml
<l1x> Does Mirage run on bar metal hardware without KVM or linux kernel?
<theblatte> only beer can run on bar metal
<l1x> :)
<l1x> so linux + kvm + mirage is the minimum setup, right?
noddy has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
<theblatte> l1x: sorry, I'm just in for the pun :) I'm not sure linux is needed
<l1x> no worries :)
<l1x> i found this that claims to be running on bare metal
<Drup> linux is certainly not needed
<Drup> you need either a microkernel, such as rumprun, or an hypervisor, such as xen
jao has joined #ocaml
<Drup> Err, I meant microkernel such as solo5: https://github.com/solo5/solo5
Denommus has joined #ocaml
<Drup> it's not "completely bare metal", though, as you noted
<l1x> is there a way to run xen without linux? i wasnt aware
govg has joined #ocaml
<sgnb> it seems possible to run FreeBSD as dom0
<Drup> l1x: I think so, but it's not really my area of expertise :p
<l1x> sgnb: true! i meant running XEN without a kerlnel like linux or the freebsd kernel
<l1x> it appears to me that mirageos can run on some sort of kernel that does the hardware related tasks. i see solo5, ukvm, and a few other porjects that work on running mirageos without XEN/KVM
<Denommus> are there any special policies for a pull request for caml.el?
<Denommus> or is it just normal the normal policies on CONTRIBUTING.md?
sepp2k has quit [Quit: Leaving.]
enterprisey has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 248 seconds]
enterprisey has quit [Remote host closed the connection]
kalio has joined #ocaml
prateek_mir has joined #ocaml
kalio has quit [Quit: WeeChat 1.9]
prateek_mir has quit []
sepp2k has joined #ocaml
sepp2k has quit [Client Quit]
fredcy has quit [Quit: ZNC - http://znc.in]
prateek_mir has joined #ocaml
fredcy has joined #ocaml
prateek_mir has left #ocaml [#ocaml]
prateek_mir has joined #ocaml
mbuf has quit [Quit: Leaving]
<prateek_mir> Hi Folks, has any one used ocaml-for-windows here extensively ? I am having trouble understanding the workflow
kalio has joined #ocaml
sepp2k has joined #ocaml
sam has joined #ocaml
sam is now known as Guest63352
prateek_mir has quit [Quit: leaving]
prateek_mir has joined #ocaml
Guest63352 has quit [Ping timeout: 255 seconds]
FreeBirdLjj has joined #ocaml
Ragora has joined #ocaml
_andre has quit [Ping timeout: 255 seconds]
prateek_mir has quit [Quit: leaving]
FreeBirdLjj has quit [Remote host closed the connection]
Fardale has quit [Ping timeout: 246 seconds]
dakk has quit [Ping timeout: 246 seconds]
FreeBirdLjj has joined #ocaml
tobiasBora has quit [Ping timeout: 260 seconds]
dakk has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
Fistine has quit [Ping timeout: 246 seconds]
Fistine has joined #ocaml
Fardale has joined #ocaml
tobiasBora has joined #ocaml
malina has quit [Ping timeout: 248 seconds]
sam has joined #ocaml
sam is now known as Guest23981
Ergatis has joined #ocaml
Ragora has quit [Read error: Connection reset by peer]
tokomak has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 240 seconds]
sepp2k has quit [Quit: Leaving.]
<ShalokShalom> i guess this might still work? https://github.com/mlin/twt
<Drup> ShalokShalom: I would advise strongly against it
<ShalokShalom> ok, thanks
<ShalokShalom> did the syntax of OCaml change that much since then?
<Drup> Oh no, that's not the problem
<Drup> the problem is that twt is just an horribly terrible idea
<theblatte> what the fuck
<theblatte> I'm impressed that they managed to turn OCaml into that, when OCaml is one of the very few whitespace-independent grammars out there
<Drup> theblatte: well, I mean, it's a preprocessor, you can do whatever you want.
<ShalokShalom> ok, thanks a lot
<theblatte> Drup: sure, but the rest of it looks like ocaml
<ShalokShalom> how does OCaml the block building?
<theblatte> I was commenting more on the conceptual leap than the actual technical merits :)
<Drup> theblatte: have you looked at F#'s syntax ? :p
<theblatte> Drup: haven't been able to :p
<theblatte> is that what F# does?
<Drup> well, except it actually does it well
<theblatte> does not compute
<Drup> (for a definition of "well" that fits whitespace sensitive things)
Guest23981 has quit [Ping timeout: 240 seconds]
<thizanne> whitespace sensitivity is actually quite nice for an imperative language like python, where one line is approximately one independent unit anyway
<thizanne> it just doesnt play nicely with functional languages where it's simply not the case anymore
<theblatte> it's awful in python too
malina has joined #ocaml
<Drup> It's very much a religious debate, though
bruce_r has joined #ocaml
bruce_r has quit [Ping timeout: 255 seconds]
ziyourenxiang has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
sz0 has quit [Quit: Connection closed for inactivity]
malina has quit [Quit: Throwing apples of Montserrat]
<ShalokShalom> theblatte: aha
<ShalokShalom> thizanne:
<ShalokShalom> that makes sense
<ShalokShalom> how does Ocaml that?
<ShalokShalom> I see no {}
radial has joined #ocaml
<radial> how do i get the full path of a file on linux?
<radial> (through ocaml, of course)
<radial> i'm not seeing it
<radial> where in that web page an answer to how to get the full path of a file?
<drsmkl[m]> seems like you have to make the full path yourself using getcwd
vramana has quit [Ping timeout: 248 seconds]
vramana has joined #ocaml
kakadu has joined #ocaml
kakadu has quit [Client Quit]
tokomak has joined #ocaml
kakadu has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
dogui has joined #ocaml
<dogui> is it possible that online docs are outdated for 4.05.0? I think Ptyp_poly now requires a list of `string loc` instead of just `string`
bruce_r has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
tormen has quit [Quit: Lost terminal]
tormen has joined #ocaml
vramana has quit [Ping timeout: 240 seconds]
vramana has joined #ocaml
sam has joined #ocaml
sam is now known as Guest13086
tokomak has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
tokomak has joined #ocaml
Guest13086 has quit [Ping timeout: 240 seconds]
radial has left #ocaml [#ocaml]
jao has quit [Ping timeout: 255 seconds]
andreas__ has quit [Quit: Connection closed for inactivity]
dakk has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
coventry has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
<coventry> Is there a handy way to start an ocaml toplevel with the package loads and other configurations specified in .merlin files? How does one usually do repl-driven development in a multi-directory OCaml project, using emacs tuareg-mode or the like?
ShalokShalom has quit [Remote host closed the connection]
<smondet[m]> coventry: about the package loading part, some build systems (like solvuu-build) generate a `.ocamlinit` file as well as the `.merlin` file, so that's a way if having them in sync and working
<def`> thinking about it... It should be possible to have a generic .ocamlinit that lookup a .merlin file.
<coventry> Thanks, didn't know about .ocamlinit... Is repl experimentation unpopular among OCaml programmers? Maybe the type system makes it less useful than in lisp?
<def`> It is popular. It is just that hmm, there is not yet a coherent story between the different tools.
tane has joined #ocaml
sam__ has joined #ocaml
copy_ has quit [Quit: Connection closed for inactivity]
sam__ has quit [Ping timeout: 240 seconds]
ShalokShalom has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
BitPuffin|osx has joined #ocaml
tokomak has quit [Remote host closed the connection]
BitPuffin|osx has quit [Ping timeout: 240 seconds]
cbot has joined #ocaml
FreeBirdLjj has joined #ocaml
pierpa has joined #ocaml
bruce_r has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Ping timeout: 248 seconds]
tane has quit [Quit: Leaving]
sam has joined #ocaml
sam is now known as Guest35923
theindigamer has joined #ocaml
<theindigamer> I'm getting an invalid security certificate error on Ocaml.org. Can someone double-check this?
Guest35923 has quit [Ping timeout: 240 seconds]
<Fardale> theindigamer: the certificate expired
<theindigamer> Fardale: yeah, I was just making sure there wasn't some error on my side which gave a wrong error code.
<Fardale> someone else already mention it
kolko has quit [Ping timeout: 255 seconds]
<theindigamer> Sorry, I didn't know, I just hopped onto IRC a little while back.
theindigamer has left #ocaml [#ocaml]
Denommus has quit [Ping timeout: 255 seconds]
<coventry> What package would I find the global "Thread" in? `require "leveldb";;` results in `Error: Reference to undefined global `Thread'`
ristos has quit [Quit: Connection closed for inactivity]
bruce_r has joined #ocaml
<coventry> OK, I have to enable threads with "#thread;;"
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
sh0t has quit [Remote host closed the connection]
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
<ShalokShalom> you know Caddy?
<ShalokShalom> it handles SSL certificates for you
ygrek has quit [Ping timeout: 240 seconds]