adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
orbifx has quit [Ping timeout: 246 seconds]
spew has quit [Quit: party time]
Jesin has quit [Quit: Leaving]
sheijk_ has left #ocaml [#ocaml]
sheijk has joined #ocaml
ostera2112 has quit [Ping timeout: 245 seconds]
Jesin has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
ostera2112 has joined #ocaml
pierpal has quit [Ping timeout: 246 seconds]
ostera2112 has quit [Ping timeout: 268 seconds]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
Haudegen has quit [Remote host closed the connection]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 246 seconds]
kakadu_ has quit [Remote host closed the connection]
ostera2112 has joined #ocaml
pierpal has joined #ocaml
zv has joined #ocaml
ostera2112 has quit [Ping timeout: 272 seconds]
pierpal has quit [Ping timeout: 245 seconds]
olle has quit [Ping timeout: 272 seconds]
olle has joined #ocaml
abaiste^ has joined #ocaml
dedgrant has quit [Read error: Connection reset by peer]
silver has quit [Read error: Connection reset by peer]
ostera2112 has joined #ocaml
pierpal has joined #ocaml
ostera2112 has quit [Ping timeout: 246 seconds]
pierpal has quit [Ping timeout: 250 seconds]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 246 seconds]
tormen_ has joined #ocaml
recj has quit [Read error: Connection reset by peer]
tormen has quit [Ping timeout: 245 seconds]
ostera2112 has joined #ocaml
pierpal has joined #ocaml
ostera2112 has quit [Ping timeout: 246 seconds]
pierpal has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 244 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 272 seconds]
mfp has quit [Ping timeout: 240 seconds]
marvin2 has quit [Ping timeout: 245 seconds]
jlarocco has left #ocaml ["ERC (IRC client for Emacs 27.0.50)"]
zv has quit [Ping timeout: 252 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 250 seconds]
pierpal has joined #ocaml
_whitelogger has joined #ocaml
zv has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
ostera2112 has joined #ocaml
_whitelogger has joined #ocaml
ostera2112 has quit [Ping timeout: 250 seconds]
pierpal has quit [Ping timeout: 250 seconds]
pierpal has joined #ocaml
recj has joined #ocaml
zv has quit [Ping timeout: 250 seconds]
zv has joined #ocaml
jao has quit [Ping timeout: 250 seconds]
ostera2112 has joined #ocaml
zmt01 is now known as zmt00
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ostera2112 has quit [Ping timeout: 246 seconds]
ostera2112 has joined #ocaml
JimmyRcom has quit [Ping timeout: 268 seconds]
ostera2112 has quit [Ping timeout: 245 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
olle has quit [Ping timeout: 272 seconds]
ostera2112 has joined #ocaml
marvin2 has joined #ocaml
ostera2112 has quit [Ping timeout: 250 seconds]
themsay has quit [Ping timeout: 245 seconds]
ostera2112 has joined #ocaml
ostera2112 has quit [Ping timeout: 240 seconds]
ostera2112 has joined #ocaml
ostera2112 has quit [Ping timeout: 268 seconds]
ostera2112 has joined #ocaml
ostera2112 has quit [Ping timeout: 272 seconds]
ostera2112 has joined #ocaml
orbifx has joined #ocaml
ostera2112 has quit [Ping timeout: 246 seconds]
ostera2112 has joined #ocaml
ostera2112 has quit [Ping timeout: 250 seconds]
asymptotically has joined #ocaml
zv has quit [Ping timeout: 252 seconds]
orbifx has quit [Quit: WeeChat 2.3]
ostera2112 has joined #ocaml
themsay has joined #ocaml
mfp has joined #ocaml
ostera2112 has quit [Ping timeout: 246 seconds]
bartholin has joined #ocaml
ostera2112 has joined #ocaml
pierpal has quit [Ping timeout: 268 seconds]
ostera2112 has quit [Ping timeout: 250 seconds]
ostera2112 has joined #ocaml
Haudegen has joined #ocaml
jnavila has joined #ocaml
pierpal has joined #ocaml
ostera2112 has quit [Ping timeout: 244 seconds]
ostera2112 has joined #ocaml
Haudegen has quit [Ping timeout: 245 seconds]
ostera2112 has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
themsay has quit [Ping timeout: 246 seconds]
themsay has joined #ocaml
silver has joined #ocaml
ostera2112 has joined #ocaml
Niamkik has quit [Ping timeout: 244 seconds]
Niamkik has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
decentpenguin has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ggole has joined #ocaml
nullifidian__ has joined #ocaml
layeredeggplant has joined #ocaml
nullifidian_ has quit [Ping timeout: 250 seconds]
ostera2112 has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
layeredeggplant has quit [Quit: WeeChat 2.3]
tane has joined #ocaml
FreeBirdLjj has joined #ocaml
decentpenguin has quit [Quit: WeeChat 2.3]
ostera2112 has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
ostera2112 has quit [Ping timeout: 246 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
orbifx has joined #ocaml
FreeBirdLjj has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
keep_learning has quit [Remote host closed the connection]
jbrown has quit [Remote host closed the connection]
decentpenguin has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 244 seconds]
jbrown has joined #ocaml
marsam has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
_whitelogger has joined #ocaml
marsam has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
ostera2112 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
ziyourenxiang has quit [Ping timeout: 244 seconds]
ostera2112 has quit [Ping timeout: 250 seconds]
pierpal has quit [Ping timeout: 245 seconds]
ostera2112 has joined #ocaml
jnavila has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
pierpal has joined #ocaml
ostera2112 has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #ocaml
ostera2112 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ostera2112 has quit [Ping timeout: 250 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
abaiste^ has quit []
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
jnavila has quit [Ping timeout: 252 seconds]
pierpal has quit [Ping timeout: 246 seconds]
FreeBirdLjj has joined #ocaml
pierpal has joined #ocaml
ostera2112 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
pierpal has quit [Ping timeout: 245 seconds]
ostera2112 has quit [Ping timeout: 268 seconds]
so has quit [Ping timeout: 246 seconds]
so has joined #ocaml
pierpal has joined #ocaml
jnavila has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
ostera2112 has joined #ocaml
pierpal has joined #ocaml
FreeBirdLjj has joined #ocaml
ostera2112 has quit [Ping timeout: 246 seconds]
pierpal has quit [Ping timeout: 268 seconds]
FreeBirdLjj has quit [Ping timeout: 246 seconds]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
orbifx has quit [Quit: WeeChat 2.3]
marsam has joined #ocaml
ggole has quit [Quit: ggole]
pierpal has joined #ocaml
nullifidian__ is now known as nullifidian
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
initiumdoeslinux has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
marsam has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
jnavila has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Ping timeout: 250 seconds]
gravicappa has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
iovec has quit [Quit: Connection closed for inactivity]
JimmyRcom has joined #ocaml
loli has joined #ocaml
initiumdoeslinux has quit [Remote host closed the connection]
initiumdoeslinux has joined #ocaml
tane has quit [Quit: Leaving]
pierpal has quit [Ping timeout: 244 seconds]
asymptotically has quit [Remote host closed the connection]
Haudegen has quit [Remote host closed the connection]
ostera2112 has joined #ocaml
kakadu has joined #ocaml
initiumdoeslinux has quit [Remote host closed the connection]
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 250 seconds]
FreeBirdLjj has joined #ocaml
decentpenguin has quit [Quit: WeeChat 2.3]
FreeBirdLjj has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
FreeBirdLjj has joined #ocaml
<adrianbrink> ```
<adrianbrink> type 'a manager =
<adrianbrink> | Origination_manager_kind : origination manager
<adrianbrink> | Transaction_manager_kind : transaction manager
<adrianbrink> | Reveal_manager_kind : reveal manager
<adrianbrink> | Delegation_manager_kind : delegation manager
<adrianbrink> ```
<adrianbrink> What does the `:` signify?
<adrianbrink> This is in .mli file
FreeBirdLjj has quit [Ping timeout: 272 seconds]
<companion_cube> it's the syntax for GADTs
<companion_cube> each case has a different type (via the phantom parameter 'a)
<adrianbrink> What's the phantom parameter 'a?
<bartholin> reveal, transaction, origination, or delegation
<bartholin> Each constructor of 'a manager has a different type
<adrianbrink> ahhh, thank you :-)
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 245 seconds]
quipa has joined #ocaml
olle has joined #ocaml
layeredeggplant has joined #ocaml
asymptotically has joined #ocaml
marsam has joined #ocaml
IbnFirnas has joined #ocaml
layeredeggplant has quit [Quit: WeeChat 2.3]
FreeBirdLjj has joined #ocaml
marsam has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Ping timeout: 245 seconds]
IbnFirnas has quit [Remote host closed the connection]
IbnFirnas has joined #ocaml
asymptotically has quit [Quit: Leaving]
mengu has joined #ocaml
Bronsa has quit [Remote host closed the connection]
ostera2112 has quit [Ping timeout: 246 seconds]
initiumdoeslinux has joined #ocaml
ostera2112 has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 245 seconds]
ostera2112 has quit [Ping timeout: 245 seconds]
themsay has quit [Ping timeout: 250 seconds]
themsay has joined #ocaml
ostera2112 has joined #ocaml
ostera2112 has quit [Ping timeout: 240 seconds]