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]
<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]
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?
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.
<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?