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
dtornabene has quit [Ping timeout: 240 seconds]
Denommus has quit [Quit: going home]
nomicflux has joined #ocaml
dtornabene has joined #ocaml
shiyaz has quit [Ping timeout: 258 seconds]
jimmyrcom has quit [Remote host closed the connection]
enterprisey has joined #ocaml
jimmyrcom has joined #ocaml
kalio has quit [Quit: WeeChat 1.9.1]
Algebr has quit [Remote host closed the connection]
kalio has joined #ocaml
Soni has quit [Ping timeout: 260 seconds]
shinnya has quit [Ping timeout: 258 seconds]
Soni has joined #ocaml
pmetzger has quit []
pierpa has quit [Ping timeout: 260 seconds]
govg has quit [Ping timeout: 260 seconds]
mfp has quit [Ping timeout: 252 seconds]
sepp2k has quit [Quit: Leaving.]
govg has joined #ocaml
govg has quit [Ping timeout: 246 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 246 seconds]
mayhew has quit [Quit: WeeChat 1.6]
rawpass has joined #ocaml
nomicflux has quit [Quit: nomicflux]
xuanrui has joined #ocaml
<rawpass> hi, what's the use of a type without a constructor? I'm trying to understand, http://cristal.inria.fr/~fpottier/menhir/IncrementalEngine.ml.html, these Menhir types (token,env,production..), and I couldn't figure out how one construct something of type env for example...
nomicflux has joined #ocaml
<lyxia> rawpass: this just specifies an interface, there is no implementation here
nomicflux has quit [Quit: nomicflux]
rawpass has quit [Ping timeout: 248 seconds]
samrat has joined #ocaml
shinnya has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
jao has quit [Ping timeout: 248 seconds]
dtornabene has quit [Quit: Leaving]
govg has joined #ocaml
mbuf has joined #ocaml
kerrhau has quit [Ping timeout: 240 seconds]
xuanrui has quit [Ping timeout: 248 seconds]
xuanrui has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
xuanrui has quit [Ping timeout: 258 seconds]
dtornabene has joined #ocaml
malina has quit [Ping timeout: 248 seconds]
xuanrui has joined #ocaml
infinity0_ has joined #ocaml
infinity0 has quit [Ping timeout: 240 seconds]
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
seliopou_ has joined #ocaml
seliopou has quit [Ping timeout: 240 seconds]
malina has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
johnelse has joined #ocaml
zmt00 has quit [Quit: Leaving]
Simn has joined #ocaml
andreas__ has joined #ocaml
jonasen has joined #ocaml
jonasen has quit [Client Quit]
jonasen has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
freusque has joined #ocaml
AltGr has joined #ocaml
mk9 has joined #ocaml
shiyaz has joined #ocaml
mk9 has quit [Quit: mk9]
xuanrui has quit [Quit: Leaving]
mk9 has joined #ocaml
TheLemonMan has joined #ocaml
jmiven has quit [Ping timeout: 260 seconds]
porcow has joined #ocaml
mk9 has quit [Ping timeout: 248 seconds]
johnelse has quit [Quit: Lost terminal]
jmiven has joined #ocaml
johnelse has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
jimt_ has joined #ocaml
jimt has quit [Ping timeout: 240 seconds]
jimt_ is now known as jimt
MercurialAlchemi has joined #ocaml
sz0 has joined #ocaml
mfp has joined #ocaml
dhil has joined #ocaml
ziyourenxiang has joined #ocaml
kakadu has joined #ocaml
jonasen has quit [Ping timeout: 248 seconds]
kakadu has quit [Ping timeout: 240 seconds]
kakadu_ has joined #ocaml
Cypi has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
mk9 has quit [Ping timeout: 255 seconds]
mk9 has joined #ocaml
argent_smith has joined #ocaml
Guest82_ has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
Guest82_ has quit [Quit: Textual IRC Client: www.textualapp.com]
rawpass has joined #ocaml
rawpass has quit [Client Quit]
mk9 has quit [Ping timeout: 240 seconds]
maattdd has joined #ocaml
jonasen has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
dhil has quit [Ping timeout: 246 seconds]
porcow has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
fraya has joined #ocaml
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 252 seconds]
lgd_ has quit [Remote host closed the connection]
lgd_ has joined #ocaml
mk9 has joined #ocaml
HTTP_____GK1wmSU has joined #ocaml
dhil has joined #ocaml
HTTP_____GK1wmSU has left #ocaml [#ocaml]
nomicflux has joined #ocaml
jao has joined #ocaml
mk9 has quit [Ping timeout: 260 seconds]
samrat has quit [Ping timeout: 260 seconds]
fraya has quit [Quit: Leaving]
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
jao has quit [Ping timeout: 248 seconds]
mbuf has quit [Quit: Leaving]
nomicflux has quit [Quit: nomicflux]
malina has quit [Read error: Connection reset by peer]
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
mk9 has joined #ocaml
danieli has joined #ocaml
danieli has quit [Changing host]
danieli has joined #ocaml
sepp2k has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
shinnya has joined #ocaml
sh0t has joined #ocaml
dtornabene has quit [Quit: Leaving]
lgd_ has quit [Remote host closed the connection]
lgd_ has joined #ocaml
Simn has quit [Quit: Leaving]
Simn has joined #ocaml
sepp2k has quit [Remote host closed the connection]
mk9 has quit [Quit: mk9]
johnelse has quit [Read error: Connection reset by peer]
johnelse has joined #ocaml
jonasen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zolk3ri has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
sepp2k has joined #ocaml
guest__ has joined #ocaml
shiyaz has quit [Ping timeout: 264 seconds]
shinnya has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
webshinra has quit [Ping timeout: 240 seconds]
mk9 has quit [Quit: mk9]
webshinra has joined #ocaml
porcow has joined #ocaml
al-damiri has joined #ocaml
mk9 has joined #ocaml
AndChat4016 has joined #ocaml
AndChat4016 has quit [Client Quit]
AndChat4016 has joined #ocaml
aciniglio has joined #ocaml
maelkum has quit [Quit: WeeChat 1.9]
dhil has joined #ocaml
enterprisey has quit [Ping timeout: 260 seconds]
shiyaz has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
johnelse has joined #ocaml
rwmjones is now known as rwmjones|KVM_FOR
rwmjones|KVM_FOR is now known as rwmjones|KVM_FRM
rwmjones|KVM_FRM is now known as rwmjones|KVM2017
mk9 has quit [Quit: mk9]
zolk3ri has quit [Quit: Lost terminal]
stux|RC-only has quit [Ping timeout: 255 seconds]
zolk3ri has joined #ocaml
shinnya has joined #ocaml
zmt00 has joined #ocaml
Denommus has joined #ocaml
<Denommus> I need some help on React
<Denommus> knowledge on ReasonReact is also good
<Denommus> ok, I hate how the names are the same XD. I need help on the FRP library called React
stux|RC-only has joined #ocaml
<Denommus> I'm using willUpdate in this file here: https://github.com/Denommus/react-react/blob/master/src/reactReact.re
enterprisey has joined #ocaml
<Denommus> because calling "f props" will eventually trigger the subscription signal (assigned in didMount)
<Denommus> which will call reduce
<Denommus> the correct approach would be to, somehow, use willReceiveProps instead. But in willReceiveProps I can't call reduce directly. Instead, willReceive props is a self -> state function. That is, I need to return the new state
mk9 has joined #ocaml
<Denommus> so, is it possible somehow to call reduce on every vdomS update, EXCEPT when updating propsS, in this case just update the signal and return its new value?
<Denommus> (vdomS is usually composed out of propsS)
<Denommus> (ideally, willReceiveProps would be a self -> unit function instead, and would allow me to call reduce inside of it. Sadly, that's not the case)
<Denommus> (and making it the case would be a breaking change)
aphprentice has joined #ocaml
Cypi has joined #ocaml
benq has joined #ocaml
benq has quit [Client Quit]
enterprisey has quit [Ping timeout: 258 seconds]
jonasen has joined #ocaml
gargawel has quit [Ping timeout: 255 seconds]
gargawel has joined #ocaml
enterprisey has joined #ocaml
aciniglio has quit [Ping timeout: 260 seconds]
porcow has quit [Max SendQ exceeded]
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 260 seconds]
enterprisey has quit [Remote host closed the connection]
slash^ has joined #ocaml
shinnya has quit [Ping timeout: 255 seconds]
AndChat4016 has quit [Ping timeout: 252 seconds]
AndChat4016 has joined #ocaml
xuanrui has joined #ocaml
Anarchos has joined #ocaml
AltGr has left #ocaml [#ocaml]
jnavila has joined #ocaml
samrat has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
mk9 has quit [Quit: mk9]
jnavila has quit [Quit: Konversation terminated!]
mk9 has joined #ocaml
jnavila has joined #ocaml
mk9 has quit [Ping timeout: 255 seconds]
mk9 has joined #ocaml
jnavila has quit [Read error: No route to host]
jnavila has joined #ocaml
enterprisey has joined #ocaml
shiyaz has quit [Ping timeout: 240 seconds]
hxegon has joined #ocaml
hxegon has joined #ocaml
hxegon has left #ocaml [#ocaml]
jnavila has quit [Ping timeout: 240 seconds]
mk9 has quit [Quit: mk9]
jnavila has joined #ocaml
jao has joined #ocaml
jonasen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jnavila has quit [Ping timeout: 252 seconds]
andreas__ has quit [Quit: Connection closed for inactivity]
arj has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
arj is now known as yezariaely
yezariaely is now known as arj
enterprisey has quit [Ping timeout: 264 seconds]
jnavila has joined #ocaml
tane has joined #ocaml
_andre has quit [Quit: leaving]
groovy2shoes has quit [Quit: Leaving]
jnavila has quit [Ping timeout: 258 seconds]
enterprisey has joined #ocaml
Anarchos has quit [Remote host closed the connection]
Anarchos has joined #ocaml
samrat has quit [Ping timeout: 264 seconds]
xuanrui has quit [Read error: Connection reset by peer]
enterprisey has quit [Ping timeout: 248 seconds]
slash^ has quit [Read error: Connection reset by peer]
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
enterprisey has joined #ocaml
gpietro has joined #ocaml
sh0t has quit [Ping timeout: 240 seconds]
gpietro has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
igstan has joined #ocaml
igstan has quit [Client Quit]
mk9 has quit [Ping timeout: 255 seconds]
kerrhau has joined #ocaml
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
jnavila has joined #ocaml
dhil has quit [Ping timeout: 258 seconds]
theglass has quit [Quit: ZNC - http://znc.in]
webshinra has quit [Ping timeout: 258 seconds]
webshinra has joined #ocaml
zmt01 has joined #ocaml
zmt00 has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Leaving]
jnavila has quit [Read error: No route to host]
jnavila has joined #ocaml
sh0t has joined #ocaml
sh0t has quit [Read error: Connection reset by peer]
arj has quit [Quit: Leaving.]
jnavila has quit [Remote host closed the connection]
enterprisey has quit [Ping timeout: 240 seconds]
averell has quit [Ping timeout: 240 seconds]
nullifidian__ has quit [Ping timeout: 240 seconds]
averell has joined #ocaml
<hannes> when I've a signature S with a GADT (type _ t), I get an error (in my mli) when I do a module M : S with type _ t = Foo : int t | Bar : string: The signature constrained by `with' has no component named _
<hannes> which I do not understand tbh. I can define the type _ myt = ... elsewhere and use module M : S with 'a t = 'a myt
nullifidian__ has joined #ocaml
dratini0 has joined #ocaml
<octachron> hannes, first "with type … = … " adds a type equality, it can not define a new type, "sig type t end with type t = A " is invalid
<octachron> second, "with type _ t = int " is a syntax error for OCaml < 4.06
<hannes> octachron: ic, thanks!
<octachron> (i.e. type parameters need to be explicited before 4.06)
Denommus has quit [Quit: going home]
lgd_ has quit [Read error: Connection reset by peer]
lgd has joined #ocaml
Algebr has joined #ocaml
dejanr has quit [Read error: No route to host]
dejanr has joined #ocaml
<dratini0> ocamlbuild: can I convince it not to make symlinks, or at least put them somewhere more convenient? Also, can I move my -plugin-tag "package(js_of_ocaml.ocamlbuild)" switch from the command line/Makefile _tags?
<dratini0> from the command line/Makefile to _tags
dtornabene has joined #ocaml
jbrown has quit [Ping timeout: 248 seconds]
jbrown has joined #ocaml
jbrown has quit [Ping timeout: 248 seconds]
argent_smith1 has quit [Quit: Leaving.]
jbrown has joined #ocaml
mk9 has joined #ocaml
tormen_ has quit [Ping timeout: 246 seconds]
tormen has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
igstan has joined #ocaml
igstan has quit [Client Quit]
Simn has quit [Read error: Connection reset by peer]
maattdd has quit [Ping timeout: 246 seconds]
zolk3ri has quit [Quit: leaving]
keep_learning has joined #ocaml
mk9 has quit [Remote host closed the connection]
ziyourenxiang has quit [Ping timeout: 252 seconds]
wtetzner has joined #ocaml
theglass has joined #ocaml