berberman_ has quit [Ping timeout: 246 seconds]
berberman has joined #ocaml
waleee has quit [Ping timeout: 264 seconds]
Haudegen has quit [Ping timeout: 264 seconds]
xgqt has quit [Quit: WeeChat 3.5]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 264 seconds]
xgqt has joined #ocaml
berberman has quit [Ping timeout: 246 seconds]
chrisz has quit [Ping timeout: 264 seconds]
chrisz has joined #ocaml
terrorjack has joined #ocaml
adanwan has quit [Ping timeout: 258 seconds]
adanwan has joined #ocaml
qwr has quit [Ping timeout: 264 seconds]
qwr has joined #ocaml
mbuf has joined #ocaml
gopiandcode has quit [Remote host closed the connection]
gopiandcode has joined #ocaml
orbifx has joined #ocaml
olle has joined #ocaml
Haudegen has joined #ocaml
hrberg has joined #ocaml
Absalom has joined #ocaml
Serpent7776 has joined #ocaml
slbtty has joined #ocaml
wingsorc__ has joined #ocaml
olle has quit [Ping timeout: 265 seconds]
Tuplanolla has joined #ocaml
mbuf has quit [Ping timeout: 246 seconds]
wingsorc__ has quit [Remote host closed the connection]
wingsorc__ has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
xgqt has quit [Ping timeout: 265 seconds]
xgqt has joined #ocaml
QDX45 has joined #ocaml
QDX45 has quit [Client Quit]
QDX45 has joined #ocaml
QDX45 has quit [Quit: Leaving]
QDX45 has joined #ocaml
spip has quit [Ping timeout: 246 seconds]
bobo_ has joined #ocaml
orbifx has quit [Ping timeout: 252 seconds]
olle has joined #ocaml
sagax has quit [Ping timeout: 264 seconds]
David[m]1 has joined #ocaml
John_Ivan has quit [Quit: Phantom of the future.]
John_Ivan has joined #ocaml
QDX45 has quit [Remote host closed the connection]
QDX45 has joined #ocaml
sagax has joined #ocaml
genpaku has quit [Read error: Connection reset by peer]
genpaku has joined #ocaml
John_Ivan has quit [Quit: Phantom of the future.]
John_Ivan has joined #ocaml
gentauro has quit [Read error: Connection reset by peer]
gentauro has joined #ocaml
gordea has joined #ocaml
bartholin has joined #ocaml
<
olle>
Wow, you can do inline patterm match in fun (Some x | None) -> ... :) Cool
<
olle>
Useless example there, but anyway
<
olle>
Myeh, still no "expect exception" in inline test, eh?
<
olle>
The workaround requires crappy boilerplate
<
olle>
One solution I didn't test yet
<
Serpent7776>
Inline matching is interesting, but I guess its usage is limited considered it needs to be exhaustive. I have warning otherwise.
<
olle>
I'm here to ignore warnings all day...
<
Serpent7776>
(Some x | None) doesn't compile for me, because: `Error: Variable x must occur on both sides of this | pattern`
<
olle>
Yeah, makes sense
<
olle>
Crap example
<
olle>
I was using Param and RefParam types with same tuple
<
reynir>
yes, it's similar to matching on the left hand side in let expressions
<
reynir>
it's handy when your fun takes a record and you want to destruct it: fun { x; y } -> x + y
<
olle>
771 | require_does_raise [%here] (fun () ->
<
olle>
Error: Uninterpreted extension 'here'.
<
olle>
Missing ppx? But I have ppx_expect included :d
<
olle>
Hm, with menhir and dune, where does the parser module end up? I have a parser exception I wanna catch :d
<
olle>
nvm, moved it
orbifx has joined #ocaml
tofgarion has joined #ocaml
tofgarion has quit [Remote host closed the connection]
tofgarion has joined #ocaml
tofgarion has quit [Remote host closed the connection]
Guest35 has joined #ocaml
jnz71 has joined #ocaml
jnz71 has quit [Client Quit]
jnz82 has joined #ocaml
jnz82 has quit [Client Quit]
Guest35 has quit [Quit: Client closed]
jnz has joined #ocaml
jnz37 has joined #ocaml
jnz37 has quit [Client Quit]
jnz has quit [Remote host closed the connection]
waleee has joined #ocaml
<
David[m]1>
This might be blasphemous, but is there a way to turn off type inference or a linter I can use that requires type signatures?
towel_ is now known as towel
<
olle>
David[m]1: For function signatures or everything?
<
olle>
Not that I would know anyway
szkl has quit [Quit: Connection closed for inactivity]
Serpent7776 has quit [Ping timeout: 246 seconds]
orbifx has quit [Read error: Connection reset by peer]
orbifx1 has joined #ocaml
orbifx1 is now known as orbifx
gordea has quit [Quit: gordea]
bartholin has quit [Quit: Leaving]
orbifx has quit [Quit: orbifx]
reynir has quit [Ping timeout: 265 seconds]
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 246 seconds]
<
Fardale>
David[m]1: I don't understand the question. What are you trying to do?
<
olle>
Enforce type hints, I assume
John_Ivan has quit [Quit: Phantom of the future.]
olle has quit [Ping timeout: 246 seconds]
slbtty has quit [Quit: Konversation terminated!]
Tuplanolla has quit [Quit: Leaving.]