adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
<Drup> cheater: try to type the module Float in your toplevel
<Drup> and see what signatures it gives you
<Drup> now, compare it to the definition of CURRENCY
<Drup> you should find some differences
<cheater> it said this: http://sprunge.us/GAON
<cheater> the difference is in type t and the first parameter of prod
<cheater> so what are you trying to say?
<cheater> i'm afraid it's difficult for me to follow from that
<Drup> so, you see that in your version, the definition of t is exposed in the signature
<Drup> hum, the copy paste was a bit garbled
<Drup> anyway, it says "type t = float"
<Drup> but in CURRENCY, it doesn't
<cheater> garbled how?
<cheater> yeah, it doesn't, it says "type t"
<Drup> which mean it doesn't expose the definition of type t, it's just an abstract type, and you don't know that it's a float
<cheater> ok
d0nn1e has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
<Drup> (the rest of the section in the book is dedicated to explaining this, so it would probably do a better job than I would)
<cheater> ok so... you say that Float is compatible with CURRENCY because of structural typing... what's that?
<cheater> you're doing a pretty good job tbh :)
FreeBirdLjj has joined #ocaml
<cheater> much better than the page i am reading..
<Drup> structural typing is just the fancy way of calling the typing for modules :p
d0nn1e has joined #ocaml
<cheater> ahh ok :)
manizzle has joined #ocaml
<cheater> ok now i see all my questions from earlier are answered :) thank you :)
<cheater> btw, does ocaml have the monomorphism restriction haskell does?
<Drup> no, but we have a thing called value restriction
<Drup> different, but similarly annoying :D
tmtwd has joined #ocaml
groovy2shoes has quit [Ping timeout: 245 seconds]
guy364 has joined #ocaml
groovy2shoes has joined #ocaml
pierpa has quit [Ping timeout: 265 seconds]
silver has quit [Quit: rakede]
orbifx1 has quit [Quit: WeeChat 1.6]
<cheater> ok
<guy364> I'm getting a "This argument will not be used by this function" warning
<cheater> hmm... in this example...
<cheater> module Post = Old_Bank (Euro);;
<cheater> CLIENT with type currency = Post.currency and type t = Post.t
<cheater> module Client :
<cheater> = Post;;
<cheater> what does the last line mean?
<cheater> does it say that Post.t = Post ? i don't get it
orbifx has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
<guy364> Warning is on line 8
elazul has quit [Ping timeout: 260 seconds]
elazul has joined #ocaml
cow-orker has quit [Ping timeout: 250 seconds]
cow-orker has joined #ocaml
govg has quit [Ping timeout: 252 seconds]
yomimono has joined #ocaml
yomimono has quit [Client Quit]
FreeBirdLjj has joined #ocaml
<aantron> cheater: it says that module Client = Post
<aantron> however Client is Post constrained by the signature CLIENT
<aantron> with certain additional type equalities
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Changing host]
infinity0 has joined #ocaml
<guy364> I need some help here guys
wu_ng has joined #ocaml
yegods has quit [Remote host closed the connection]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
nomicflux has quit [Quit: nomicflux]
<guy364> Without using let...in I'm trying to take [1; 2; 5] and [1; 1; 6] and return [1; 1; 5]
<guy364> in other words, take 2 lists and return a list with the minimum value in each list
<guy364> and do it recursively
al-damiri has quit [Quit: Connection closed for inactivity]
<guy364> got it figured out
noddy has joined #ocaml
guy364 has quit [Quit: Page closed]
cpdean has joined #ocaml
noddy has quit [Ping timeout: 245 seconds]
mfp has quit [Ping timeout: 260 seconds]
infinity0 has quit [Ping timeout: 260 seconds]
TarVanimelde has quit [Quit: TarVanimelde]
nomicflux has joined #ocaml
infinity0 has joined #ocaml
TarVanimelde has joined #ocaml
darkflame4 has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
nomicflux has quit [Quit: nomicflux]
fluter has quit [Ping timeout: 258 seconds]
fluter has joined #ocaml
noddy has joined #ocaml
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
darkflame4 has quit [Quit: Page closed]
cpdean has quit [Quit: Leaving.]
cpdean has joined #ocaml
cpdean has quit [Client Quit]
yegods has joined #ocaml
yegods has quit [Ping timeout: 250 seconds]
ygrek has quit [Ping timeout: 244 seconds]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zirman has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
malc_ has joined #ocaml
_whitelogger has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
infinity0 has quit [Ping timeout: 260 seconds]
infinity0 has joined #ocaml
larhat has quit [Quit: Leaving.]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
rgrinberg has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has quit [Ping timeout: 248 seconds]
AlexDenisov has joined #ocaml
jonasen has joined #ocaml
_whitelogger has joined #ocaml
tmtwd has quit [Ping timeout: 256 seconds]
tmtwd has joined #ocaml
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Ping timeout: 250 seconds]
AlexDeni_ has quit [Ping timeout: 256 seconds]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
tmtwd has quit [Ping timeout: 246 seconds]
zirman has quit [Ping timeout: 258 seconds]
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 250 seconds]
nomicflux has joined #ocaml
Aruseus has joined #ocaml
shon has joined #ocaml
nomicflux has quit [Quit: nomicflux]
tmtwd has joined #ocaml
djellemah has quit [Remote host closed the connection]
freusque has joined #ocaml
ryanartecona has joined #ocaml
djellemah has joined #ocaml
Aruseus has quit [Quit: Leaving]
ryanartecona has quit [Client Quit]
yegods has joined #ocaml
ocaml208 has joined #ocaml
<ocaml208> Trying to use emacs. 1. Install emacs 2. Install https://who.rocq.inria.fr/Albert.Cohen/tuareg/mode/ - Is that it ?
yegods has quit [Ping timeout: 245 seconds]
cheater has quit [Ping timeout: 256 seconds]
Mercuria1Alchemi has joined #ocaml
cheater has joined #ocaml
malc_ has joined #ocaml
fre has joined #ocaml
ygrek has joined #ocaml
jnavila has joined #ocaml
alfredo has joined #ocaml
<Algebr> you basically should get tuareg, ocp-indent, merlin. all off of opam
Arahael has left #ocaml ["WeeChat 1.4"]
<ocaml208> Yes. I am getting all of it.
<companion_cube> Armael: not trolling, I think systemd has things to limit the cpu/ram ;-)
<companion_cube> with cgroups or whatever
<Algebr> I use merlin with company and company provides popups
<ocaml208> What is company ?
<Algebr> company is an autocompletion framework in emacs
<Algebr> works with many different languages
tmtwd has quit [Ping timeout: 268 seconds]
dhil has joined #ocaml
zirman has joined #ocaml
tmtwd has joined #ocaml
fre has quit [Ping timeout: 258 seconds]
zirman has quit [Ping timeout: 252 seconds]
maattdd has joined #ocaml
dhil has quit [Ping timeout: 246 seconds]
larhat has joined #ocaml
yegods has joined #ocaml
freehck has quit [Quit: rcirc on GNU Emacs 24.4.1]
yegods has quit [Ping timeout: 268 seconds]
Algebr has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
AlexDenisov has joined #ocaml
tmtwd has quit [Ping timeout: 246 seconds]
malc_` has joined #ocaml
malc_ has quit [Ping timeout: 250 seconds]
zpe has joined #ocaml
_2can has quit [Remote host closed the connection]
Simn has joined #ocaml
AltGr has joined #ocaml
<cheater> aantron: thank you
cheater has quit [Quit: leaving]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Algebr has joined #ocaml
AlexDenisov has joined #ocaml
cheater has joined #ocaml
wu_ng has quit [Ping timeout: 250 seconds]
zirman has joined #ocaml
zirman has quit [Changing host]
zirman has joined #ocaml
zirman has quit [Ping timeout: 265 seconds]
jwatzman|work has joined #ocaml
mfp has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
TarVanimelde has quit [Quit: TarVanimelde]
<vramana> Why is the debug flag -g? Does anybody know historical details?
TarVanimelde has joined #ocaml
yegods has joined #ocaml
<Algebr> probaly cause c compilers use -g as debug flag
tmtwd has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ocaml208 has quit [Ping timeout: 260 seconds]
fre has joined #ocaml
_andre has joined #ocaml
AlexDenisov has joined #ocaml
cpdean has joined #ocaml
cheater has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
cheater has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
tmtwd has quit [Ping timeout: 268 seconds]
xvw has joined #ocaml
copy` has joined #ocaml
silver has joined #ocaml
nahra has quit [Ping timeout: 250 seconds]
pierpa has joined #ocaml
cpdean has quit [Quit: Leaving.]
govg has joined #ocaml
cpdean has joined #ocaml
cpdean has quit [Client Quit]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zirman has joined #ocaml
cheater has quit [Ping timeout: 245 seconds]
cheater has joined #ocaml
zirman has quit [Ping timeout: 250 seconds]
<RalfJ> Hi all - I have a problem with opam pins. Say I have two packages A and Bpinned to some http://urlA.git#hashA1 and http://urlB.git#hashB1, and installed at these versions. I now want to upgrade the packages to hasA2 and hashB2. project B will only compile with matching versions of project A, so what I do is I update the pins with "pin add -n". after preparing all the pins, I now want opam to install the new versions I gave it to install... however, "opam
<RalfJ> upgrade" doesn't do anything, and neither does "opam install projectA projectB". "opam show projectA" shows no indication that opam even remembers that it didn't yet install the pinned version.
<RalfJ> how can I change several pins at once and then have opam re-compile things if needed?
TarVanimelde has quit [Quit: Leaving]
shon has quit [Remote host closed the connection]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
ocaml619 has joined #ocaml
<ocaml619> 476458@LT032871 /cygdrive/d/Ocaml/Week 6/ocaml/opam64 $ bash install.sh the following programs are not installed properly: curl I can't proceed :( 476458@LT032871 /cygdrive/d/Ocaml/Week 6/ocaml/opam64 $ curl curl: try 'curl --help' or 'curl --manual' for more information
<ocaml619> Anyone know the meaning of this ?
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
TarVanimelde has joined #ocaml
orbifx-m has joined #ocaml
<Algebr> look at the install.sh script and try doing things line by line yourself
<orbifx-m> What techniques are there to stop the GC from collecting values in a scope?
<orbifx-m> unused values that is
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
silver has quit [Read error: Connection reset by peer]
<flux> put them to a global variable, have a piece of C code register a global root to it, maybe it also works to put it into a tuple with a 'really' live variable
AlexDenisov has joined #ocaml
<orbifx-m> I tried the last option using a list and seemed to work. But there is no ocaml function to ask the runtime to keep them?
<flux> I don't think so. what do you need it for?
<flux> ..sounds hacky ;)
shon has joined #ocaml
<orbifx-m> I need to save an object coming from a c stub
<orbifx-m> Ill do this properly by making it a parameter to the main loop
<orbifx-m> Are all parameters preserved even if they are not used?
<flux> I don't think so..
zirman has joined #ocaml
zirman has quit [Changing host]
zirman has joined #ocaml
<orbifx-m> Ok ill feed them to a function that makes the a global root
<orbifx-m> But that needs c right? No ocaml function?
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
jao has joined #ocaml
sepp2k has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gregoire has quit [Ping timeout: 260 seconds]
jao has quit [Ping timeout: 265 seconds]
th5 has joined #ocaml
cpdean has joined #ocaml
yegods has quit [Remote host closed the connection]
ocaml619 has quit [Ping timeout: 260 seconds]
_2can has joined #ocaml
cpdean has quit [Quit: Leaving.]
zirman has quit [Remote host closed the connection]
jlongster has joined #ocaml
yegods has joined #ocaml
cpdean has joined #ocaml
nomicflux has joined #ocaml
yegods has quit [Remote host closed the connection]
soupault has joined #ocaml
soupault has quit [Remote host closed the connection]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
FreeBirdLjj has joined #ocaml
zpe has quit [Ping timeout: 258 seconds]
yomimono has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
<flux> correct.
FreeBirdLjj has joined #ocaml
shinnya has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
d0nn1e has quit [Ping timeout: 252 seconds]
cpdean has quit [Quit: Leaving.]
cpdean has joined #ocaml
d0nn1e has joined #ocaml
gregoire has joined #ocaml
cpdean has quit [Quit: Leaving.]
Algebr has quit [Ping timeout: 252 seconds]
<orbifx-m> Thanks flux
al-damiri has joined #ocaml
cpdean has joined #ocaml
cpdean has quit [Client Quit]
Mercuria1Alchemi has quit [Ping timeout: 244 seconds]
zirman has joined #ocaml
shon has quit [Remote host closed the connection]
sh0t has joined #ocaml
ryanartecona has joined #ocaml
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
AlexDenisov has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
FreeBirdLjj has quit [Ping timeout: 258 seconds]
w1gz has left #ocaml ["WeeChat 1.5"]
govg has quit [Ping timeout: 260 seconds]
noddy has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
dhil has joined #ocaml
mpenet has joined #ocaml
larhat has quit [Quit: Leaving.]
cheater has quit [Ping timeout: 250 seconds]
larhat has joined #ocaml
cpdean has joined #ocaml
cheater has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
larhat has quit [Ping timeout: 245 seconds]
shon has joined #ocaml
dhil has quit [Ping timeout: 245 seconds]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]
cpdean has quit [Quit: Leaving.]
shon has quit [Remote host closed the connection]
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
nahra has joined #ocaml
mpenet has quit [Remote host closed the connection]
cpdean has joined #ocaml
cpdean has quit [Client Quit]
TarVanimelde has quit [Ping timeout: 240 seconds]
TarVanimelde has joined #ocaml
zirman has quit [Remote host closed the connection]
tane has joined #ocaml
govg has joined #ocaml
jeffmo has joined #ocaml
noddy has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jnavila has quit [Quit: It was time]
AlexDenisov has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
FreeBirdLjj has joined #ocaml
cpdean has joined #ocaml
cpdean has quit [Client Quit]
xvw has quit [Quit: xvw]
yegods has joined #ocaml
silver has joined #ocaml
jao has joined #ocaml
slash^ has joined #ocaml
ygrek has joined #ocaml
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
Algebr has joined #ocaml
zirman has quit [Ping timeout: 245 seconds]
noddy has quit [Ping timeout: 258 seconds]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
orbifx-m has quit [Ping timeout: 240 seconds]
cpdean has joined #ocaml
cheater has quit [Ping timeout: 250 seconds]
orbifx-m has joined #ocaml
cheater has joined #ocaml
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
octachron has joined #ocaml
chetna has joined #ocaml
cheater has quit [Ping timeout: 250 seconds]
jnavila has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
cheater has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
richi235 has quit [Read error: No route to host]
maattdd has quit [Ping timeout: 252 seconds]
richi235 has joined #ocaml
jnavila has quit [Ping timeout: 260 seconds]
orbifx-m has quit [Remote host closed the connection]
zirman has quit [Remote host closed the connection]
yegods has quit [Remote host closed the connection]
zirman has joined #ocaml
Denommus has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
zirman has quit [Ping timeout: 256 seconds]
yegods has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
chetna has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
AlexDenisov has joined #ocaml
noddy has joined #ocaml
malina has joined #ocaml
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Ping timeout: 240 seconds]
_andre has quit [Quit: leaving]
AlexDenisov has joined #ocaml
AlexDeni_ has quit [Ping timeout: 248 seconds]
Algebr has quit [Ping timeout: 244 seconds]
jnavila has joined #ocaml
FreeBirdLjj has joined #ocaml
jnavila has quit [Ping timeout: 260 seconds]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
kakadu has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
cpdean has quit [Quit: Leaving.]
cpdean has joined #ocaml
malc_` has quit [Remote host closed the connection]
jnavila has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
yegods has quit [Remote host closed the connection]
MercurialAlchemi has quit [Remote host closed the connection]
zpe has joined #ocaml
MercurialAlchemi has joined #ocaml
malina has quit [Remote host closed the connection]
cpdean has quit [Quit: Leaving.]
ryanartecona has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
malina has joined #ocaml
cpdean has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
jeffmo has quit [Quit: jeffmo]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Denommus has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
cpdean has quit [Quit: Leaving.]
jeffmo has joined #ocaml
jonasen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
arcetera has quit [Read error: Connection reset by peer]
cpdean has joined #ocaml
orbifx has joined #ocaml
cataska has joined #ocaml
zpe has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
cataska has quit [Quit: Textual IRC Client: www.textualapp.com]
yegods has joined #ocaml
zirman has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 246 seconds]
noddy has quit [Ping timeout: 260 seconds]
freusque has quit [Ping timeout: 248 seconds]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
tane has quit [Quit: Leaving]
cpdean has quit [Quit: Leaving.]
cpdean has joined #ocaml
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
th5 has quit []
cpdean has quit [Quit: Leaving.]
cpdean has joined #ocaml
maattdd has joined #ocaml
jnavila has quit [Quit: Konversation terminated!]
jeffmo has quit [Quit: jeffmo]
maattdd has quit [Client Quit]
cpdean has quit [Quit: Leaving.]
yomimono has quit [Ping timeout: 258 seconds]
zirmann has joined #ocaml
jeffmo has joined #ocaml
AltGr has left #ocaml [#ocaml]
sepp2k has quit [Quit: Leaving.]
zirman has quit [Ping timeout: 244 seconds]
zirmann has quit [Ping timeout: 260 seconds]
maattdd has joined #ocaml
cheater has quit [Ping timeout: 244 seconds]
maattdd has quit [Ping timeout: 258 seconds]
FreeBirdLjj has joined #ocaml
cheater has joined #ocaml
cpdean has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
cpdean has quit [Client Quit]
ryanartecona has quit [Quit: ryanartecona]
vramana has quit [Remote host closed the connection]
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
malina has quit [Remote host closed the connection]
govg has quit [Ping timeout: 240 seconds]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
Simn has quit [Quit: Leaving]
zirman has quit [Ping timeout: 260 seconds]
malina has joined #ocaml
zirman has joined #ocaml
sh0t has quit [Remote host closed the connection]
yegods has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
kakadu has quit [Remote host closed the connection]
octachron has quit [Quit: Leaving]
yegods has joined #ocaml
noddy has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml