dbuenzli / down

An OCaml toplevel (REPL) upgrade
http://erratique.ch/software/down
ISC License
81 stars 3 forks source link

Last session convention #4

Closed dbuenzli closed 5 years ago

dbuenzli commented 5 years ago

Currently "" always refers to the last session that was loaded successfully.

It's a bit unclear whether this might not be surprising at times. Maybe a better convention would be the last session that was acted upon "in some way". For example:

# Down.Session.edit "mysession"
# Down.Session.edit "" (* should maybe open "mysession"  *)
# Down.Session.save "mysetup" 
# Down.Session.load "" (* should maybe load "mysetup" *)