<discocaml>
<Et7f3 (@me on reply)> What kind of side effect ? memory allocation (all) ? printing to file ? (function with print in the name theorically and flush if print is called before) opening file, ...
<discocaml>
<Et7f3 (@me on reply)> What kind of side effect ? memory allocation (almost all), printing to file (function with print in the name theorically and flush if print is called before) opening file, ...
<discocaml>
<ilo Kali> memory allocation isn't relevant for what I'd like to do, but yeah; printing, opening/outputting to/inputting from/closing channels, etc.
<discocaml>
<psychokitty> roughest of rough heuristic would be where `unit` is the (co)domain
<discocaml>
<psychokitty> but of course, probably others that do some stuff and provide a value
<discocaml>
<ilo Kali> yeah, that was my thought too
jimmy2shoots has quit [Remote host closed the connection]
ionut_farcas has joined #ocaml
ionut_farcas has quit [Remote host closed the connection]
chrisz has quit [Ping timeout: 260 seconds]
chrisz has joined #ocaml
ionut_farcas has joined #ocaml
ionut_farcas has quit [Remote host closed the connection]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
troydm has quit [Ping timeout: 248 seconds]
rgrinberg has joined #ocaml
troydm has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ocabot has quit [Ping timeout: 246 seconds]
discocaml has quit [Ping timeout: 256 seconds]
companion_cube has quit [Ping timeout: 260 seconds]
oisota has quit [Ping timeout: 260 seconds]
energizer has quit [Ping timeout: 252 seconds]
copy has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml
copy has joined #ocaml
discocaml has joined #ocaml
energizer has joined #ocaml
ocabot has joined #ocaml
companion_cube has joined #ocaml
jackhill is now known as KM4MBG
KM4MBG is now known as jackhill[m]
jackhill[m] is now known as jackhill
oisota has joined #ocaml
waleee has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bartholin has quit [Quit: Leaving]
jao has quit [Ping timeout: 248 seconds]
olle has joined #ocaml
Serpent7776 has joined #ocaml
azimut has quit [Ping timeout: 255 seconds]
Haudegen has joined #ocaml
proportions has joined #ocaml
bobo has quit [Ping timeout: 248 seconds]
spip has joined #ocaml
alexherbo2 has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
gwizon has joined #ocaml
<discocaml>
<Et7f3 (@me on reply)> Unix module is full of side effect but other should be pure
<discocaml>
<Et7f3 (@me on reply)> Unix module is full of side effect but other shouldn't have much
<discocaml>
<leviroth> Does adding something to a hash table count as a side effect?
kurfen_ has quit [Ping timeout: 260 seconds]
<discocaml>
<Bluddy> Generally yes. The exception is that a hashtable created within a function and updated within the scope of that function does not seem like a side effect to the outside world.
kurfen has joined #ocaml
<discocaml>
<leviroth> I meant for @ilo Kali ‘s purposes
Anarchos has joined #ocaml
proportions has quit [Remote host closed the connection]
szkl has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Anarchos has joined #ocaml
<discocaml>
<Et7f3 (@me on reply)> Can't you reduce it ?
<Anarchos>
in my dune repo, i have the 3.6.2 informations in the Changes.md. But when i compile.install i still get 2.8.0-2534-g902dd01-dirty
<discocaml>
<Et7f3 (@me on reply)> To reduce you can follow method of https://llvm.org/docs/Bugpoint.html remove function, remove function code, remove variable, arguments/parameters, remove field,...
Anarchos has quit [Ping timeout: 252 seconds]
<discocaml>
<ec> Yeah, I'm familar — the problem here, is that it's some sort of location/parsing error. Removing content that *seems* unrelated changes the occurrence of the bug.
Anarchos has joined #ocaml
<discocaml>
<ec> some content earlier in the file — haven't had a lot of luck narrowing down _what_ content, although I'm working on that right now — seems to cause a loss of position-accuracy; and then Reanalyze ends up writing content into a dislocated position in the middle of a syntax-word a half-dozen lines past where it's trying to write.