ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Logs at http://irclog.whitequark.org/ocaml
claudiuc_ has quit [Remote host closed the connection]
claudiuc has joined #ocaml
claudiuc has quit [Ping timeout: 240 seconds]
jbrown has quit [Ping timeout: 240 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
jprakash has quit [Ping timeout: 256 seconds]
philtor has quit [Ping timeout: 264 seconds]
jbrown has joined #ocaml
racycle has quit [Quit: ZZZzzz…]
matematikaadit has joined #ocaml
ontologiae_ has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
ontologiae_ has quit [Ping timeout: 240 seconds]
BitPuffin has quit [Ping timeout: 240 seconds]
alpounet has joined #ocaml
alpounet has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 240 seconds]
matematikaadit has quit [Quit: back to work]
jordjordjord has quit [Remote host closed the connection]
jprakash has joined #ocaml
shinnya has joined #ocaml
penglingbo has joined #ocaml
q66 has quit [Quit: Leaving]
shinnya has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
ustunozgur has joined #ocaml
waneck has joined #ocaml
jao has joined #ocaml
philtor_ has quit [Ping timeout: 240 seconds]
jao has quit [Changing host]
jao has joined #ocaml
jprakash has quit [Ping timeout: 264 seconds]
jprakash has joined #ocaml
jprakash has quit [Quit: leaving]
ontologiae_ has joined #ocaml
ontologiae_ has quit [Ping timeout: 240 seconds]
araujo has quit [Read error: Connection reset by peer]
araujo has joined #ocaml
tnguyen has quit [Quit: tnguyen]
badon has quit [Read error: Connection reset by peer]
badon has joined #ocaml
ygrek has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
WraithM has quit [Quit: Lost terminal]
WraithM has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
axiles has quit [Quit: Quitte]
struktured has quit [Ping timeout: 252 seconds]
jao has quit [Ping timeout: 256 seconds]
boogie has quit [Remote host closed the connection]
divyanshu has joined #ocaml
slash^ has joined #ocaml
Arsenik has joined #ocaml
robink has quit [Ping timeout: 264 seconds]
robink has joined #ocaml
ontologiae_ has joined #ocaml
badon has quit [Ping timeout: 264 seconds]
araujo has quit [Quit: Leaving]
ontologiae_ has quit [Ping timeout: 240 seconds]
Arsenik has quit [Remote host closed the connection]
WraithM has quit [Ping timeout: 240 seconds]
penglingbo has quit [Ping timeout: 264 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
Eyyub has quit [Ping timeout: 240 seconds]
jordjordjord has joined #ocaml
divyanshu has joined #ocaml
badon has joined #ocaml
alexst has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
divyanshu has quit [Quit: Textual IRC Client: www.textualapp.com]
cdidd has quit [Ping timeout: 240 seconds]
cdidd has joined #ocaml
malo has joined #ocaml
ontologiae_ has joined #ocaml
malo has quit [Quit: Leaving]
alexst has joined #ocaml
alexst has quit [Ping timeout: 256 seconds]
fraggle_ has quit [Remote host closed the connection]
boogie has joined #ocaml
fraggle_ has joined #ocaml
Kakadu has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
jordjordjord has quit [Ping timeout: 240 seconds]
tidren has joined #ocaml
ontologiae_ has quit [Ping timeout: 240 seconds]
alexst has joined #ocaml
tidren has quit [Remote host closed the connection]
alexst has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 240 seconds]
ustunozgur has quit [Remote host closed the connection]
WraithM has joined #ocaml
alexst has joined #ocaml
ustunozgur has joined #ocaml
ollehar has joined #ocaml
alexst has quit [Ping timeout: 264 seconds]
jordjordjord has joined #ocaml
axiles has joined #ocaml
ddosia has joined #ocaml
alexst has joined #ocaml
pminten has joined #ocaml
ygu has joined #ocaml
WraithM has quit [Ping timeout: 256 seconds]
<ygu> Hi all. I defined a type: t1 = A | B of t2. Then I want to test a value of this type, this way : if (x = B(_) && some_condition) then ... just like I do in a pattern matching, but compiler complains (operator expected), why is that ?
<Kakadu> I think you can't do that
<Kakadu> you need pattern-matching
<Drup> ygu: use a pattern match with a guard
<ygu> Hmmm ok, that's what i was going to do, but you can do : if (x = A && some_condition) then ... why ?
<adrien> syntax
<adrien> I don't think it boils down to anything but tastes and arbitrary choices
<ygu> Ok, so you just can't because there is a parameter to B, but not to A, that's it ?
<adrien> yes, that makes it require a pattern-matching for B, but an equailty comparison for B
<adrien> and I'd do something like:
<adrien> let f = function B _ -> true | _ -> false in
<adrien> if f your_value && some_condition then ...
<Drup> (or just use a pattern match :D)
<ygu> Yes Drup :) ok, both solutions came to my mind, but I wanted to be sure there was no possible syntax for the first idea.
<ygu> Thank you all three.
<ygu> (and that was fast ! ^^)
slash^ has joined #ocaml
<adrien> :)
penglingbo has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
<jordjordjord> Couldn't you consider boolean if/then simple syntactic sugar for boolean pattern matching?
<jordjordjord> So you could say "you're always pattern matching" - it's just a matter of if you're using the syntactic sugar provided for matching booleans.
struktured has joined #ocaml
<Kakadu> There is no Tgl3.Gl.begin function. Why? How shoould I write glBegin(GL_POLYGON)?
<adrien> Kakadu: afaiu, GL3 doesn't use begin/end
<adrien> and Tgl3.Gl.begin wouldn't be syntactically correct :)
alpounet has joined #ocaml
pippijn_ is now known as pippijn
<companion_cube> jordjordjord: in some sense yes
<jordjordjord> Seems they are equivalent - even the semantics of matching which defer evaluation of the RHS of a match case
<jordjordjord> Just like an if/else does.
BitPuffin has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
<jordjordjord> Meaning, you couldn't right an ifThen(cond, firstBranch, secondBranch) function
<jordjordjord> because strictness yada yada
pminten has quit [Remote host closed the connection]
q66 has joined #ocaml
Eyyub has joined #ocaml
CcxCZ has joined #ocaml
<CcxCZ> hello~ finally decided to delve into this language. is the ocaml.org tutorials page recommended place to start?
<jordjordjord> CcxCZ: It wouldn't hurt.
<jordjordjord> If you want to get serious, I would highly recommend Real World OCaml (online for free)
<jordjordjord> Maybe once you do enough of the quick tutorials to decide you really want to dive in.
<jordjordjord> make sure to read this quick intro too: http://blog.nullspace.io/beginners-guide-to-ocaml-beginners-guides.html
<jordjordjord> Everything said there is true, including the recommendation to set up your text editor correctly. Makes all the difference.
alpounet has quit [Remote host closed the connection]
<samebchase> CcxCZ: after reading a bit of RWO, you can try this walkthrough I wrote recently: http://codesurfers.net/2014/07/07/k-most-frequent-lines-in-a-log-file.html
penglingbo has quit [Ping timeout: 256 seconds]
<CcxCZ> thanks and thanks
alpounet has joined #ocaml
jordjordjord has quit [Ping timeout: 240 seconds]
tane has joined #ocaml
ygrek has joined #ocaml
ggole has joined #ocaml
ebzzry has joined #ocaml
badon has quit [*.net *.split]
yacks has quit [*.net *.split]
srax has quit [*.net *.split]
mcclurmc has quit [*.net *.split]
paddymahoney has quit [*.net *.split]
meteo2 has quit [*.net *.split]
zarul has quit [*.net *.split]
tizoc has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
n0v has quit [*.net *.split]
alpounet has quit [*.net *.split]
axiles has quit [*.net *.split]
ddosia has quit [*.net *.split]
madroach has quit [*.net *.split]
pippijn has quit [*.net *.split]
emias has quit [*.net *.split]
troydm has quit [*.net *.split]
typedlambda has quit [*.net *.split]
ia0 has quit [*.net *.split]
ollehar has quit [*.net *.split]
SHODAN has quit [*.net *.split]
samebchase has quit [*.net *.split]
ivan\ has quit [*.net *.split]
mk270 has quit [*.net *.split]
martintrojer has quit [*.net *.split]
JokerDoom has quit [*.net *.split]
brendan has quit [*.net *.split]
yroeht has quit [*.net *.split]
osnr has quit [*.net *.split]
cthuluh has quit [*.net *.split]
patronus has quit [*.net *.split]
pjdelport has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
rwmjones has quit [*.net *.split]
emmanueloga has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
Cypi has quit [*.net *.split]
thizanne has quit [*.net *.split]
TaXules has quit [*.net *.split]
whitequark has quit [*.net *.split]
nickmeharry has quit [*.net *.split]
j0sh has quit [*.net *.split]
bartbes has quit [*.net *.split]
ggole has quit [*.net *.split]
ygrek has quit [*.net *.split]
fx has quit [*.net *.split]
alex_nx_ has quit [*.net *.split]
Derander_ has quit [*.net *.split]
hcarty has quit [*.net *.split]
reynir has quit [*.net *.split]
mdenes2 has quit [*.net *.split]
ssbr has quit [*.net *.split]
gasche has quit [*.net *.split]
puzza007 has quit [*.net *.split]
jyc has quit [*.net *.split]
olasd has quit [*.net *.split]
jzelinskie has quit [*.net *.split]
__marius____ has quit [*.net *.split]
leifw has quit [*.net *.split]
jlouis has quit [*.net *.split]
SethTisue_______ has quit [*.net *.split]
steshaw has quit [*.net *.split]
nk0 has quit [*.net *.split]
rossberg_ has quit [*.net *.split]
zozozo has quit [*.net *.split]
gereedy has quit [*.net *.split]
mal`` has quit [*.net *.split]
bitbckt has quit [*.net *.split]
_habnabit has quit [*.net *.split]
robink has quit [*.net *.split]
seliopou has quit [*.net *.split]
siddhart1v_away has quit [*.net *.split]
ktoss has quit [*.net *.split]
gargawel has quit [*.net *.split]
milosn_ has quit [*.net *.split]
binarybitme has quit [*.net *.split]
pollux has quit [*.net *.split]
iZsh has quit [*.net *.split]
Arthur_R` has quit [*.net *.split]
xaimus has quit [*.net *.split]
mrvn has quit [*.net *.split]
maufred has quit [*.net *.split]
rks` has quit [*.net *.split]
wormphlegm has quit [*.net *.split]
thorsten` has quit [*.net *.split]
aggelos_ has quit [*.net *.split]
rs0 has quit [*.net *.split]
xenocons has quit [*.net *.split]
demonimin has quit [Ping timeout: 256 seconds]
IbnFirnas has joined #ocaml
ggole has joined #ocaml
robink has joined #ocaml
rs0 has joined #ocaml
ddosia has joined #ocaml
axiles has joined #ocaml
xaimus has joined #ocaml
Asmadeus has joined #ocaml
mdenes2 has joined #ocaml
tizoc has joined #ocaml
thorsten` has joined #ocaml
Arthur_R` has joined #ocaml
ktoss has joined #ocaml
alex_nx_ has joined #ocaml
ollehar has joined #ocaml
pollux has joined #ocaml
zarul has joined #ocaml
n0v has joined #ocaml
iZsh has joined #ocaml
milosn_ has joined #ocaml
badon has joined #ocaml
pippijn has joined #ocaml
mcclurmc has joined #ocaml
reynir has joined #ocaml
samebchase has joined #ocaml
mrvn has joined #ocaml
ygrek has joined #ocaml
meteo2 has joined #ocaml
gasche has joined #ocaml
maufred has joined #ocaml
fx has joined #ocaml
emias has joined #ocaml
srax has joined #ocaml
bcuccioli has joined #ocaml
msch has joined #ocaml
puzza007 has joined #ocaml
Derander_ has joined #ocaml
jyc has joined #ocaml
binarybitme has joined #ocaml
xenocons has joined #ocaml
troydm has joined #ocaml
martintrojer has joined #ocaml
brendan has joined #ocaml
gargawel has joined #ocaml
JokerDoom has joined #ocaml
typedlambda has joined #ocaml
aggelos_ has joined #ocaml
SHODAN has joined #ocaml
ssbr has joined #ocaml
madroach has joined #ocaml
yacks has joined #ocaml
rks` has joined #ocaml
seliopou has joined #ocaml
hcarty has joined #ocaml
paddymahoney has joined #ocaml
alpounet has joined #ocaml
ia0 has joined #ocaml
siddhart1v_away has joined #ocaml
wormphlegm has joined #ocaml
jzelinskie has joined #ocaml
mal`` has joined #ocaml
zozozo has joined #ocaml
olasd has joined #ocaml
gereedy has joined #ocaml
leifw has joined #ocaml
jlouis has joined #ocaml
__marius____ has joined #ocaml
steshaw has joined #ocaml
bitbckt has joined #ocaml
SethTisue_______ has joined #ocaml
patronus has joined #ocaml
thizanne has joined #ocaml
osnr has joined #ocaml
_habnabit has joined #ocaml
nk0 has joined #ocaml
hyperboreean has joined #ocaml
j0sh has joined #ocaml
TaXules has joined #ocaml
ivan\ has joined #ocaml
rossberg_ has joined #ocaml
yroeht has joined #ocaml
emmanueloga has joined #ocaml
bartbes has joined #ocaml
nickmeharry has joined #ocaml
rwmjones has joined #ocaml
Cypi has joined #ocaml
bernardofpc has joined #ocaml
pjdelport has joined #ocaml
cthuluh has joined #ocaml
mk270 has joined #ocaml
whitequark has joined #ocaml
contempt has quit [Max SendQ exceeded]
ggherdov has quit [Max SendQ exceeded]
contempt has joined #ocaml
ygrek has quit [Remote host closed the connection]
paddymahoney has quit [Excess Flood]
badon has quit [Excess Flood]
paddymahoney has joined #ocaml
badon has joined #ocaml
ggherdov has joined #ocaml
typedlambda has quit [Ping timeout: 240 seconds]
typedlambda has joined #ocaml
alexst has quit [Ping timeout: 256 seconds]
Eyyub has quit [Ping timeout: 240 seconds]
no0y has quit [Remote host closed the connection]
SethTisue has joined #ocaml
ustunozgur has joined #ocaml
darkf has quit [Quit: Leaving]
SethTisue has quit [Quit: SethTisue]
SethTisue has joined #ocaml
ebzzry has quit [Remote host closed the connection]
ustunozgur has quit [Remote host closed the connection]
tani has joined #ocaml
tane has quit [Ping timeout: 256 seconds]
BitPuffin has quit [Ping timeout: 256 seconds]
ollehar has quit [Ping timeout: 240 seconds]
penglingbo has joined #ocaml
ustunozgur has joined #ocaml
q66 has quit [Quit: Leaving]
q66 has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
Thooms has joined #ocaml
struktured has quit [Remote host closed the connection]
milosn_ has quit [Read error: No route to host]
milosn has joined #ocaml
contempt has quit [Remote host closed the connection]
SethTisue has quit [Quit: SethTisue]
SethTisue has joined #ocaml
jprakash has joined #ocaml
contempt has joined #ocaml
rand000 has joined #ocaml
SethTisue has quit [Quit: SethTisue]
SethTisue has joined #ocaml
SethTisue has quit [Client Quit]
philtor_ has joined #ocaml
penglingbo has quit [Ping timeout: 264 seconds]
badon has quit [Read error: Connection reset by peer]
badon has joined #ocaml
penglingbo has joined #ocaml
ssbr has quit [Ping timeout: 240 seconds]
ustunozgur has quit [Remote host closed the connection]
<CcxCZ> with merlin installed, I get this error in vim http://wpr.cz/ccx/paste/2014-07-12/0/
slash^ has joined #ocaml
<CcxCZ> I assume some issue in autoload/merlin.vim in global scope due to how the traceback looks
ssbr has joined #ocaml
ustunozgur has joined #ocaml
ollehar has joined #ocaml
Lutin` has joined #ocaml
<CcxCZ> ... or not - wtf is s:c.merlin_h
<CcxCZ> wtf is s:c.merlin_home."/".v:val supposed to mean when s:c is dictionary? ( I guess I'm babbling to myself, sorry )
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
<def`> CcxCZ: what's your vim version ?
<CcxCZ> VIM - Vi IMproved 7.4 (2013 Aug 10, compiled Jun 18 2014 12:45:48)
<CcxCZ> Included patches: 1-273
<CcxCZ> Modified by Gentoo-7.4.273
schlegel has joined #ocaml
BitPuffin has joined #ocaml
Lutin` has quit [Ping timeout: 240 seconds]
schlegel is now known as Lutin`
philtor_ has quit [Ping timeout: 260 seconds]
ustunozgur has quit [Remote host closed the connection]
<CcxCZ> 7.4.326 behaves the same btw
waneck has quit [Quit: Leaving]
tidren has joined #ocaml
penglingbo has quit [Ping timeout: 256 seconds]
penglingbo has joined #ocaml
<CcxCZ> ok, it was my fault for creating another plugin/merlin.vim in runtimepath, but it still needs manual :runtime plugin/merlin.vim after the rtp changes from https://github.com/the-lambda-church/merlin/wiki/vim-from-scratch
<def`> it has an autoload file
shallow is now known as plytkejsie
<CcxCZ> yes, that's executed. what wasn't was plugin/merlin.vim which has the duty of filling values into g:merlin
<CcxCZ> probably since I changed the rtp in another plugin file, not .vimrc
no0y has joined #ocaml
wwilly has joined #ocaml
jprakash has quit [Ping timeout: 240 seconds]
Puffin has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
Puffin has quit [Client Quit]
no0y has quit [Remote host closed the connection]
BitPuffin has quit [Ping timeout: 240 seconds]
penglingbo has quit [Ping timeout: 240 seconds]
BitPuffin has joined #ocaml
SethTisue has joined #ocaml
penglingbo has joined #ocaml
alinab has quit [Quit: leaving]
hhugo has joined #ocaml
typedlambda has quit [Ping timeout: 240 seconds]
typedlambda has joined #ocaml
alinab has joined #ocaml
jprakash has joined #ocaml
hhugo has quit [Quit: Leaving.]
alexst has joined #ocaml
ustunozgur has joined #ocaml
hhugo has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
hhugo has quit [Quit: Leaving.]
alexst has quit [Ping timeout: 256 seconds]
ollehar has quit [Ping timeout: 240 seconds]
Thooms has quit [Quit: WeeChat 0.3.8]
shinnya has joined #ocaml
penglingbo has quit [Ping timeout: 240 seconds]
ustunozgur has quit [Quit: Leaving...]
jprakash has quit [Ping timeout: 240 seconds]
alexst has joined #ocaml
Kakadu has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
alexst has quit [Ping timeout: 260 seconds]
Submarine has quit [Ping timeout: 240 seconds]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
shinnya has quit [Read error: Connection reset by peer]
yarl_ has joined #ocaml
Lutin` has quit [Read error: Connection reset by peer]
shinnya has joined #ocaml
ygrek has joined #ocaml
fold has quit [Quit: WeeChat 0.4.3]
<rwmjones> hmm, no gildor?
<adrien> he hasn't been active on IRC for a couple years
<adrien> get him by email
<rwmjones> hm, that's a shame
<rwmjones> I was just wondering if ounit needs camlp4, but it seems it does not
* rwmjones is currently rebuilding all the Fedora packages on aarch64 & ocaml 4.02.0 beta ... exciting days
<adrien> :)
axiles has quit [Quit: Quitte]
<adrien> was wondering whether your NDA had expired :D
ygrek has quit [Ping timeout: 240 seconds]
<rwmjones> nope
<adrien> ='(
Eyyub has joined #ocaml
<rwmjones> it's great h/w thoug
<rwmjones> though
<adrien> :)
<rwmjones> it looks like I'll be in Cambridge (UK) at the beginning of August
<rwmjones> for the ARM partner conference
alexst has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
fold has joined #ocaml
q66_ has joined #ocaml
q66 has quit [Ping timeout: 240 seconds]
alpounet has quit [Remote host closed the connection]
axiles has joined #ocaml
Eyyub has quit [Quit: WeeChat 0.4.1]
Eyyub has joined #ocaml
jprakash has joined #ocaml
tidren has quit [Remote host closed the connection]
jprakash has quit [Quit: leaving]
tidren has joined #ocaml
tidren has quit [Ping timeout: 240 seconds]
alexst has joined #ocaml
tidren has joined #ocaml
avsm has joined #ocaml
tidren has quit [Remote host closed the connection]
ollehar has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
<orbitz> rwmjones: does redhat use ocaml quite a bit? or just a few people?
ggole has quit []
Submarine has quit [Remote host closed the connection]
alpounet has joined #ocaml
alpounet has quit [Remote host closed the connection]
alpounet has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
alpounet has quit [Ping timeout: 264 seconds]
oriba has joined #ocaml
_twx_ has quit [Remote host closed the connection]
mcclurmc has quit [Remote host closed the connection]
ollehar has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
tidren has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
tidren has quit [Ping timeout: 240 seconds]
BitPuffin has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
demonimin has joined #ocaml
oriba has quit [Quit: oriba]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
studybot_ has quit [Remote host closed the connection]
studybot_ has joined #ocaml
fold has quit [Ping timeout: 240 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
alinab has quit [Quit: leaving]
tidren has joined #ocaml
tidren has quit [Ping timeout: 240 seconds]
mcclurmc has joined #ocaml
igitoor has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
mcclurmc has quit [Remote host closed the connection]
tani has quit [Quit: Verlassend]
igitoor has joined #ocaml
BitPuffin has joined #ocaml
waneck has joined #ocaml
<BitPuffin> is it mandatory to specify the type of a first class module?
alexst has quit [Ping timeout: 240 seconds]
<BitPuffin> if not, then how does ocaml infer if an operator comes from a first class module or some other module you have opened before?
<BitPuffin> For example
<BitPuffin> let open some_first_class_module in ... a ||=><|> b
igitoor has quit [Changing host]
igitoor has joined #ocaml
<BitPuffin> I know that you can eventually know where the operator comes from
<BitPuffin> but you'd have to look at the modules in a case by case basis
<BitPuffin> so sometimes the operator is overidden by the module and sometimes it could be a previously opened one
<BitPuffin> so I guess what I'm saying is that opened modules break type inference
tidren has joined #ocaml
mcclurmc has joined #ocaml
tidren has quit [Ping timeout: 240 seconds]
mcclurmc has quit [Remote host closed the connection]
<Drup> you need to anotate the type of first class modules
<Drup> (at unpacking point, iirc)
q66_ is now known as q66
<BitPuffin> Drup: ah
<BitPuffin> Drup: incomplete type inference in other words
<Drup> of course, it's not possible (as you pointed out)
<Drup> (I think there is a proof, somewhere is one of garrigue's papers probably)
<BitPuffin> yeah
<BitPuffin> it feels unsolvable
<BitPuffin> unless you have variable results
<BitPuffin> However I feel like it's unfair to have to do it at unpacking
<BitPuffin> it would be better if you had to annotate if you open it
<BitPuffin> of course you could optionally annotate before
<BitPuffin> but it sucks to always have to do it you know
<Drup> at open ?
<Drup> open doesn't matter
<BitPuffin> sure it does
<BitPuffin> I mean something like
<BitPuffin> let open fsm: sig ... end in
<BitPuffin> since it's pretty clear where the function comes from when you do: fsm.somefunc ...
<Drup> It doesn't feel much better than at unpacking
<Drup> (and depending on the details of how first class modules are compiled, it may be unsafe)
<BitPuffin> well I don't even think unpacking should be necessary
<BitPuffin> so I guess that's why it doesn't fit in :D
alexst has joined #ocaml
<mbac> how is (apply + [1 2 3]) different from (reduce + [1 2 3])?
<mbac> wait wrong channel
darkf has joined #ocaml
rand000 has quit [Quit: leaving]
<pjdelport> mbac: The former only works because + is n-ary in Scheme (presumably), while the latter works with binary operators.
jprakash has joined #ocaml
madroach has quit [Ping timeout: 240 seconds]
philtor_ has joined #ocaml
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
Valdo has quit [Ping timeout: 245 seconds]
NoNNaN has joined #ocaml
ollehar has joined #ocaml
tidren has joined #ocaml
tidren has quit [Ping timeout: 240 seconds]
seafood has joined #ocaml
jordjordjord has joined #ocaml
tnguyen has joined #ocaml