search

Toxaris / pts

Interpreter for functional pure type systems.
BSD 3-Clause "New" or "Revised" License
21 stars 7 forks source link

Load main files in .ghci #62

Closed Toxaris closed 9 years ago

Toxaris commented 11 years ago

The .ghci file should load the main files of the project, so that we can call ghci and end up in a reasonable environment. In principle, we could simple add

:load PTS.Statics PTS.Dynamics ...

to the .ghci, but this doesn't play well with cabal-dev ghci.

Blaisorblade commented 9 years ago

TIL there is :add, which is like :load but doesn't nuke what you loaded so far:

   :load [*]<module> ...       load module(s) and their dependents
   :add [*]<module> ...        add module(s) to the current target set

The nuking is never described anywhere, so we just keep being annoyed at it. Source: the mention of :add in http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/interactive-evaluation.html#idp32625200