adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
zmt01 has quit [Quit: Leaving]
GreyFaceNoSpace has quit [Remote host closed the connection]
zmt00 has joined #ocaml
serge_ has joined #ocaml
serge_ has quit [Ping timeout: 240 seconds]
porchetta has joined #ocaml
_whitelogger has joined #ocaml
kleisli_ has joined #ocaml
hannes_ has joined #ocaml
vesper has joined #ocaml
brettgilio_ has joined #ocaml
picolino_ has joined #ocaml
chindy_ has joined #ocaml
TakinOver_ has joined #ocaml
TakinOver_ has quit [Client Quit]
tormen has joined #ocaml
rpcope- has joined #ocaml
TakinOver_ has joined #ocaml
landonf_ has joined #ocaml
kleisli has quit [Remote host closed the connection]
hannes has quit [Read error: Connection reset by peer]
picolino has quit [Quit: ZNC - http://znc.in]
vesper11 has quit [Quit: ZNC 1.7.4 - https://znc.in]
brettgilio has quit [Quit: ZNC 1.7.5 - https://znc.in]
chindy has quit [Quit: No Ping reply in 180 seconds.]
TakinOver has quit [Remote host closed the connection]
rpcope has quit [Ping timeout: 272 seconds]
landonf has quit [Remote host closed the connection]
Nikkel has quit [Ping timeout: 272 seconds]
tormen_ has quit [Ping timeout: 272 seconds]
leah2 has quit [Ping timeout: 272 seconds]
leah2 has joined #ocaml
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
Nikkel has joined #ocaml
olle has quit [Ping timeout: 265 seconds]
olle has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]
Hrundi_V_Bakshi has quit [Ping timeout: 268 seconds]
pierpal has joined #ocaml
Haudegen has quit [Ping timeout: 268 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 240 seconds]
Nikkel has quit [Ping timeout: 246 seconds]
mfp has quit [Ping timeout: 260 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 240 seconds]
mbuf has joined #ocaml
malina has quit [Read error: Connection reset by peer]
malina has joined #ocaml
dborisog has joined #ocaml
Nikkel has joined #ocaml
malina has quit [Read error: Connection reset by peer]
serge has joined #ocaml
serge has quit [Ping timeout: 260 seconds]
_whitelogger has joined #ocaml
sz0 has joined #ocaml
_whitelogger has joined #ocaml
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
gravicappa has joined #ocaml
narimiran has joined #ocaml
serge has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
serge has quit [Ping timeout: 260 seconds]
ggole has joined #ocaml
_whitelogger has joined #ocaml
_whitelogger has joined #ocaml
serge has joined #ocaml
serge has quit [Ping timeout: 272 seconds]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
dborisog has quit [Ping timeout: 240 seconds]
<mbuf> After building the OCaml compiler, how do I run the locally built ocamlc? When I do "./ocamlc", I get "bash ocamlc /usr/local/bin/ocamlrun bad interpreter no such file or directory"
<octachron> mbuf, two options: if you configured it to install at a reasonable location (like /tmp/ocaml), you can make install and then use ./ocamlc. Otherwise, you need to invoke it with "./runtime/ocamlc ./ocamlc -nostdlib -I stdlib"
_whitelogger has joined #ocaml
kakadu has joined #ocaml
_whitelogger has joined #ocaml
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 272 seconds]
Haudegen has joined #ocaml
dborisog has joined #ocaml
serge has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
mahmudov has quit [Ping timeout: 260 seconds]
<mbuf> octachron, thanks! I used ./runtime/ocamlrun ./ocamlc -I stdlib
<mbuf> octachron, do we need -nostdlib as well?
<mbuf> octachron, I took this command from the top-level Makefile
<mbuf> stepping out; will connect later
mbuf has quit [Quit: Leaving]
nullifidian_ has joined #ocaml
bartholin has quit [Ping timeout: 265 seconds]
nullifidian__ has quit [Ping timeout: 272 seconds]
kakadu_ has quit [Ping timeout: 268 seconds]
mfp has joined #ocaml
mahmudov has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
serge has joined #ocaml
serge has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
mahmudov has quit [Ping timeout: 272 seconds]
FreeBirdLjj has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #ocaml
bartholin has joined #ocaml
ocaml459 has joined #ocaml
serge has joined #ocaml
serge has quit [Ping timeout: 240 seconds]
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
<kleisli_> are tuples ('a * 'b) fundamental to the ocaml language or are they defined in the stdlib? (or where can i find out for myself?)
<kleisli_> i can't seem to find them in the stdlib
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
<thizanne> they are built-in
ocaml459 has joined #ocaml
mononote has left #ocaml ["Leaving"]
ocaml459 has quit [Client Quit]
sagax has quit [Ping timeout: 240 seconds]
delysin has quit [Ping timeout: 240 seconds]
brettgilio_ has quit [Ping timeout: 268 seconds]
serge has joined #ocaml
oni-on-ion has quit [Ping timeout: 240 seconds]
serge has quit [Ping timeout: 272 seconds]
sagax has joined #ocaml
wingsorc has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
gravicappa has quit [Ping timeout: 260 seconds]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
<toppler> kleisli_: I'm not sure if they could be defined. Ocaml constructors are unary.
<Armael> No they're not
<Armael> In "type t = A of int * int", constructor A has arity 2 (and takes two ints)
mahmudov has joined #ocaml
<Armael> In "type t = A of (int * int)" A is unary and takes a pair on ints
<Armael> The representation in memory is also not the same
<Armael> (there is an extra indirection in the second case)
ocaml459 has joined #ocaml
gareppa has joined #ocaml
<kleisli_> interesting
ocaml459 has quit [Client Quit]
NSA_Spy has joined #ocaml
gareppa has quit [Remote host closed the connection]
<kleisli_> why is it that if i have `type t = A of int * int` , I still construct values with `A (x, y)` rather than `A x y` ?
<kleisli_> @Armael
<Armael> to hint at the fact that you cannot curry constructors
<Armael> t is effectively the same as pair of ints (int * int) here
<Armael> so to construct it you need to give both ints at once
<kleisli_> ah
ocaml459 has joined #ocaml
<Armael> to my knowledge there are some proposals on adding a syntax to turn a constructor into a n-ary function, but they haven't converged atm
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
kakadu has joined #ocaml
iovec has joined #ocaml
ocaml459 has quit [Client Quit]
FreeBirdLjj has quit [Remote host closed the connection]
nullcone has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
brettgilio has joined #ocaml
serge has joined #ocaml
decentpenguin has joined #ocaml
jnavila has joined #ocaml
<toppler> Armael: Ah, didn't know that.
serge has quit [Ping timeout: 272 seconds]
picolino_ has quit [Ping timeout: 268 seconds]
picolino has joined #ocaml
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
gravicappa has joined #ocaml
<toppler> Armael: Do you know the reason that Ocaml constructors are not functions?
hannes_ is now known as hannes
Hrundi_V_Bakshi has joined #ocaml
gravicappa has quit [Ping timeout: 272 seconds]
zolk3ri has joined #ocaml
vicfred has quit [Quit: Leaving]
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
pierpal has joined #ocaml
dborisog has quit [Ping timeout: 260 seconds]
NSA_Spy has quit [Remote host closed the connection]
NSA_Spy has joined #ocaml
kleisli_ has quit [Ping timeout: 265 seconds]
delysin has joined #ocaml
ggole has quit [Quit: Leaving]
bartholin has quit [Remote host closed the connection]
kleisli_ has joined #ocaml
bartholin has joined #ocaml
nullifidian__ has quit [Read error: Connection reset by peer]
nullifidian__ has joined #ocaml
decentpenguin has quit [Ping timeout: 240 seconds]
gravicappa has joined #ocaml
NSA_Spy has quit [Remote host closed the connection]
NSA_Spy has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
narimiran has quit [Quit: leaving]
serge has joined #ocaml
serge has quit [Ping timeout: 240 seconds]
ocaml459 has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
ocaml459 has quit [Client Quit]
kleisli_ has quit [Ping timeout: 268 seconds]
kleisli_ has joined #ocaml
kleisli_ has quit [Remote host closed the connection]
kleisli has joined #ocaml
jnavila has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 265 seconds]
iovec has quit [Quit: Connection closed for inactivity]
ArthurStrong has joined #ocaml
NSA_Spy has quit [Ping timeout: 240 seconds]
NSA_Spy has joined #ocaml
nullifidian__ has quit [Read error: Connection reset by peer]
nullifidian__ has joined #ocaml
serge has joined #ocaml
pierpal has joined #ocaml
serge has quit [Ping timeout: 260 seconds]
NSA_Spy has quit [Remote host closed the connection]
NSA_Spy has joined #ocaml
Undercover_Russi has joined #ocaml
NSA_Spy has quit [Read error: Connection reset by peer]
Undercover_Russi has quit [Remote host closed the connection]
NSA_Spy has joined #ocaml