ghci> :t sum sum :: Num a => [a] -> a -- Defined in Data.ListWhat do you do if you want to look at the source of that file just from /w the interpreter ghci? You could do following.
Download the source from ghci an put it wherever you want. For all Debianer out there just do following:
apt-get source ghcAfter that you have to define a macro in ghci. You can also define this macro in the configuration file for ghci in $HOME/.ghc/ghci.conf.
:def source \s -> return $ ":! openGHCLib.sh " ++ sAfterwards you have to write the script openGHCLib.sh and put it into your PATH. The script openGHCLib.sh look like:
#!/bin/bash # path where you put the source files of ghc base_path=$HOME/tmp/ghc-7.0.4/libraries/base file=`echo $1 | tr '.' '/'` hfile="${base_path}/${file}" if [ -e "${hfile}.hs" ]; then ${EDITOR} "${hfile}.hs" elif [ -e "${hfile}.lhs" ]; then ${EDITOR} "${hfile}.lhs" else echo "file: ${hfile}.hs or ${hfile}.lhs does not exist" exit 1 fiAfter that you can open the library file /w ghci.
ghci> :source Data.List
No comments:
Post a Comment