alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
toastal has joined #ocaml
toastal has quit [Quit: Gateway shutdown]
toastal has joined #ocaml
toastal has quit [Client Quit]
alexherbo2 has joined #ocaml
mbuf has quit [Quit: Leaving]
neuroevolutus has joined #ocaml
neuroevolutus has quit [Ping timeout: 256 seconds]
<cedb>
i understand having unit as input or output type for a fn by itself but ive seen it in fn sigs like ('a,'b,unit) -> something and just cant wrap my head around having units in tuples, is it a notation for something or?
alexherbo2 has quit [Remote host closed the connection]
infinity0 has quit [Ping timeout: 248 seconds]
alexherbo2 has joined #ocaml
<discocaml>
<Kali> that's not valid syntax
<discocaml>
<Kali> `(..., ...) type` in types refers to a type parameterized by more than one type variable
<discocaml>
<Kali> you can't have it on its own
<cedb>
hmm thats what i thought must have misread
infinity0 has joined #ocaml
<cedb>
Kali oh it comes up in those phantom format things: #show Lwt_io.printlf\n val printlf: ('a, unit,string, unit t) format4 -> 'a, but i guess in that case format4 is a type constructor so different situation
f[x] has joined #ocaml
f[x] has quit [Remote host closed the connection]
bartholin has quit [Quit: Leaving]
neuroevolutus has joined #ocaml
dylanj has quit [Remote host closed the connection]
dylanj has joined #ocaml
Serpent7776 has quit [Ping timeout: 260 seconds]
pesterev has quit [Ping timeout: 272 seconds]
pesterev has joined #ocaml
pesterev has quit [Ping timeout: 248 seconds]
neuroevolutus has quit [Quit: Client closed]
pesterev has joined #ocaml
gentauro has quit [Read error: Connection reset by peer]