lapinou 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 | Public logs at http://tunes.org/~nef/logs/ocaml/
vpm has quit [Quit: co'o]
vpm has joined #ocaml
vpm has quit [Client Quit]
vpm has joined #ocaml
struktured has quit [Ping timeout: 245 seconds]
tlockney is now known as tlockney_away
manizzle has joined #ocaml
jonludlam has quit [Remote host closed the connection]
zpe has joined #ocaml
rand000 has quit [Quit: leaving]
ontologiae has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
patojo has quit [Remote host closed the connection]
<bernardofpc> is there any way to trace a function in a file ?
<bernardofpc> I did #directory, #load even open, still #trace Module_name.function spits me " Error: Reference to undefined global `Module_name' "
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jwatzman|work has quit [Quit: jwatzman|work]
knz_ has quit [Read error: Connection reset by peer]
knz has joined #ocaml
flx has joined #ocaml
flx is now known as Guest16309
flux has quit [Ping timeout: 265 seconds]
Guest16309 is now known as flux
talzeus has quit [Read error: Connection reset by peer]
jzelinskie_ has joined #ocaml
rossberg_ has joined #ocaml
Leonidas_ has joined #ocaml
sgnb` has joined #ocaml
WraithM_ has joined #ocaml
jzelinskie has quit [Ping timeout: 240 seconds]
thorsten` has quit [Ping timeout: 240 seconds]
ggherdov_ has quit [Ping timeout: 240 seconds]
rossberg has quit [Ping timeout: 240 seconds]
cdidd has quit [Ping timeout: 240 seconds]
Leonidas has quit [Ping timeout: 240 seconds]
WraithM has quit [Ping timeout: 240 seconds]
jzelinskie_ is now known as jzelinskie
cdidd has joined #ocaml
travisbrady has joined #ocaml
alex_nx_ has joined #ocaml
sgnb has quit [Ping timeout: 240 seconds]
alex_nx has quit [Ping timeout: 240 seconds]
ontologiae has quit [Ping timeout: 246 seconds]
dinosaure1 has joined #ocaml
esden has quit [Ping timeout: 240 seconds]
dant3 has quit [Ping timeout: 240 seconds]
segmond has quit [Ping timeout: 240 seconds]
dinosaure` has quit [Ping timeout: 240 seconds]
lopho has quit [Ping timeout: 240 seconds]
lopho has joined #ocaml
thorsten` has joined #ocaml
igitoor has quit [Ping timeout: 240 seconds]
igitoor has joined #ocaml
segmond has joined #ocaml
esden has joined #ocaml
dant3 has joined #ocaml
ggherdov_ has joined #ocaml
ygrek has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
manizzle has quit [Ping timeout: 246 seconds]
IbnFirnas_ has joined #ocaml
n0v has joined #ocaml
engil has joined #ocaml
talzeus has joined #ocaml
travisbrady has quit [Quit: travisbrady]
zpe has joined #ocaml
RMacy has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
divyanshu has joined #ocaml
arjunguha has joined #ocaml
introom has joined #ocaml
pyon has quit [Quit: restart]
ollehar has joined #ocaml
Muzer has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 246 seconds]
dant3 has quit [Quit: I'm using a Free IRC Bouncer from BNC4FREE - http://bnc4free.com/]
dant3 has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 252 seconds]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Muzer has joined #ocaml
ygrek has joined #ocaml
yacks has joined #ocaml
Muzer has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
claudiuc_ has quit [Read error: Connection reset by peer]
lostcuaz has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
ollehar has quit [Ping timeout: 245 seconds]
__marius__ has joined #ocaml
nikki93 has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
nikki93 has quit [Remote host closed the connection]
divyanshu has quit [Quit: Computer has gone to sleep.]
nikki93 has joined #ocaml
claudiuc has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
nikki93_ has joined #ocaml
paracetamolo has joined #ocaml
tlockney_away is now known as tlockney
introom has quit [Ping timeout: 264 seconds]
claudiuc has quit [Remote host closed the connection]
claudiuc_ has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nikki93_ has quit [Remote host closed the connection]
paracetamolo has quit [Ping timeout: 245 seconds]
nikki93 has joined #ocaml
q66 has quit [Quit: Leaving]
michael_lee has joined #ocaml
RMacy has quit []
claudiuc_ has quit [Read error: Connection reset by peer]
claudiuc has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
_5kg has quit [Ping timeout: 264 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 245 seconds]
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 264 seconds]
nikki93 has joined #ocaml
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
siddharthv_away is now known as siddharthv
csakatoku has quit [Remote host closed the connection]
_5kg has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
claudiuc has quit [Remote host closed the connection]
divyanshu has joined #ocaml
zpe has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
ggole has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
divyanshu has joined #ocaml
__marius__ has quit [Quit: Connection closed for inactivity]
csakatoku has joined #ocaml
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
claudiuc has joined #ocaml
<Dongyanc1i> Hello, I'm trying to use cryptokit, but found something strange. the output differs, I think they should give the same output. http://pastebin.com/10kghW9g
claudiuc_ has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
claudiuc has quit [Ping timeout: 252 seconds]
<ggole> Might be some internal state stashed somewhere
zpe has joined #ocaml
divyanshu has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
pyon has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
divyanshu has joined #ocaml
axiles has joined #ocaml
struktured has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
jao has quit [Ping timeout: 252 seconds]
yacks has quit [Ping timeout: 264 seconds]
struktured has quit [Ping timeout: 246 seconds]
aurynj has joined #ocaml
zpe has joined #ocaml
ulfdoz has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
aurynj has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
angerman has joined #ocaml
<adrien_> Dongyanc1i: still waking up but: cipher mode? maybe you need to "flush" the data first
<adrien_> Dongyanc1i: if you define "encrypt" and "decrypt" a second time, you'll get the same result again
aurynj has joined #ocaml
nikki93 has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 245 seconds]
maattdd has joined #ocaml
ontologiae has joined #ocaml
nikki93 has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
michael_lee has quit [Remote host closed the connection]
nikki93 has quit [Ping timeout: 264 seconds]
ontologiae has quit [Ping timeout: 252 seconds]
hyperboreean has quit [Read error: Operation timed out]
yacks has joined #ocaml
Hannibal_Smith has joined #ocaml
ddosia has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
wombat1 has joined #ocaml
cago has joined #ocaml
hyperboreean has joined #ocaml
divyanshu has joined #ocaml
Thooms has joined #ocaml
Simn has joined #ocaml
<adrien_oww> \o
<companion_cube> o/
wombat1 has quit [Ping timeout: 252 seconds]
Kakadu has joined #ocaml
mika2 has joined #ocaml
Axord has joined #ocaml
Axord has left #ocaml []
Thooms has quit [Ping timeout: 246 seconds]
sw1nn has joined #ocaml
Thooms has joined #ocaml
ikaros has joined #ocaml
zpe has joined #ocaml
rand000 has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
mort___ has joined #ocaml
wombat1 has joined #ocaml
eni has joined #ocaml
lordkryss has joined #ocaml
<lordkryss> hello
cago has quit [Ping timeout: 245 seconds]
<troydm> hey
aurynj has quit [Ping timeout: 245 seconds]
AltGr has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
<lordkryss> i'm starting out with ocaml and having some problems... i'm trying to use local functions and also using a partial application but i'm not sure about what syntax to use for that
<lordkryss> i've come out with https://gist.github.com/anonymous/1db0d731882850ed5f25 but it doesn't compile, anyone could take a look?
<ggole> Change the and to let
<ggole> (...and add the thereby necessary in after the first one.)
<lordkryss> oh, it was easier that what i expected
<lordkryss> thanks ggole :)
<ggole> Er, I guess that should be 'let rec'
<ggole> By the way, you don't need () around things like if(mydiv 2)
<lordkryss> oh right, too used to c-like languages :)
<Enjolras> lordkryss: be carful, == does not do what you expect it to do
<axiles> you should use = instead of == (for integers it does not make any difference but for other types it does)
<Enjolras> in this case, it will work since it's integers
<Dongyanc1i> adrien_, I'm using the 3rd part of http://pastebin.com/BU0gsJ1K, but still makes different output. change to finish gives a different output.
<Enjolras> but == is equality by reference and = is equality by value
<lordkryss> :O
<lordkryss> == compares addresses if i compare 2 objs?
<Enjolras> lordkryss: yes. You can try something like that for instance : let s1 = "foo" and s2 = "foo" in s1 == s2
<Enjolras> it will return false
<lordkryss> oh, now i wonder why it worked in my code
Leonidas_ is now known as Leonidas
<ggole> As axiles points out, they work the same for ints
<lordkryss> and it is "by design"? or is it a side-effect of comparing addresses on an primitive type?
<axiles> it's from how values are stored in memory
<axiles> a ocaml value is either a 31 bits integer or a pointer
<lordkryss> floats are used by reference?
<axiles> yes: 1. == 1. returns false
<Enjolras> It also works for unit obviously. () == () returns true.
<ggole> They are used directly in some situations.
<axiles> ggole: yes for example an array of floats
cago has joined #ocaml
<lordkryss> so in ocaml, a unique value is stored only once in memory?
<ggole> No.
<lordkryss> i'm slightly confused by ' () == () returns true.'
<ggole> Well, nullary constructors like () are represented as integers.
<ggole> So this is a lot like 0 == 0.
<lordkryss> oh, i guess i should find a book on ocaml or something...
<ggole> You should use = unless you have a specific need for == (usually, for mutable objects).
<lordkryss> it seems to be more different from the languages i'm used to than i expected
ollehar has joined #ocaml
<ggole> Check out real world ocaml.
<ggole> ^
<axiles> http://www.linux-nantes.org/~fmonnier/ocaml/ocaml-wrapping-c.html also this can give some hints about how values are represented
<lordkryss> oh, "real world ocaml" seems something that explains useful things, i'll read that, thanks :)
mort___ has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
<knz> hi guys
<knz> can anyone point me to the "good and serious" arguments about the implementability of type classes as a ml languag extension?
<knz> we briefly discussed that yesterday
<knz> but I can't scroll back enough
jonludlam has joined #ocaml
<ousado> knz: (see topic) Public logs at http://tunes.org/~nef/logs/ocaml/
<knz> oh thanks
<knz> 08:03:33 <Drup> I'd rather have just implicit, and not full typeclasses
<knz> from yesterday
<knz> Drup: what do you call implicit?
cago has quit [Quit: Leaving.]
cago has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
sw1nn` has joined #ocaml
sw1nn` is now known as Guest32721
<ousado> scala-style implicit, perhaps?
sw1nn has quit [Ping timeout: 245 seconds]
<knz> ah implicit conversions
AltGr has left #ocaml []
eni has quit [Ping timeout: 245 seconds]
rand000 has quit [Ping timeout: 245 seconds]
ygrek has quit [Ping timeout: 264 seconds]
arjunguha has joined #ocaml
Fullma has quit [Ping timeout: 265 seconds]
rand000 has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
mort___ has joined #ocaml
csakatoku has quit [Remote host closed the connection]
johnelse1away is now known as johnelse
johnelse has quit [Quit: leaving]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
johnelse has joined #ocaml
q66 has joined #ocaml
dsheets has joined #ocaml
_andre has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
csakatoku has joined #ocaml
watermind has joined #ocaml
watermind has quit [Client Quit]
cago has quit [Quit: Leaving.]
cago has joined #ocaml
q66 has quit [Quit: Leaving]
zpe has quit [Remote host closed the connection]
<Drup> aaah, no, not implicit conversions
<Drup> implicit arguments
zpe has joined #ocaml
q66 has joined #ocaml
Fullma has joined #ocaml
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe_ has joined #ocaml
csakatoku has quit []
zpe has quit [Ping timeout: 264 seconds]
Thooms has joined #ocaml
amirmc has joined #ocaml
<amirmc> s
siddharthv is now known as siddharthv_away
Hannibal_Smith has quit [Ping timeout: 245 seconds]
amirmc has quit [Quit: Leaving.]
Guest32721 is now known as sw1nn
rz has quit [Read error: Operation timed out]
<rks`_> ??
AltGr has joined #ocaml
<def-lkb> rks`_: 13:15 <rks> tu files des papiers a knz et pas a moi
<rks`_> :D
<rks`_> oh non, ma vie privée est exposée !
<def-lkb> :')
cago has quit [Ping timeout: 246 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
amirmc has joined #ocaml
nikki93 has joined #ocaml
segmond has quit [Quit: jajajaja]
cago has joined #ocaml
arjunguha has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
arjunguha has quit [Client Quit]
amirmc has quit [Ping timeout: 240 seconds]
arjunguha has joined #ocaml
venk has quit [Ping timeout: 264 seconds]
mort___ has quit [Quit: Leaving.]
wombat1 has quit [Ping timeout: 246 seconds]
mort___ has joined #ocaml
rz has joined #ocaml
hcarty has quit [Ping timeout: 252 seconds]
mathieui has joined #ocaml
lostcuaz has joined #ocaml
hcarty has joined #ocaml
divyanshu has joined #ocaml
divyanshu has quit [Quit: Textual IRC Client: www.textualapp.com]
colahoh has joined #ocaml
amirmc has joined #ocaml
ygrek has joined #ocaml
yacks has quit [Quit: Leaving]
Muzer has joined #ocaml
talzeus has quit [Remote host closed the connection]
nikki93 has joined #ocaml
Thooms has quit [Ping timeout: 264 seconds]
nikki93 has quit [Ping timeout: 240 seconds]
pyon has quit [Quit: restart]
mika2 has quit [Quit: Leaving.]
mika1 has joined #ocaml
darkf has quit [Quit: Leaving]
q66 has quit [Quit: Leaving]
<companion_cube> \o
shinnya has joined #ocaml
<companion_cube> Drup: with implicit (functional) arguments you get easily to implicit coercions
ddosia has quit [Quit: Leaving.]
q66 has joined #ocaml
<Drup> you do realize that typeclasses are built on implicit arguments, right ?
<companion_cube> on a very specific kind of implicit arguments, controlled by the compiler
<companion_cube> you can have typeclasses without full implicit arguments
<Drup> not that specific, since you can put a lot of stuff in a typeclass
<Drup> (and I would argue that you already have implicit coercions in haskell and that it's very heavily used)
<companion_cube> well, typeclasses are static, you can't just add an implicit parameter in the middle of a class/method like in scala
<companion_cube> (cf my example about the connection to DB as an implicit parameter)
<Drup> maybe that's an issue with the scala implementation, not the concept :)
<companion_cube> or it means that scala's implicits are even more powerful than what you mean by implicits arguments
<Drup> I don't know scala, can't answer
Axord has joined #ocaml
nlucaroni has joined #ocaml
Sim_n has joined #ocaml
<companion_cube> anyway, I agree that with implicit arguments one can write typeclasses
<Drup> but I think it would play better with name resolution in presence of modules
<Drup> that's just a though, it's not well studied/defined
Simn has quit [Ping timeout: 246 seconds]
* companion_cube wonders how to deal with the scope in which values are eligible for implicit arguments
<companion_cube> for instance, if Int : sig val add : t -> t -> t ..... end
<companion_cube> and + takes a "add" function as implicit argument
<companion_cube> would you have to write Int.(1 + 2) ?
lordkryss has quit [Quit: Connection closed for inactivity]
q66 has quit [Ping timeout: 252 seconds]
q66 has joined #ocaml
rom1504_ is now known as rom1504
maufred has quit [Remote host closed the connection]
maufred has joined #ocaml
ianh has quit [Quit: Page closed]
wombat1 has joined #ocaml
hegemoOn has joined #ocaml
tlockney_away is now known as tlockney
<hegemoOn> hello
<hegemoOn> any people working with cduce here ?
<companion_cube> not me
<Drup> I never worked directly with it, but I may able to help
<Drup> +be
<hegemoOn> drup ok
<hegemoOn> im trying to play with xsd
<hegemoOn> file
<hegemoOn> and im following the cduce documentation with the 0.5.0 for windows!
<Drup> huh, ok, maybe not then x)
divyanshu has joined #ocaml
cago has left #ocaml []
tlockney is now known as tlockney_away
divyanshu has quit [Ping timeout: 264 seconds]
travisbrady has joined #ocaml
mika1 has quit [Quit: Leaving.]
Sim_n is now known as Simn
amirmc has quit [Quit: Leaving.]
divyanshu has joined #ocaml
madroach has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
__marius__ has joined #ocaml
dlat_ is now known as dlat
shinnya has quit [Ping timeout: 252 seconds]
sw1nn has quit [Remote host closed the connection]
nikki93 has joined #ocaml
amirmc has joined #ocaml
amirmc has quit [Client Quit]
wombat1 has quit [Ping timeout: 246 seconds]
<hegemoOn> in fact
<hegemoOn> my xsd file contains field with xs: while in the cduce documentation it is xsd:
<hegemoOn> and my try to get the type of a item doesnt work with cduce even when i follow the documentation
<Drup> I really don't know about xsd. I could have helped you it if was related more closely to stuff done in tyxml ^^
q66 has quit [Ping timeout: 264 seconds]
<hegemoOn> thank you :)
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
q66 has joined #ocaml
travisbrady has quit [Quit: travisbrady]
tlockney_away is now known as tlockney
xyh has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
jwatzman|work has joined #ocaml
travisbrady has joined #ocaml
q66 has quit [Ping timeout: 252 seconds]
Guest60890 has joined #ocaml
tnguyen_ has quit [Read error: Connection reset by peer]
wombat1 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
divyanshu has joined #ocaml
kerneis_ is now known as kerneis
boogie has joined #ocaml
q66 has joined #ocaml
nikki93 has quit [Ping timeout: 246 seconds]
Kakadu has quit [Ping timeout: 245 seconds]
Thooms has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
tlockney is now known as tlockney_away
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
<Dongyanc1i> Read the test.ml from cryptokit and finally got it run correctly. and still not know why my initial tries not working.
zpe has quit [Ping timeout: 240 seconds]
tulloch has joined #ocaml
tlockney_away is now known as tlockney
AltGr has left #ocaml []
lostcuaz has joined #ocaml
divyanshu has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
Kakadu has joined #ocaml
nikki93 has joined #ocaml
angerman has quit [Quit: Gone]
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
Hannibal_Smith has joined #ocaml
tulloch has quit [Ping timeout: 240 seconds]
tlockney is now known as tlockney_away
Muzer has quit [Excess Flood]
jonludlam has quit [Quit: Leaving]
ggole has quit []
oriba has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Muzer has joined #ocaml
nikki93 has joined #ocaml
zpe has joined #ocaml
Guest60890 is now known as sw1nn
mort___ has quit [Ping timeout: 264 seconds]
zpe has quit [Ping timeout: 246 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
wombat1 has quit [Ping timeout: 252 seconds]
nikki93 has joined #ocaml
tulloch has joined #ocaml
lostcuaz has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
avsm has quit [Client Quit]
avsm has joined #ocaml
wombat1 has joined #ocaml
angerman has joined #ocaml
tlockney_away is now known as tlockney
tane has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dsheets has quit [Ping timeout: 264 seconds]
angerman has quit [Quit: Gone]
zpe has joined #ocaml
<knz> def-lkb: thx
<def-lkb> np
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
<knz> def-lkb: the implicits paper is nice
<knz> a bit unfortunate noone implements this yet
rand000 has quit [Ping timeout: 252 seconds]
rand000 has joined #ocaml
tulloch has quit [Ping timeout: 240 seconds]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
avsm has quit [Ping timeout: 246 seconds]
paracetamolo has joined #ocaml
sw1nn has quit [Ping timeout: 264 seconds]
<paracetamolo> hello, I'm trying to write a vector module for a numerical type, that would be instantiated to Num and Float.
<paracetamolo> When I try to extend this vector to make a proability distribution, I include vector and add a is_stocastic function that checks if the elements sum up to 1, but I get a type mismatch.
<paracetamolo> The code is here https://gist.github.com/paracetamolo/9514151 and in the comment is reported the error.
<smondet> paracetamolo: have you tried with `with type n = N.t` ?
<smondet> I mean `=` instead of `:=`
cdruzac has joined #ocaml
claudiuc_ has quit [Remote host closed the connection]
divyanshu has quit [Quit: Computer has gone to sleep.]
<jpdeplaix> knz: euh nope. There is ocaml-implicit
<companion_cube> well, it's still too experimental :(
<paracetamolo> smondet: another error, I posted it as a comment in the gist
<pippijn> what's ocaml-implicit?
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
<smondet> paracetamolo: ah yes put the with type n = N.t on line 34
<smondet> odule Make_vector(N : Number_) : Vector with type n = N.t = struct
<knz> jpdeplaix: not sure what good is a ocaml clone where I can't even see at first glance what the difference is with the official branch
zpe has quit [Ping timeout: 240 seconds]
<adrien_> simple
<adrien_> look at the new commiter(s)
<paracetamolo> smondet: it's working, I think I get it more or less, could you explain in two words what is going on and why := was wrong?
<smondet> paracetamolo: the way I see it is that on line 34 ": Vector" was putting too much constraint on the signature that you cannot escape later when applying the functor
<smondet> the `:=` kind of means "rewrite with"
<mk270> what is ocaml-implicit? is it ocaml with suggested nudity?
<jpdeplaix> knz: you can have it with a simple search on the web
<paracetamolo> smondet: is there a good place where to find documentation on this topic? Or even a well structured code base I could look at? I tried Batteries but it is too complex for me right now.
xyh has quit [Remote host closed the connection]
zpe has joined #ocaml
dsheets has joined #ocaml
angerman has joined #ocaml
claudiuc_ has joined #ocaml
yan_ has joined #ocaml
lostcuaz has joined #ocaml
<paracetamolo> smondet: thanks a lot for your time, you've been very helpful
wombat1 has quit [Ping timeout: 246 seconds]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tulloch has joined #ocaml
tulloch has quit [Ping timeout: 240 seconds]
<knz> jpdeplaix: yes I found it earlier, thanks
oriba has quit [Quit: oriba]
ikaros has joined #ocaml
wombat1 has joined #ocaml
talzeus has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 246 seconds]
<cdruzac> hmmm.. so if you define a module type in an mli file, you need to copy that module type into your ml file verbatim?
Hannibal_Smith has quit [Quit: Sto andando via]
<def-lkb> cdruzac: yes
venk has joined #ocaml
angerman has quit [Quit: Gone]
_andre has quit [Quit: leaving]
jwatzman|work has quit [Quit: jwatzman|work]
jwatzman|work has joined #ocaml
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
<ousado> anyone aware of a size limit for Buffer?
<companion_cube> must be the max size of strings
<def-lkb> ousado: on 32 bits?
<def-lkb> yes… 16Mio.
<ousado> ok, thanks
<ousado> yes, he's using a 32bit system
nikki93 has joined #ocaml
q66 has quit [Ping timeout: 264 seconds]
adrien_ has quit [Ping timeout: 246 seconds]
adrien_ has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
axiles has quit [Remote host closed the connection]
nikki93 has quit [Ping timeout: 246 seconds]
q66 has joined #ocaml
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Verlassend]
Thooms has quit [Quit: WeeChat 0.3.8]
<cdruzac> if I want to choose the parameter for a functor at runtime, do I need to use first-class modules?
<Drup> yes
mrvn_ is now known as mrvn
nlucaroni has quit [Quit: leaving]
travisbrady has quit [Quit: travisbrady]
q66_ has joined #ocaml
q66_ has quit [Changing host]
q66_ has joined #ocaml
q66 has quit [Disconnected by services]
q66_ is now known as q66
<companion_cube> no! not if you use the functor only in one scope
<companion_cube> let module Foo = if !yolo then Bar.Make(A) else Bar.Make(B) in ....
<companion_cube> (well I /think/ it should work, but Drup may still be right)
claudiuc has joined #ocaml
<cdruzac> well wouldn't the return type of that if expression be a ... module?
jwatzman|work has quit [Read error: Connection reset by peer]
claudiuc_ has quit [Read error: Connection reset by peer]
basus1 has joined #ocaml
<companion_cube> but it's a local module
<companion_cube> no need to wrap
jwatzman|work has joined #ocaml
<companion_cube> (I'm not sure it works though, with the if)
<basus1> is anyone else having trouble with the latest XCode release and compiling C code via ocamlc?
jonludlam has joined #ocaml
<basus1> it looks like ocamlc uses the -fno-defer-pop option which Clang upgraded to an error from a warning
<cdruzac> yeaah I'm getting syntax errors. The if doesn't work
<Drup> companion_cube: the return value is a first class module
<companion_cube> ah, and it's unpacked immediately?
<Drup> you are using the term syntax
<Drup> and terms can only manipulated packed modules
<Drup> manipulate*
<Drup> what you can do, however
<Drup> is "if b then let open Make(A) in ... else let open Make(B) in ..."
<Drup> but there is nothing runtime here
<Drup> the functor is going to be resolve at compile time
Kakadu has quit [Quit: Konversation terminated!]
<cdruzac> is there a heavy run-time penalty for first-class modules? if there is just an initial cost that's ok, but the associated functions are going to be heavily used in tight loops
adrien_oww has quit [Ping timeout: 264 seconds]
wombat1 has quit [Ping timeout: 240 seconds]
<Drup> the cost is not heavy, but there is a cost
<Drup> it's basically equivalent as a record
zpe has quit [Remote host closed the connection]
* Armael asking for a benchmark
<Armael> ;)
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
<Drup> Armael: go on, do one :p
zpe has joined #ocaml
<Armael> :»
<Armael> :> *
<bitbckt> as long as you aren't repeatedly instantiating the functor in that loop, it should be fine.
<cdruzac> ok, maybe I was unclear then. the functions in the module that the functor is building are getting heavily used in a loop
<cdruzac> but the functor instantiation happens before the loop
<bitbckt> yes, that's fine.
<Drup> the cost is going to be small, yeah
<Drup> cdruzac: do you really need to choose at runtime, though ?
<cdruzac> that's a good question... the code is a port of a python program. So modules + functors were used to simulate object composition
<Drup> ugh
<cdruzac> basically the user gives a file and an algorithm name, and the program runs the algorithm on the file. different algorithms have different behaviour, but there is heavy overlap
<Drup> I can't really say by advance, but I don't thing it's the nicest way to go
<Drup> hum, I see
<Drup> and a file with an algorithme is abstract under a module, ok
<cdruzac> I suppose I could do everything with closures, but that seems messier
<Drup> indeed
<Drup> in this case, I think it's a nice way to go
adrien_oww has joined #ocaml
jonludlam has quit [Remote host closed the connection]
jonludlam has joined #ocaml
manizzle has joined #ocaml
Tamae has joined #ocaml
q66 has quit [Ping timeout: 246 seconds]
rand000 has quit [Quit: leaving]
jao has quit [Ping timeout: 240 seconds]
travisbrady has joined #ocaml
Thooms has joined #ocaml
paracetamolo has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
q66 has joined #ocaml
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
nikki93 has joined #ocaml
divyanshu has joined #ocaml
divyanshu has quit [Client Quit]
darkf has joined #ocaml
nikki93 has quit [Ping timeout: 264 seconds]
nikki93 has joined #ocaml
maattdd has quit [Ping timeout: 264 seconds]
paracetamolo has joined #ocaml
tulloch has joined #ocaml
Thooms has quit [Ping timeout: 240 seconds]
adrien_o1w has joined #ocaml
adrien_oww has quit [Ping timeout: 264 seconds]
travisbrady has quit [Quit: travisbrady]
shinnya has joined #ocaml