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
mengu_ has quit [Read error: Connection reset by peer]
mengu has joined #ocaml
sh0t has quit [Remote host closed the connection]
mengu has quit [Read error: Connection reset by peer]
mengu has joined #ocaml
ryanartecona has joined #ocaml
orbifx has quit [Ping timeout: 258 seconds]
eimantas has quit [Quit: WeeChat 1.5]
jabroney1 has quit [Quit: Leaving.]
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
al-damiri has quit [Quit: Connection closed for inactivity]
silver has quit [Quit: rakede]
def`_ has quit [Ping timeout: 240 seconds]
adrien has quit [Ping timeout: 240 seconds]
Fistine has quit [Ping timeout: 256 seconds]
adrien has joined #ocaml
FreeBirdLjj has joined #ocaml
def` has joined #ocaml
Fistine has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
sepp2k has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
TarVanim_ has joined #ocaml
mali__ has joined #ocaml
mfp_ has joined #ocaml
mfp has quit [Ping timeout: 246 seconds]
TarVanim_ has quit [Quit: TarVanim_]
FreeBirdLjj has quit [Remote host closed the connection]
copy` has quit [Quit: Connection closed for inactivity]
infinity0_ has joined #ocaml
infinity0_ has joined #ocaml
infinity0 has quit [Killed (weber.freenode.net (Nickname regained by services))]
infinity0_ is now known as infinity0
infinity0 has quit [Remote host closed the connection]
infinity0_ has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ is now known as infinity0
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
tristero has quit [Ping timeout: 258 seconds]
infinity0 has quit [Remote host closed the connection]
vicfred has joined #ocaml
wtetzner has joined #ocaml
spew has quit [Quit: foobar]
spew has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
igitoor has quit [Ping timeout: 255 seconds]
al-damiri has joined #ocaml
igitoor has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
spew has quit [Quit: foobar]
FreeBirdLjj has quit [Remote host closed the connection]
meiji11 has joined #ocaml
FreeBirdLjj has joined #ocaml
mengu has quit [Remote host closed the connection]
AlfredENeuman has quit [Ping timeout: 252 seconds]
mengu has joined #ocaml
fraggle_ has quit [Ping timeout: 255 seconds]
mfp_ has quit [Ping timeout: 264 seconds]
fraggle_ has joined #ocaml
mengu has quit [Ping timeout: 258 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
wtetzner has quit [Remote host closed the connection]
snhmib has quit [Ping timeout: 240 seconds]
AlfredENeuman has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
larhat1 has quit [Quit: Leaving.]
srax has joined #ocaml
manizzle has quit [Ping timeout: 260 seconds]
manizzle has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
ygrek_ has quit [Ping timeout: 240 seconds]
manizzle has quit [Ping timeout: 268 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
vicfred has quit [Ping timeout: 240 seconds]
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBird_ has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
manizzle has joined #ocaml
MercurialAlchemi has joined #ocaml
vicfred has joined #ocaml
FreeBirdLjj has joined #ocaml
philtor has quit [Ping timeout: 260 seconds]
manizzle has quit [Ping timeout: 246 seconds]
manizzle has joined #ocaml
jsoo has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
jsoo has quit [Ping timeout: 246 seconds]
infinity0 has joined #ocaml
manizzle has quit [Ping timeout: 268 seconds]
manizzle has joined #ocaml
frefity has quit [Ping timeout: 240 seconds]
manizzle has quit [Ping timeout: 264 seconds]
vicfred has quit [Quit: Leaving]
adrien has quit [Ping timeout: 240 seconds]
adrien has joined #ocaml
frefity has joined #ocaml
manizzle has joined #ocaml
alfredo has joined #ocaml
d0nn1e has quit [Ping timeout: 264 seconds]
d0nn1e has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
alfredo has quit [Ping timeout: 260 seconds]
meiji11` has joined #ocaml
meiji11 has quit [Ping timeout: 264 seconds]
Simn has joined #ocaml
abeaumont has quit [Ping timeout: 264 seconds]
jnavila has joined #ocaml
zpe has joined #ocaml
leah2 has quit [Ping timeout: 240 seconds]
AltGr has joined #ocaml
larhat has joined #ocaml
maattdd_ has joined #ocaml
maattdd has quit [Ping timeout: 260 seconds]
AlexDenisov has joined #ocaml
meiji11` has quit [Remote host closed the connection]
jgjl has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
maattdd_ has quit [Quit: WeeChat 1.7]
maattdd has joined #ocaml
AlexDenisov has joined #ocaml
<vbmithr> yep
johnelse_ has quit [Ping timeout: 240 seconds]
johnelse has joined #ocaml
maattdd_ has joined #ocaml
maattdd has quit [Ping timeout: 260 seconds]
Guest82 has joined #ocaml
Guest82 has quit [Client Quit]
MercurialAlchemi has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
gjaldon has joined #ocaml
gjaldon has quit [Client Quit]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
yomimono has joined #ocaml
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
yomimono has quit [Ping timeout: 264 seconds]
AlexDenisov has joined #ocaml
mfp_ has joined #ocaml
silver has joined #ocaml
TheLemonMan has joined #ocaml
eimantas has joined #ocaml
AlexRussia has quit [Ping timeout: 246 seconds]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
_andre has joined #ocaml
snowcrshd has joined #ocaml
shinnya has joined #ocaml
AlexRussia has joined #ocaml
AlexDenisov has joined #ocaml
<n4323> hi, what's the best way to debug a native ocaml program on os x?
<n4323> stack traces etc?
<def`> I think so. The macOS toolchain drop DWARF information
<def`> so stack trackes is the easiest to get
<def`> You build with -g, and run with OCAMLRUNPARAM=b (or alternatively call Printexc.record_backtrace true)
sepp2k has joined #ocaml
yegods has joined #ocaml
BitPuffin|osx has joined #ocaml
yomimono has joined #ocaml
yegods has quit [Remote host closed the connection]
AltGr has left #ocaml [#ocaml]
mali__ has quit [Ping timeout: 240 seconds]
yomimono has quit [Ping timeout: 240 seconds]
mali__ has joined #ocaml
n4323 has quit [Quit: WeeChat 1.7]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods_ has joined #ocaml
mengu has joined #ocaml
spew has joined #ocaml
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
yomimono has joined #ocaml
chris2_ has joined #ocaml
chris2_ is now known as leah2
jgjl has joined #ocaml
AlexRussia has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
larhat has quit [Ping timeout: 240 seconds]
yegods_ has quit [Remote host closed the connection]
AlexRussia has joined #ocaml
jabroney has joined #ocaml
yegods has joined #ocaml
mengu has quit [Quit: Leaving...]
yegods has quit [Remote host closed the connection]
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
freusque has joined #ocaml
yegods has joined #ocaml
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
<_andre> does anyone have an example of a project using topkg to generate a syntax extension with ppx?
alfredo has joined #ocaml
yomimono has quit [Ping timeout: 260 seconds]
AlexRussia has quit [Ping timeout: 240 seconds]
leah2 has quit [Quit: WeeChat 1.7]
leah2_ has joined #ocaml
leah2_ is now known as leah2
yegods has quit [Remote host closed the connection]
freusque has quit [Ping timeout: 240 seconds]
AlexRussia has joined #ocaml
dhil has quit [Ping timeout: 268 seconds]
manizzle has quit [Ping timeout: 268 seconds]
manizzle has joined #ocaml
ryanartecona has joined #ocaml
abeaumont has joined #ocaml
manizzle has quit [Max SendQ exceeded]
jgjl has joined #ocaml
manizzle has joined #ocaml
larhat has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 258 seconds]
eimantas has quit [Ping timeout: 268 seconds]
AlexRussia_ has joined #ocaml
dhil has joined #ocaml
AlexRussia has quit [Ping timeout: 268 seconds]
dhil has quit [Ping timeout: 256 seconds]
abeaumont has quit [Ping timeout: 240 seconds]
philtor has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
yegods has joined #ocaml
dhil has joined #ocaml
yegods has quit [Ping timeout: 264 seconds]
AlexRussia_ has quit [Ping timeout: 246 seconds]
manizzle has quit [Ping timeout: 240 seconds]
manizzle has joined #ocaml
AlexDenisov has joined #ocaml
alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]
shinnya has quit [Ping timeout: 260 seconds]
jnavila has quit [Ping timeout: 264 seconds]
jao has joined #ocaml
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
tristero has joined #ocaml
tristero has quit [Changing host]
tristero has joined #ocaml
jgjl has joined #ocaml
al-damiri has joined #ocaml
ygrek_ has joined #ocaml
yomimono has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexRussia_ has joined #ocaml
tane has joined #ocaml
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
Onemorenickname has joined #ocaml
<Onemorenickname> Hello
<Onemorenickname> I think I already asked this question a long time ago
<Onemorenickname> If I have a functor "Toto", what's the name of its output type ?
<Onemorenickname> oh I recall, I've been told there is no rule "App" for modules and functors.
<Onemorenickname> icryeveritim
jnavila has joined #ocaml
<Onemorenickname> how can I print the inferred type of a functor ?
<Drup> ocamlc -i
thatguy has joined #ocaml
copy` has joined #ocaml
<Onemorenickname> thanks :)
MercurialAlchemi has joined #ocaml
<thatguy> so the try ocaml thing tells me to fix this code: http://pastebin.com/RDZgnTjE but I just don't get it
<thatguy> I'll post my attempt in a second
<thatguy> if anyone could help me I would appreciate it
yomimono has quit [Ping timeout: 240 seconds]
<zozozo> thatguy: "ux" is a string, not a list
<thatguy> zozozo, isn't up a function?
<zozozo> yes it is
<zozozo> what is the type of List.map ?
<thatguy> I'd say (a -> b) -> [a] -> [b]
<thatguy> is there a command with which I can get the type from the interactive console?
<zozozo> if you replace [x] by 'x list' that's right
<zozozo> just type any value in the top-level (followed by ;;) and it will give you its type
<thatguy> zozozo, thanks
<thatguy> ah should I then somehow make "ab" a list of chars instead of a string?
<zozozo> yup
<thatguy> is there a nice notation for that?
<thatguy> or do I have to do ['a' ; 'b']
<zozozo> using the stdlib there is no quick solution other
<thatguy> zozozo, thanks for the help :)
achauvin has joined #ocaml
<achauvin> Hello guys, I'm still learning Ocaml but I came across an issue about generic lists
<achauvin> I'm unable to compile this : let empty_ctx = ([] : (string * expression list)) ;;
<achauvin> which gives me this error : This expression has type 'a list but an expression was expected of type string * expression list
<Onemorenickname> yep
<Onemorenickname> string * expression list = string * (expression list)
<achauvin> oh god, seriously ?
<Onemorenickname> yep
<Onemorenickname> enjoy your compiler
<achauvin> I feel so dumb
<achauvin> Onemorenickname, thank you man
<Onemorenickname> t'inquiète
<thatguy> soo I don't want to start a flamewar, but can you guys tell me why you use ocaml instead of haskell?
<Onemorenickname> thatguy, because there is no functor in haskell
<Onemorenickname> because there is no physical equality in haskell
<thatguy> just out of interest, I went through both tutorials now and am thinking in which language I want to write some small projects and get productive
<Onemorenickname> because i can do side-effecty things more easily in ocaml
<Onemorenickname> that's about it
<thatguy> what do you mean by there is no functor?
<Onemorenickname> thatguy, you don't have ocaml-like functors
<thatguy> so because you like the imperative part of it?
<Onemorenickname> you can't put a type in a local scope
<thatguy> ah ok I didn't use ocaml like functors yet
ryanartecona has quit [Quit: ryanartecona]
<Onemorenickname> you will thank the ocaml-gods when you will be there
thatrandomguy has joined #ocaml
<chelfi> +1
<thatrandomguy> Onemorenickname, I am reading about it now, thanks
thatguy has quit [Read error: Connection reset by peer]
ygrek_ has quit [Ping timeout: 260 seconds]
<Onemorenickname> it's getting handy when you make bigger projects
<achauvin> thatg
<achauvin> thatrandomguy, I'm using both
<achauvin> I came across haskell first and I'm doing ocaml rn for school
<achauvin> haskell might be harder to learn because of late binding, but that's my two cents
<thatrandomguy> achauvin, thanks
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
ia0 has quit [Quit: reboot]
ia0 has joined #ocaml
jnavila has quit [Quit: It was time]
larhat has quit [Quit: Leaving.]
achauvin has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
yegods has joined #ocaml
abeaumont has joined #ocaml
ygrek_ has joined #ocaml
gjaldon has joined #ocaml
gjaldon has quit [Quit: WeeChat 1.7]
AlexDenisov has joined #ocaml
Onemorenickname has quit [Read error: Connection reset by peer]
thatrandomguy has quit [Ping timeout: 260 seconds]
<Simn> I have an oasis/ocamlbuild/menhir project with a _tags file that has an entry `<tokens.mlypack>: only_tokens`. I'm trying to understand which part of the build chain picks that up and knows what to do with it, and why it doesn't work for the unused_tokens flag.
th5 has joined #ocaml
mali__ has quit [Ping timeout: 240 seconds]
eimantas has joined #ocaml
achauvin has joined #ocaml
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Ping timeout: 264 seconds]
BitPuffin|osx has quit [Ping timeout: 240 seconds]
th5 is now known as th5_away
abeaumont has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
<Leonidas> achauvin: in my lectures, students had more issues with haskells type signatures
<Leonidas> [a] instead of 'a list
larhat has joined #ocaml
<Leonidas> and the typeclass stuff in the signature to some degree
yegods has quit [Remote host closed the connection]
<Leonidas> kinda weird
<Leonidas> though I think it is because ML/Haskell separates values and types rather strongly, whereas in java or so knowing types is not that important
<Leonidas> wonder whether it would be fun to pick up some SML
<Leonidas> When were polymorphic variants introduced in OCaml?
<Leonidas> ocaml 3?
yegods has joined #ocaml
mengu has joined #ocaml
yegods has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 240 seconds]
AlexDenisov has joined #ocaml
AlexDeni_ has quit [Read error: Connection reset by peer]
<lyxia> 3.00 says "Support for variant types (sum types compared by structure)" I guess that's it?
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Ping timeout: 264 seconds]
octachron has joined #ocaml
yegods has joined #ocaml
<octachron> lyxia, yes: see also the introduction in http://caml.inria.fr/pub/docs/manual-ocaml/lablexamples.html
dhil has quit [Ping timeout: 268 seconds]
BitPuffin|osx has joined #ocaml
thatrandomguy has joined #ocaml
kakadu_ has joined #ocaml
ryanartecona has joined #ocaml
thatrandomguy has quit [Quit: Leaving]
mengu has quit [Quit: Leaving...]
jnavila has joined #ocaml
eimantas has quit [Quit: WeeChat 1.5]
BitPuffin|osx has quit [Ping timeout: 264 seconds]
TheLemonMan has joined #ocaml
<tautologico> anyone using IOCaml?
th5_away is now known as th5
<tautologico> opam depext is great btw
jnavila has quit [Ping timeout: 240 seconds]
snowcrshd has quit [Remote host closed the connection]
BitPuffin|osx has joined #ocaml
th5 has quit [Remote host closed the connection]
_andre has quit [Quit: leaving]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
arj has joined #ocaml
_habnabit has quit [Ping timeout: 240 seconds]
cschneid has quit [Ping timeout: 240 seconds]
jyc has quit [Remote host closed the connection]
_habnabit has joined #ocaml
jyc has joined #ocaml
yegods has quit [Remote host closed the connection]
jyc has quit [Ping timeout: 246 seconds]
cschneid has joined #ocaml
yegods has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
Simn has quit [Quit: Leaving]
jyc has joined #ocaml
yegods has quit [Client Quit]
arj has quit [Quit: Leaving.]
spew has quit [Quit: foobar]
troydm has quit [Ping timeout: 240 seconds]
larhat has quit [Quit: Leaving.]
troydm has joined #ocaml
tane has quit [Quit: Leaving]
kakadu_ has quit [Remote host closed the connection]
abeaumont has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
octachron has quit [Quit: Leaving]
eimantas has joined #ocaml
d0nn1e has quit [Ping timeout: 258 seconds]
eimantas has quit [Client Quit]
achauvin has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
abeaumont has quit [Ping timeout: 256 seconds]
d0nn1e has joined #ocaml
gniquil has joined #ocaml
gniquil has quit [Client Quit]