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
kakadu_ has quit [Remote host closed the connection]
ayxih has quit [Remote host closed the connection]
ayxih has joined #ocaml
connorjacobsen has joined #ocaml
connorjacobsen has quit [Read error: Connection reset by peer]
connorjacobsen has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
connorjacobsen has quit [Remote host closed the connection]
bruce_r has joined #ocaml
connorjacobsen has joined #ocaml
ayxih has quit [Quit: Leaving]
connorjacobsen has quit [Read error: Connection reset by peer]
olle has quit [Ping timeout: 252 seconds]
vodkaInferno has joined #ocaml
connorjacobsen has joined #ocaml
pierpa has quit [Quit: Page closed]
mfp__ has quit [Ping timeout: 255 seconds]
connorjacobsen has quit [Ping timeout: 248 seconds]
pzp has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
jlam__ has quit [Ping timeout: 240 seconds]
jlam_ has joined #ocaml
cbot_ has joined #ocaml
ygrek has joined #ocaml
cbot has quit [Ping timeout: 252 seconds]
pigeonv has quit [Ping timeout: 276 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
connorjacobsen has joined #ocaml
connorjacobsen has quit [Remote host closed the connection]
connorjacobsen has joined #ocaml
connorjacobsen has quit [Read error: Connection reset by peer]
connorjacobsen has joined #ocaml
connorjacobsen has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 248 seconds]
cbot_ has quit [Ping timeout: 260 seconds]
cbot has joined #ocaml
coventry has joined #ocaml
<coventry> What is the "-> 'a desc" doing in "type 'a desc = ... | Obj : 'a field -> 'a desc" here? Isn't that the default "return type" for this GADT? And yet, if you remove the "-> 'a desc", you get an error message, "Constraints are not satisfied in this type. Type 'a field should be an instance of 'a0 desc" https://github.com/tezos/tezos/blob/master/src/minutils/data_encoding.ml#L134
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
xuanrui has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
alexelcu has quit [Remote host closed the connection]
alexelcu has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
xuanrui has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
mbuf has joined #ocaml
nomicflux has quit [Quit: nomicflux]
pzp has quit [Quit: Connection closed for inactivity]
xuanrui has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
jlam_ has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
axesd9 has joined #ocaml
axesd9 has quit [Quit: WeeChat 1.9]
_whitelogger has joined #ocaml
coventry has quit [Ping timeout: 240 seconds]
<octachron> coventry, there is no default return type for GADT, consider for instance "type 'a t = A: 'a * 'b -> ? " what should be this default return type here? 'a t? 'b t? ('a * 'b ) t?
_whitelogger has joined #ocaml
cbot has quit [Quit: Leaving]
mbuf has quit [Quit: Leaving]
bruce_r has quit [Ping timeout: 246 seconds]
olle_ has joined #ocaml
letoh_ has joined #ocaml
letoh has quit [Ping timeout: 240 seconds]
connorjacobsen has joined #ocaml
letoh_ is now known as letoh
connorjacobsen has quit [Ping timeout: 264 seconds]
olle_ has quit [Ping timeout: 248 seconds]
<sspi> I'm trying to load Core_kernel within JSOO - however I'm stuck at a "Reference to undefined global `Core_kernel'" message.
<sspi> I was wondering if anyone had tips on solving this
SomeDamnBody has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 240 seconds]
xuanrui has quit [Quit: Leaving]
mfp__ has joined #ocaml
ziyourenxiang has joined #ocaml
FreeBirdLjj has joined #ocaml
microt has joined #ocaml
olle_ has joined #ocaml
samrat has joined #ocaml
<microt> I get an error when trying to get Array.fold_left to work in a compiled program. I get Error: Unbound value Array.fold_left. However, I can get Array.fold_left to work in utop. I imagine there is an obvious mistake I am doing. I would appreciate advice pointing me in the right direction.
<adrien> do you use Core?
<microt> Yes, I use core!
<microt> And Array.fold_right fails for the same reason, is there a special way to implement Array folds for core?
<adrien> I don't know what Core provides but you should check its documentation again because it's quite likely there is a replacement
<adrien> maybe simple "fold"
samrat has quit [Ping timeout: 240 seconds]
<microt> Ah great, I'll check into that. I thought I had found the correct documentation but perhaps not. Thank adrien.
sepp2k has joined #ocaml
connorjacobsen has joined #ocaml
connorjacobsen has quit [Ping timeout: 260 seconds]
microt has quit [Quit: Mutter: www.mutterirc.com]
MercurialAlchemi has joined #ocaml
_whitelogger has joined #ocaml
sam___ has joined #ocaml
TheLemonMan has joined #ocaml
jlam_ has joined #ocaml
jlam has quit [Ping timeout: 248 seconds]
pigeonv has joined #ocaml
<orbifx[m]> is there a reason why Set.fold doesn't have an equivalent signature to List.fold_left?
pigeonv has quit [Ping timeout: 240 seconds]
igstan has joined #ocaml
igstan has quit [Client Quit]
samrat has joined #ocaml
<Leonidas> orbifx[m]: because it doesn't matter how you access items from a set, since it is unordered anyway?
sam___ has quit [Ping timeout: 248 seconds]
<orbifx[m]> Leonidas: yeah, but I thought fold_left's interface was more common and popular
<Leonidas> would you then not expect a right fold too?
<Leonidas> and they would do the exact same thing, bar flipped function arguments?
<Leonidas> i guess you could argue that way
malina has joined #ocaml
sam_ has joined #ocaml
<orbifx[m]> no, that's what I'm saying, I thought fold_left's interface was the more intuitive one, or the most conventional one.
<orbifx[m]> It's no biggy, just caught me by surprise
sam_ has quit [Ping timeout: 248 seconds]
sam_ has joined #ocaml
samrat has quit [Ping timeout: 248 seconds]
sam_ has quit [Ping timeout: 260 seconds]
Associat0r has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
sam_ has joined #ocaml
BitPuffin|osx has joined #ocaml
nomicflux has joined #ocaml
Associat0r has quit [Read error: Connection reset by peer]
Associat0r has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
samrat has joined #ocaml
pigeonv has joined #ocaml
mbuf has joined #ocaml
dhil has joined #ocaml
nomicflux has quit [Quit: nomicflux]
jlam__ has quit [Ping timeout: 248 seconds]
jlam has joined #ocaml
Associat0r_ has joined #ocaml
Associat0r has quit [Ping timeout: 252 seconds]
sh0t has joined #ocaml
samrat has quit [Ping timeout: 248 seconds]
nomicflux has joined #ocaml
pigeonv has quit [Ping timeout: 255 seconds]
sepp2k has quit [Ping timeout: 248 seconds]
jlam__ has joined #ocaml
jlam has quit [Ping timeout: 248 seconds]
malina has quit [Read error: Connection reset by peer]
sam_ has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
microt has joined #ocaml
samrat has joined #ocaml
microt has quit [Client Quit]
jao has joined #ocaml
KeyJoo has joined #ocaml
microt has joined #ocaml
ShalokShalom has joined #ocaml
ShalokShalom has quit [Read error: Connection reset by peer]
microt has quit [Client Quit]
jlam has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
jlam__ has joined #ocaml
jlam has quit [Ping timeout: 252 seconds]
peterpp has joined #ocaml
underscore has joined #ocaml
microt has joined #ocaml
microt has quit [Client Quit]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 255 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
wklm has quit [Quit: leaving]
argent_smith has joined #ocaml
underscore has quit [Ping timeout: 240 seconds]
jlam has joined #ocaml
jlam__ has quit [Ping timeout: 248 seconds]
coventry has joined #ocaml
sepp2k has quit [Quit: Leaving.]
<coventry> Thanks, octachron. I get it now.
KeyJoo has quit [Remote host closed the connection]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 255 seconds]
bruce_r has joined #ocaml
mbuf has quit [Quit: Leaving]
argent_smith has quit [Quit: Leaving.]
underscore has joined #ocaml
underscore has quit [Ping timeout: 260 seconds]
copy_ has joined #ocaml
ygrek has joined #ocaml
<coventry> Is there a technical name for 'a in "type 'a t = | Null : unit desc"?
<lyxia> type variable
<coventry> Thanks, lyxia
sam_ has joined #ocaml
malina has joined #ocaml
sam_ has quit [Ping timeout: 246 seconds]
jao has quit [Ping timeout: 246 seconds]
coventry has quit [Read error: Connection reset by peer]
SomeDamnBody has joined #ocaml
<SomeDamnBody> I'm having trouble with linking some C/++ code into a library target with oasis and ocamlbuild
underscore has joined #ocaml
pecan has joined #ocaml
<SomeDamnBody> I've got the oasis examples, with-c pulled up, and I followed it exactly. But the oasis with-c example does not build, and the error I get relates to a target that should be linked against.
samrat has quit [Ping timeout: 240 seconds]
<pecan> Is there a recommended OpenGL binding? there seem to be quite a few of them (tgl, lablgl, glcaml, glmlite…) and it's hard to determine what's actively developed
<Drup> pecan: the only one that is really up to date is tgl
<pecan> that's the only one that I can clearly determine supports OpenGL 4
<Drup> the other one will work, but are not actively developed and will go through older version of opengl
<pecan> guess I'll use that
<pecan> thanks
<Drup> (the flipside is that tgl has not high level API whatsoever)
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 248 seconds]
peterpp has quit [Ping timeout: 260 seconds]
TheLemonMan has joined #ocaml
enterprisey has joined #ocaml
underscore has quit [Ping timeout: 240 seconds]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 255 seconds]
jao has joined #ocaml
bruce_r has quit [Ping timeout: 276 seconds]
bruce_r has joined #ocaml
peterpp has joined #ocaml
bruce_r has quit [Ping timeout: 240 seconds]
connorjacobsen has joined #ocaml
jlam has quit [Ping timeout: 252 seconds]
jlam has joined #ocaml
Danishman has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
jlam__ has joined #ocaml
jlam has quit [Ping timeout: 240 seconds]
jlam__ has quit [Ping timeout: 260 seconds]
Kakadu has joined #ocaml
peterpp_ has joined #ocaml
peterpp has quit [Ping timeout: 260 seconds]
sam_ has joined #ocaml
enterprisey has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
sam_ has quit [Ping timeout: 260 seconds]
Sim_n has quit [Ping timeout: 246 seconds]
KeyJoo has joined #ocaml
Sim_n has joined #ocaml
connorjacobsen has quit [Remote host closed the connection]
connorjacobsen has joined #ocaml
malina has quit [Read error: Connection reset by peer]
jao has joined #ocaml
connorja_ has joined #ocaml
connorjacobsen has quit [Read error: Connection reset by peer]
jmiven has quit [Quit: co'o]
ncthom91 has joined #ocaml
jmiven has joined #ocaml
KeyJoo has quit [Remote host closed the connection]
KeyJoo has joined #ocaml
sam_ has joined #ocaml
SomeDamnBody has quit [Remote host closed the connection]
KeyJoo has quit [Remote host closed the connection]
sam_ has quit [Ping timeout: 246 seconds]
KeyJoo has joined #ocaml
joncfoo has joined #ocaml
KeyJoo has quit [Remote host closed the connection]
<joncfoo> given: `let () = Firebug.console##log (Js.string "hi")` in foo.ml and `ocamlbuild -use-ocamlfind -r -pkgs 'js_of_ocaml' foo.byte` why might one see `Error: '##' is not a valid value identifier.` ? I'm using ocaml 4.05.0
KeyJoo has joined #ocaml
<Drup> you also need the ppx
<joncfoo> ah!, thanks Drup!
<joncfoo> have there been any efforts to create a JS framework/library for the browser with React (not ReactJS)?
<Drup> joncfoo: well, js_of_ocaml.tyxml and eliom contains lot's of react-based things
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<joncfoo> any idea when the oscigen website will be up again?
<Drup> Huh, didn't noticed it was down. Should be pretty quick though
<joncfoo> is there someplace where docs are hosted for packages on opam?
<Drup> not yet, there is http://docs.mirage.io/ for mirage things though
<joncfoo> ah, thanks! that helps a lot!
<Drup> joncfoo: alternatively, there is odig
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
peterpp_ has quit [Ping timeout: 260 seconds]
<joncfoo> noob question: suppose I have a tyxml element, how would I append it to the DOM? e.g. - let%html hello = {|<div>Hello!</div>|}; let () = Dom.appendChild Dom_html.window##document##.body ....
peterpp_ has joined #ocaml
sam_ has joined #ocaml
<Drup> joncfoo: the modern prefered way is with Tyxml_js.Register
coventry has joined #ocaml
enterprisey has joined #ocaml
sam_ has quit [Ping timeout: 248 seconds]
iitalics has joined #ocaml
<coventry> Is there a way, using ocp-index or merlin, to find all occurences of a given type/function/module in a project? Ideally with a handy emacs binding?
copy_ has quit [Quit: Connection closed for inactivity]
Kakadu has quit [Quit: Konversation terminated!]
<Drup> coventry: ocp-grep!
<Drup> (provided with ocp-index)
<coventry> Drup: Thanks. I was confused because "C-c /" isn't being very smart about pulling the fully-qualified name out of the symbol at point, but entering it manually works.
malina has joined #ocaml
kolko has quit [Quit: ZNC - http://znc.in]
sam_ has joined #ocaml
<coventry> Where is the documentation for pragmas like "# 1 <filename>"? I can see what it must mean in this case, but would be nice to know where to look it up.
enterprisey has quit [Remote host closed the connection]
tautologico has joined #ocaml
<joncfoo> Is there a minimal example of using Tyxml_js.Register.{id, body} with tyxml ppx ?
<Drup> hmm, not with the ppx
<Drup> don't forget that, if you use the ppx for Tyxml_js, you need to make the right modules available (so, open Tyxml_js, or something like that)
sam_ has quit [Ping timeout: 248 seconds]
<coventry> Regarding "# 1", looks like that is processed by some kind of code-generation tool, so it won't be in OCaml documentation...
<Drup> coventry: there are no pragmas in OCaml (except in the toplevel)
<Drup> this is called a "line directive"
<Armael> it gives the line number in the file the .ml has been processed from, right?
<coventry> Looks like it. Thanks, Drup. https://caml.inria.fr/pub/docs/manual-ocaml/lex.html
<joncfoo> Drup thanks for the hint - if you get a chance could you help me understand the error message here: http://sprunge.us/WeeL
connorja_ has quit [Read error: Connection reset by peer]
<Drup> joncfoo: as I said, replace "open Tyxml" by "open Tyxml_js"
<Armael> ugh, ocsigen.org being down is annoying
<joncfoo> ah, I had to replace it and not add it
<Armael> also, Tyxml_js.Register.id seems to want a list of html elements
<joncfoo> thanks Armael - it worked once I wrapped it in [ ]
<Armael> cool
<joncfoo> at leas it compiled hehe
cbot has joined #ocaml
sam_ has joined #ocaml
keep_learning has quit [Remote host closed the connection]
keep_learning has joined #ocaml
iitalics has quit [Quit: /thread]
Associat0r_ has quit [Ping timeout: 248 seconds]
andreas__ has quit [Quit: Connection closed for inactivity]
sh0t has quit [Remote host closed the connection]
Associat0r_ has joined #ocaml
sepp2k has joined #ocaml
connorjacobsen has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
peterpp_ has quit [Ping timeout: 260 seconds]
Sim_n has quit [Quit: Leaving]
connorjacobsen has quit [Remote host closed the connection]
connorjacobsen has joined #ocaml
mengu has joined #ocaml
raphaelss has quit [Ping timeout: 248 seconds]
coventry has quit [Remote host closed the connection]
joncfoo has quit [Quit: Leaving.]
joncfoo has joined #ocaml
joncfoo has quit [Client Quit]
enterprisey has joined #ocaml
sepp2k has quit [Quit: Leaving.]
connorjacobsen has quit [Remote host closed the connection]
rostero has joined #ocaml
Danishman has quit [Quit: KVIrc 4.9.1 Aria http://www.kvirc.net/]
raphaelss has joined #ocaml