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>
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>
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]