search

thoughtpolice / cryptol-mode

A Cryptol major mode for Emacs.
https://www.cryptol.net
GNU General Public License v3.0
16 stars 6 forks source link

Switching buffers means new files aren't loaded into the REPL. #12

Open thoughtpolice opened 11 years ago

thoughtpolice commented 11 years ago

Open A.cry and then do C-c C-l to load the REPL. Then open B.cry and do C-c C-l again - and only A.cry remains loaded in the REPL.

We should keep track of what file is currently loaded at the REPL and reload it when we switch buffers.