<discocaml>
<Kali> oh, actually, put a `let _ =` before the `assert_raises (...) (...)`
<discocaml>
<Kali> or some sort of let binding
<discocaml>
<Kali> otherwise it will be interpreted as part of assert_raises because whitespace is ignored
<discocaml>
<akhilindurti> oh don't worry, these are located in separate places
<discocaml>
<akhilindurti> the `assert_raises` is defined outside the inline tests
<discocaml>
<akhilindurti> it's more like
<discocaml>
<akhilindurti> ```ocaml
<discocaml>
<akhilindurti> let assert_raises f e =
<discocaml>
<akhilindurti> ...
<discocaml>
<akhilindurti>
<discocaml>
<akhilindurti> let%test "1" =
<discocaml>
<akhilindurti> ...
<discocaml>
<akhilindurti> ```
<discocaml>
<Kali> oh, good
bibi_ has quit [Ping timeout: 260 seconds]
chrisz has quit [Ping timeout: 255 seconds]
chrisz has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<discocaml>
<akhilindurti> is there like a linter that will warn me when right-to-left evaluation order could affect the semantics of my program?
<discocaml>
<akhilindurti> or just something conservative that prevents you from applying functions to something other than variables
<discocaml>
<Kali> what do you mean by "other than variables"?
<discocaml>
<akhilindurti> so you can't write code like `TyArrow (inst from) (inst dst)`, you have to write it as `let ifrom = inst from in let idst = inst dst in TyArrow ifrom idst`
<discocaml>
<akhilindurti> so you can't write code like `TyArrow (inst from) (inst dst)`, you have to write it as
<discocaml>
<akhilindurti> `let ifrom = inst from in let idst = inst dst in TyArrow ifrom idst`
<discocaml>
<Kali> (note that editing in this channel reissues the message on the irc side)
<discocaml>
<akhilindurti> oof sorry
<discocaml>
<Kali> i'm not aware of any; may i ask why?
<discocaml>
<akhilindurti> i've been getting hit by the eval order recently, when i have side effects involved in the evaluation of arguments when applying a function
<discocaml>
<akhilindurti> like i get that the solution is to defensively `let ... in` everything
<discocaml>
<akhilindurti> but it'd be nice to have a tool that catches that
<discocaml>
<sim642> I don't think there is. The prototype Salto analyzer wants to maybe eventually do that? But it's quite a difficult problem without annoying false positives
azimut has quit [Ping timeout: 252 seconds]
Serpent7776 has joined #ocaml
patrick is now known as Guest4170
Guest4170 has quit [Killed (sodium.libera.chat (Nickname regained by services))]
patrick__ has joined #ocaml
mro has joined #ocaml
olle has joined #ocaml
mro has quit [Quit: Leaving]
bartholin has joined #ocaml
xd1le has joined #ocaml
ns12 has joined #ocaml
bartholin has quit [Quit: Leaving]
dnh has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
chrisz has quit [Ping timeout: 255 seconds]
chrisz has joined #ocaml
<discocaml>
<ariahudson0803> I'll teach anyone interested how to trade and earn $30k in just 72hrs from the crypto market.. Drop a direct message (HOW) for more details.
bibi_ has joined #ocaml
bibi_ has quit [Ping timeout: 260 seconds]
dnh has joined #ocaml
dnh has quit [Client Quit]
bibi_ has joined #ocaml
dnh has joined #ocaml
dnh has quit [Client Quit]
rgrinberg has joined #ocaml
bibi_ has quit [Ping timeout: 240 seconds]
patrick__ is now known as patrick
myrkraverk has quit [Quit: Leaving]
bibi_ has joined #ocaml
Anarchos has joined #ocaml
<Anarchos>
ow to add (c_library_flags (-lbsd)) to the "dune/otherlibs/dune/src/dune" file , only for a particular platform ?
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]