adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Upcoming OCaml MOOC: https://huit.re/ocamlmooc | OCaml 4.03.0 release notes: http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
_whitelogger has joined #ocaml
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 276 seconds]
shinnya has quit [Ping timeout: 250 seconds]
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 244 seconds]
madroach has quit [Ping timeout: 276 seconds]
madroach has joined #ocaml
eh_eff has quit [Ping timeout: 245 seconds]
jao has quit [Remote host closed the connection]
al-damiri has quit [Quit: Connection closed for inactivity]
minn has left #ocaml ["Leaving"]
minn has joined #ocaml
jao has joined #ocaml
alienbot has joined #ocaml
conrad4 has joined #ocaml
conrad4 has quit [Ping timeout: 252 seconds]
eh_eff has joined #ocaml
average has joined #ocaml
brunoro has joined #ocaml
eh_eff has quit [Ping timeout: 276 seconds]
brunoro has quit [Ping timeout: 276 seconds]
fraggle_ has quit [Ping timeout: 250 seconds]
grandy has quit [Ping timeout: 250 seconds]
Algebr has joined #ocaml
theolaurent has quit [Ping timeout: 250 seconds]
maufred has quit [Ping timeout: 250 seconds]
grandy has joined #ocaml
Algebr has quit [Ping timeout: 256 seconds]
breitenj has quit [Ping timeout: 250 seconds]
breitenj has joined #ocaml
theolaurent has joined #ocaml
maufred has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
silver_ has quit [Quit: rakede]
maufred has quit [Ping timeout: 250 seconds]
fraggle_ has joined #ocaml
srcerer has joined #ocaml
average has quit [Ping timeout: 260 seconds]
petroav_ has joined #ocaml
grinbergr has joined #ocaml
grinbergr has quit [Remote host closed the connection]
rgrinberg has quit [Remote host closed the connection]
brunoro has joined #ocaml
maufred has joined #ocaml
petroav_ has quit [Ping timeout: 260 seconds]
brunoro has quit [Ping timeout: 244 seconds]
wu_ng has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
Algebr has joined #ocaml
ygrek has quit [Ping timeout: 256 seconds]
Algebr has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
vishesh has joined #ocaml
jao has quit [Ping timeout: 256 seconds]
conrad4 has joined #ocaml
dougieT has quit [Quit: Page closed]
conrad4 has quit [Ping timeout: 260 seconds]
brunoro has joined #ocaml
Heasummn has quit [Quit: Leaving]
al-damiri has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
average has joined #ocaml
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 260 seconds]
petroav_ has joined #ocaml
A2`` has left #ocaml [#ocaml]
pierpa has quit [Ping timeout: 245 seconds]
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
petroav_ has quit [Ping timeout: 260 seconds]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 260 seconds]
AlexDenisov has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
axiles has quit [Ping timeout: 250 seconds]
axiles has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
dmi3y has joined #ocaml
conrad4 has joined #ocaml
dmi3y has quit [Ping timeout: 260 seconds]
conrad4 has quit [Ping timeout: 244 seconds]
brunoro has joined #ocaml
jg_ has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
brunoro has joined #ocaml
mkpl has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
MercurialAlchemi has joined #ocaml
axiles has quit [Ping timeout: 260 seconds]
minn has quit [Ping timeout: 244 seconds]
axiles has joined #ocaml
alienbot has quit [Remote host closed the connection]
noddy has quit [Ping timeout: 256 seconds]
Orion3k has quit [Quit: Leaving]
FreeBirdLjj has joined #ocaml
noddy has joined #ocaml
nop0x07bc has joined #ocaml
nop0x07bc is now known as pon1980
brunoro has joined #ocaml
eh_eff has joined #ocaml
pon1980 has left #ocaml [#ocaml]
FreeBirdLjj has quit [Ping timeout: 245 seconds]
brunoro has quit [Ping timeout: 245 seconds]
eh_eff has quit [Ping timeout: 260 seconds]
copy` has quit [Quit: Connection closed for inactivity]
calculemus has joined #ocaml
alfredo has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
zpe has joined #ocaml
jnavila has joined #ocaml
FreeBirdLjj has joined #ocaml
alfredo has quit [Ping timeout: 265 seconds]
zpe has quit [Remote host closed the connection]
conrad4 has joined #ocaml
zpe has joined #ocaml
conrad4 has quit [Ping timeout: 245 seconds]
zpe has quit [Ping timeout: 256 seconds]
AltGr has joined #ocaml
Simn has joined #ocaml
eh_eff has joined #ocaml
AlexDenisov has joined #ocaml
eh_eff has quit [Ping timeout: 265 seconds]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
dmi3y has joined #ocaml
larhat has joined #ocaml
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
jwatzman|work has joined #ocaml
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
conrad4 has joined #ocaml
whisperedcigar has quit [Ping timeout: 245 seconds]
whisperedcigar has joined #ocaml
conrad4 has quit [Ping timeout: 250 seconds]
toolslive has joined #ocaml
Algebr has joined #ocaml
dmi3y has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
brunoro has joined #ocaml
calculemus has quit [Quit: WeeChat 1.6]
henrytill has quit [Ping timeout: 260 seconds]
brunoro has quit [Ping timeout: 245 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
calculemus has joined #ocaml
dhil has joined #ocaml
AlexDenisov has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
FreeBirdLjj has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
rand__ has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
eh_eff has joined #ocaml
TarVanimelde has quit [Quit: Leaving]
eh_eff has quit [Ping timeout: 250 seconds]
wu_ng has quit [Ping timeout: 252 seconds]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
whisperedcigar has quit [Ping timeout: 245 seconds]
_andre has joined #ocaml
<Algebr> companion_cube: ping
petroav_ has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
sh0t has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 252 seconds]
zpe has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
conrad4 has joined #ocaml
conrad4 has quit [Ping timeout: 265 seconds]
larhat has quit [Quit: Leaving.]
FreeBirdLjj has quit [Remote host closed the connection]
larhat has joined #ocaml
brunoro has joined #ocaml
jgjl has joined #ocaml
brunoro has quit [Ping timeout: 252 seconds]
<demonimin> augh, the planet seems to be down
<companion_cube> pong
<Algebr> two things, linenoise added a cool new feature that lets you set hints, for example if someone types git remote then it will add more stuff like colored string hint message output, bold. 2) I said I wont' break api but there's a few functions that give back int as error. I'm thinking of changing that to Ok | Error using standard 4.03.0 error type
<Algebr> its a pretty neat feature added and are you okay with changing int return to Ok | Error? Stll could be ignored as usual
<Algebr> brb for lunch
AlexDenisov has joined #ocaml
<companion_cube> it's ok by me, result is a good type
<companion_cube> (it's not as if I check for errors right now)
whisperedcigar has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
whisperedcigar has quit [Ping timeout: 245 seconds]
brunoro has joined #ocaml
average has quit [Quit: leaving]
dhil has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
nopf has quit [Quit: leaving]
<Algebr> oh this type hints is super awesome
<reynir> I looked up linenoise and at first read that it uses mongodb D:
<reynir> (I misread: it's used *by* mongodb)
nopf has joined #ocaml
freehck has quit [Quit: rcirc on GNU Emacs 24.4.1]
<companion_cube> therefore it's webscale?
petroav_ has quit [Ping timeout: 260 seconds]
<Armael> they don't have animated screencaps in their readme
<Armael> I'm super disappointed
zpe has joined #ocaml
ggole has joined #ocaml
<Algebr> I'll add an animated gif
<Algebr> I swear the ssl package is ALWAYS busted
<nicoo> Algebr: What's linenoise?
<Algebr> like readline but self contained and better.
<nicoo> I see
<Algebr> configure: error: Cannot find libssl. for ssl on os x
<Algebr> had to do: LDFLAGS+=-L/usr/local/opt/openssl/lib CPPFLAGS+=-I/usr/local/opt/openssl/include opam install ssl
<companion_cube> better, I don't know, but KISS and with no dep
<asmanur_> yeah
<asmanur_> but it does not look very reentrant because of all the configs being in a global state
petroav_ has joined #ocaml
<companion_cube> I don't usually need several readlines, though
<Algebr> its meant for repls
<companion_cube> (agree, it's not very clean)
eh_eff has joined #ocaml
Denommus has joined #ocaml
eh_eff has quit [Ping timeout: 256 seconds]
yomimono has joined #ocaml
FreeBirdLjj has joined #ocaml
conrad4 has joined #ocaml
rgrinberg has joined #ocaml
conrad4 has quit [Ping timeout: 250 seconds]
whisperedcigar has joined #ocaml
agarwal1975 has joined #ocaml
brunoro has joined #ocaml
whisperedcigar has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
brunoro has quit [Ping timeout: 245 seconds]
dhil has quit [Ping timeout: 260 seconds]
dhil has joined #ocaml
yomimono has quit [Ping timeout: 244 seconds]
freehck has joined #ocaml
yomimono has joined #ocaml
<Algebr> okay have the little gif, about to publish: https://github.com/fxfactorial/ocaml-linenoise
FreeBirdLjj has quit [Remote host closed the connection]
<companion_cube> the hint thing is pretty neat
yomimono has quit [Ping timeout: 244 seconds]
<Algebr> yea I like it a lot
<Drup> what are all the ignore for ?
petroav_ has quit [Ping timeout: 260 seconds]
<freehck> People, in Core library, where can I find what stuff I can put after "type ... = ... with"?
<Algebr> ignoring the result, Ok () or Error " blah blah ""
<freehck> I know that I can put there "sexp" to get ..._of_sexp and sexp_of_..., and now I'm looking for something what create "of_string" and "to_string".
<Drup> Algebr: if you are ignoring all the returns in your default example, what's the point of using a result datatype ?
<freehck> Where shall I look for these extensions?
<Drup> Use exceptions in this case
<Drup> (Or change your example)
<Algebr> Drup: previous API gave back an int, I upped it to a result type.
<Algebr> Drup: because it wasn't relevant and I didn't want to write match
average has joined #ocaml
<Drup> your example should demonstrate how to use the library well. Ignoring errors without even aborting doesn't seem like that
<Algebr> PRs warmly accepted
<Armael> kek
<Drup> I won't PR a library that I do not use, I'm just pointing out somethings that feels unsatisfying in either your example (or your API design, pick one).
<Algebr> I PR libraries I don't use if only to improve their documentation, or READMEs :)
al-damiri has quit [Quit: Connection closed for inactivity]
<Algebr> appreciate your positivity Drup, as always :)
whisperedcigar has joined #ocaml
<Drup> Eh, gotta pick what I dedicate time to, that's just a flyby comment looking at the example for a few minutes, you're the maintainer, do what you want with it :p
average has quit [Quit: leaving]
<Drup> (I do like the API though)
<Algebr> I'm thinking of the cool repls that could be made.
mkpl has quit [Quit: Page closed]
sepp2k has joined #ocaml
gjaldon has joined #ocaml
yomimono has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
yomimono has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
brunoro has joined #ocaml
yomimono has joined #ocaml
sh0t has joined #ocaml
brunoro has quit [Ping timeout: 245 seconds]
AlexDenisov has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
yomimono has quit [Quit: Leaving]
al-damiri has joined #ocaml
eh_eff has joined #ocaml
average has joined #ocaml
jg_ has quit [Ping timeout: 260 seconds]
average has quit [Client Quit]
eh_eff has quit [Ping timeout: 256 seconds]
shinnya has joined #ocaml
_andre has quit [Ping timeout: 256 seconds]
_andre has joined #ocaml
rgrinberg has joined #ocaml
copy` has joined #ocaml
smondet has joined #ocaml
marsam has joined #ocaml
dhil has quit [Ping timeout: 244 seconds]
dhil has joined #ocaml
ggole_ has joined #ocaml
brunoro has joined #ocaml
ggole has quit [Ping timeout: 245 seconds]
average has joined #ocaml
gjaldon has quit []
brunoro has quit [Ping timeout: 260 seconds]
conrad4 has joined #ocaml
Denommus` has joined #ocaml
conrad4 has quit [Ping timeout: 244 seconds]
Denommus has quit [Ping timeout: 260 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
MercurialAlchemi has joined #ocaml
ggole__ has joined #ocaml
citrusybutter has joined #ocaml
jg_ has joined #ocaml
toolslive has quit [Ping timeout: 250 seconds]
whisperedcigar has quit [Ping timeout: 245 seconds]
ggole_ has quit [Ping timeout: 260 seconds]
fraggle_ has quit [Ping timeout: 260 seconds]
Mercuria1Alchemi has joined #ocaml
AlexDenisov has joined #ocaml
jao has joined #ocaml
pierpa has joined #ocaml
pierpa has quit [Remote host closed the connection]
pierpa has joined #ocaml
toolslive has joined #ocaml
larhat has quit [Ping timeout: 256 seconds]
larhat has joined #ocaml
zpe has joined #ocaml
jg_ has quit [Ping timeout: 244 seconds]
trix has quit [Ping timeout: 256 seconds]
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
wolfcore has joined #ocaml
shinnya has quit [Ping timeout: 244 seconds]
veggie_ has joined #ocaml
ethnopes has joined #ocaml
ygrek has joined #ocaml
citrusybutter has quit [Ping timeout: 245 seconds]
<ethnopes> hi, sorry for the noob question, but i've never written ocaml before and i'm trying to fix a bug in some oss.
<ethnopes> when i have code like `let foo = ... in bar`, does that mean bar is passed to foo?
<companion_cube> it means you define `foo` to be `…` and then proceed to evaluate `bar`
<companion_cube> `bar` can use `foo`
<companion_cube> let x = 41 in x+1
<ethnopes> oh okay, thanks a lot! i've never taken functional programming so i'm just hacking this together.
MercurialAlchemi has quit [Ping timeout: 260 seconds]
brunoro has joined #ocaml
jg_ has joined #ocaml
brunoro has quit [Ping timeout: 265 seconds]
tane has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
<companion_cube> no pb
ggole__ has quit []
sh0t has quit [Ping timeout: 245 seconds]
slash^ has joined #ocaml
jgjl has quit [Quit: Textual IRC Client: www.textualapp.com]
ryanartecona has joined #ocaml
larhat has quit [Quit: Leaving.]
AltGr has left #ocaml [#ocaml]
jwatzman|work has quit [Quit: jwatzman|work]
justanotherguy has joined #ocaml
justanotherguy has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
dhil has quit [Ping timeout: 244 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
citrusybutter has joined #ocaml
brunoro has joined #ocaml
Denommus` is now known as Denommus
conrad4 has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Ping timeout: 265 seconds]
conrad4 has quit [Ping timeout: 250 seconds]
dhil has joined #ocaml
Algebr has quit [Ping timeout: 250 seconds]
ygrek has quit [Ping timeout: 252 seconds]
jonatin has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
jonatin has quit [Client Quit]
jonatin has joined #ocaml
malc_ has joined #ocaml
ryanartecona has joined #ocaml
ygrek has joined #ocaml
Orion3k has joined #ocaml
citrusybutter has quit [Ping timeout: 245 seconds]
dhil has quit [Ping timeout: 256 seconds]
whisperedcigar has joined #ocaml
brunoro has joined #ocaml
Algebr has joined #ocaml
brunoro has quit [Ping timeout: 250 seconds]
ski has quit [Remote host closed the connection]
cow-orke1 has quit [Remote host closed the connection]
veggie_ has quit [Ping timeout: 260 seconds]
* reynir gives companion_cube peanut butter
zpe_ has quit [Remote host closed the connection]
octachron has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
toolslive has quit [Ping timeout: 260 seconds]
toolslive has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
kakadu_ has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
cschneid has quit [Ping timeout: 245 seconds]
d0nn1e has joined #ocaml
cschneid has joined #ocaml
brunoro has joined #ocaml
Onemorenickname has joined #ocaml
<Onemorenickname> Hi people
<ethnopes> the funny thing is, i started out wanting to fix one annoying bug in the morning, but at this point i'm deep into ocaml tutorials, debuggers and what not.
brunoro has quit [Ping timeout: 256 seconds]
<Onemorenickname> I have two variable polymorphic variant types (https://ghostbin.com/paste/h5wka) 'a test_a and 'a test_b, and i'd like to define a cyclic type test_c such that "test_c = test_c test_b test_a"
<Onemorenickname> i want the variables of 'a test_a and 'a test_b to be binded to test_b and test_a
<Onemorenickname> how can i do so ?
<Drup> "type test_c = test_c test_b test_a" ?
<Drup> that works just fine, I'm not sure what your question is
<Onemorenickname> Drup : I made the syntax up
<Onemorenickname> I did not expect it to make sense
<Onemorenickname> ha ha ha
<flux> well it is a bit weird it didn't need a 'rec' ;-)
d0nn1e has quit [Quit: ZNC - http://znc.in]
veggie_ has joined #ocaml
conrad4 has joined #ocaml
veggie_ has quit [Ping timeout: 244 seconds]
conrad4 has quit [Ping timeout: 256 seconds]
AlexDenisov has joined #ocaml
chindy has joined #ocaml
<chindy> http://pastebin.com/Kn4QUq5L what does this datastructure do? I dont understand what C of(int,int) test
<chindy> of what type is "C"
<chindy> what is the constructor "C" applied to
<flux> so the parameter is type 'test' that is parametrized with two integers
<flux> so the ('a, 'b) in the definition of 'test' are bound to 'a = int, 'b = int
<flux> a proper value of the type would be C (Full (4, 2))
<flux> (or C Empty)
trystero has joined #ocaml
<chindy> ahh okay i see so its basically the syntax of expressing something like this: type xy = D | C of ((int,int): that_pair_type) if i define that_pair_type to be a type
brunoro has joined #ocaml
<chindy> so it is a way to force the programmer to write C(Full(1,2)) instead of just C((1,2))
<chindy> using the typesystem with all advantages that come with it
<flux> let's say the type 'test' would be type ('a, 'b) = Empty | Full of ('a, 'b) | HalfEmpty of ('b, 'a)
<flux> then C((1, 2)) would be ambiguous
tristero has quit [Ping timeout: 244 seconds]
<chindy> so... that would not work ?
<chindy> ahh
<chindy> nv,
<chindy> nvm
ryanartecona has joined #ocaml
veggie_ has joined #ocaml
brunoro has quit [Ping timeout: 250 seconds]
fraggle_ has joined #ocaml
trystero is now known as tristero
Mercuria1Alchemi has quit [Ping timeout: 250 seconds]
sepp2k has quit [Quit: Leaving.]
<chindy> http://pastebin.com/76PAWcHX can someone explain this datastructure ? I can guess that it is a tree that holds pairs of 'a and 'b but i am not quite sure why the Leaf needs an int and the branch 2 int
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 276 seconds]
<ethnopes> chindy: i'm not familiar with ocaml, but i'd guesstimate it's just a radix tree.
<chindy> ethnopes, yea, i think so too...
<chindy> what i dont understand though is why Leaf has a ('a,'b) list and why Branch has two ints
<malc_> chindy: first int i somehow applicable to the first function and the second to the second?
<malc_> function=func
<chindy> malc_, i think func is just an algebraic type not a function
<chindy> its the name
<chindy> although a horribly bad name
<malc_> chindy: yes, but if read as ((int * ('a * 'b) func) * (int * ('a * 'b) func)) it kinds makes sense, no?
<malc_> kinds=kinda
yomimono has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
<chindy> not to me... it seems more like (1, (("asdf",[1;2]):func) * (1 , ("a" , [2]):func))
<chindy> this would be a "correct" instance of the tipe
<chindy> where x:func means x is of type func
<chindy> Acctually i think im completely wrong and you are right... i just dont know why yet...
<kakadu_> Folks, How should I investigate contents of cmi file?
<kakadu_> Which types are declared there, etc...
<companion_cube> ocamlobjinfo, I think
_andre has quit [Quit: leaving]
<kakadu_> It either doesn't have interesting command line switches or they are not documented
veggie_ has quit [Ping timeout: 260 seconds]
marsam has quit [Read error: Connection reset by peer]
MercurialAlchemi has joined #ocaml
<def`> kakadu_: ocamlbrowser :P
<kakadu_> def`: QOCamlBrowser ! :P
<companion_cube> I don't know if ocp-browser can work with only .cmi
<companion_cube> but if it does, it's clearly a good tool
<kakadu_> Nice, camlp5 dumps val virtual asdfasdf when it should method virtual asdf
<kakadu_> Btw, how painfully coq lives with camlp5?
<kakadu_> should I ask that in #coq?
<companion_cube> probably
<companion_cube> or on the mailing list
Denommus has quit [Quit: going home]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
veggie_ has joined #ocaml
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 265 seconds]
rgrinberg has joined #ocaml
rand__ has quit [Quit: leaving]
tane has quit [Quit: Leaving]
jg_ has quit [Ping timeout: 244 seconds]
<chindy> is 'a * 'b -> 'c implicitly ('a * 'b) -> 'c ?
<chindy> does the tuple have higher precedence than function application?
<octachron> chindy, yes
conrad4 has joined #ocaml
conrad4 has quit [Ping timeout: 256 seconds]
nomicflux has joined #ocaml
Onemorenickname has quit [Read error: Connection reset by peer]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
ryanartecona has quit [Quit: ryanartecona]
dlat has quit [Ping timeout: 260 seconds]
Algebr has quit [Ping timeout: 245 seconds]
dlat has joined #ocaml
julian_ has joined #ocaml
chindy has quit [Ping timeout: 260 seconds]
nomicflux has quit [Quit: nomicflux]
julian_ has quit [Remote host closed the connection]
brunoro has joined #ocaml
nomicflux has joined #ocaml
kamog has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
yomimono has quit [Ping timeout: 252 seconds]
ethnopes has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ethnopes has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nomicflux has quit [Quit: nomicflux]
agarwal1975 has quit [Quit: agarwal1975]
octachron has quit [Quit: Leaving]
smondet has quit [Ping timeout: 250 seconds]
conrad4 has joined #ocaml
Algebr has joined #ocaml
conrad4 has quit [Ping timeout: 265 seconds]
Simn has quit [Quit: Leaving]
Algebr has quit [Ping timeout: 244 seconds]
nomicflux has joined #ocaml
brunoro has joined #ocaml
nomicflux has quit [Quit: nomicflux]
brunoro has quit [Ping timeout: 245 seconds]
yomimono has joined #ocaml
dxtr has joined #ocaml
brunoro has joined #ocaml
<ethnopes> in ocaml, is ! to := as * is to & in C?
brunoro has quit [Ping timeout: 276 seconds]
<ygrek_> no
<ethnopes> ok, could you please elaborate? i've learned ocaml for about a day now and those two have me at a bit of a loss.
agarwal1975 has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
<nicoo> ethnopes: ! is like *
nomicflux has joined #ocaml
<nicoo> but := is like = in C: it assigns to the reference
yomimono has quit [Ping timeout: 244 seconds]
<ethnopes> oh okay. thanks!
<nicoo> You are welco
<nicoo> me