Today, I talked with @morphling about how to develop pts in a ghci session. (The key is to use a "-isrc-lib" command line parameter when starting ghci in order to force ghci to pick up modules from source, not from an installed pts package). Maybe we can add a .ghci file to the root directory to set such options and define some useful aliases?
Today, I talked with @morphling about how to develop pts in a ghci session. (The key is to use a "-isrc-lib" command line parameter when starting ghci in order to force ghci to pick up modules from source, not from an installed pts package). Maybe we can add a
.ghcifile to the root directory to set such options and define some useful aliases?See http://neilmitchell.blogspot.de/2010/01/using-ghci-files-to-run-projects.html for an introduction to the technique.