Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.1.1 released: https://ocaml.org/releases/5.1.1 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
dnh_ has joined #ocaml
dnh has quit [Read error: Connection reset by peer]
dnh_ has quit [Ping timeout: 264 seconds]
dnh has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
dnh has quit [Ping timeout: 268 seconds]
jmcantrell has quit [Quit: WeeChat 4.2.1]
jmcantrell has joined #ocaml
justache has quit [Ping timeout: 255 seconds]
justache has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
justache has quit [Ping timeout: 255 seconds]
justache has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
rgrinberg has joined #ocaml
jabuxas has quit [Ping timeout: 260 seconds]
justache has quit [Ping timeout: 264 seconds]
justache has joined #ocaml
dnh has joined #ocaml
dnh has quit [Ping timeout: 264 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 246 seconds]
justache has quit [Ping timeout: 264 seconds]
justache has joined #ocaml
dnh has joined #ocaml
mbuf has joined #ocaml
dnh has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
pi3ce has quit [Ping timeout: 260 seconds]
pi3ce has joined #ocaml
dnh has joined #ocaml
dnh has quit [Ping timeout: 272 seconds]
dnh has joined #ocaml
jmcantrell has quit [Quit: WeeChat 4.2.1]
dnh has quit [Ping timeout: 240 seconds]
azimut has quit [Ping timeout: 260 seconds]
justache has quit [Ping timeout: 264 seconds]
justache has joined #ocaml
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 246 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 256 seconds]
pi3ce has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
pi3ce has joined #ocaml
rgrinberg has joined #ocaml
dnh has joined #ocaml
bartholin has joined #ocaml
dnh has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Quit: Textual IRC Client: www.textualapp.com]
myrkraverk has joined #ocaml
myrkraverk_ has quit [Ping timeout: 255 seconds]
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 255 seconds]
myrkraverk__ has joined #ocaml
myrkraverk__ has quit [Read error: Connection reset by peer]
myrkraverk__ has joined #ocaml
myrkraverk_ has quit [Read error: Connection reset by peer]
<discocaml> <lukstafi> The #beginners discussion of REPL reminded me to ask, is there a Proof General style REPL for OCaml? One that maintains a "line number" state at which the REPL is with regard to a source file (with a different background color for "past" and "future" code), complete with having the local binding environment available within the REPL, where some bindings are values and some are variables (abstract).
myrkraverk has joined #ocaml
dnh has joined #ocaml
myrkraverk__ has quit [Ping timeout: 272 seconds]
<discocaml> <lukstafi> Maybe this would involve too much abstract interpretation / partial evaluation trickery to be practical.
myrkraverk_ has joined #ocaml
myrkraverk__ has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
myrkraverk_ has quit [Read error: Connection reset by peer]
myrkraverk has quit [Ping timeout: 268 seconds]
myrkraverk_ has joined #ocaml
myrkraverk__ has quit [Ping timeout: 268 seconds]
rgrinberg has joined #ocaml
bibi_ has quit [Quit: Konversation terminated!]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
bartholin has quit [Quit: Leaving]
darchitect has joined #ocaml
dnh has joined #ocaml
<discocaml> <dariusf> there's https://discuss.ocaml.org/t/checkpointing-in-ocaml-repl/11121/9, for complete toplevel phrases. to have locals (e.g. in a function) available, there's a PoC here inspired by some code in utop https://github.com/dariusf/ppx_interact, but this requires compiling the whole program in bytecode mode
neiluj has joined #ocaml
dnh has quit [Ping timeout: 256 seconds]
<discocaml> <lukstafi> I've forgotten, thanks! `[%interact]` REPL is entered at the call site, so it's not Proof General style...
<discocaml> <lukstafi> I'm thinking of a (let's say bytecode) situation where you can advance Proof General's position to inside a function, and when dropping into REPL it would ask for `assume` values of variables (parameters) -- simulating a call.
neiluj has quit [Quit: Konversation terminated!]
dnh has joined #ocaml
infinity0 has joined #ocaml
neiluj has joined #ocaml
infinity0 has quit [Ping timeout: 264 seconds]
infinity0_ has joined #ocaml
infinity0_ is now known as infinity0
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
neiluj has quit [Quit: Konversation terminated!]
jabuxas has joined #ocaml
masterbuilder_ has joined #ocaml
masterbuilder has quit [Ping timeout: 268 seconds]
neiluj has joined #ocaml
Serpent7776 has quit [Ping timeout: 268 seconds]
jabuxas has quit [Ping timeout: 268 seconds]
masterbuilder_ is now known as masterbuilder
masterbuilder has quit [Changing host]
masterbuilder has joined #ocaml
darchitect has quit [Ping timeout: 272 seconds]
darchitect has joined #ocaml
a51 has joined #ocaml
justache has quit [Ping timeout: 264 seconds]
justache has joined #ocaml
justache has quit [Ping timeout: 264 seconds]
justache has joined #ocaml
azimut has joined #ocaml
Ekho has quit [Ping timeout: 256 seconds]