tm-ghci ∷

→

A TeXmacs plugin for running GHCi sessions.

Installing

From release files

The release archives contain statically linked files, which makes it possible to interact with different versions of GHCi.

To install, uncompress the archive for your OS at $TEXMACS_PATH/plugins/ (usually /usr/share/TeXmacs/plugins/ in Linux, <TeXmacs_install_dir>\plugins\ in Windows) or $TEXMACS_HOME_PATH/plugins/ ($HOME/.TeXmacs/plugins/ in Linux, %UserProfile%\AppData\Roaming\TeXmacs\plugins\ in Windows.)

ghci needs to be in the system PATH for the plugin to work.

The plugin is rather simple -- mostly forwarding input and output. the resulting interaction and evaluation facilities are all TeXmacs's.

Building and installing from source

Building the plugin requires a bash-style shell and a Haskell distribution (GHC 9.2.5 or later.) In Windows, this means installing Haskell through ghcup and setting up an MSYS2 directory, then installing the development packages so that make, strip and other required utilities will be available.

Installing is simple. Just cd to the ghci folder (inside tm-ghci) and write:

    make deploy

Which takes care of compiling and installing the plug-in in the appropriate directory ($TEXMACS_HOME_PATH/plugins.)

While this should be sufficient, this software is still in alpha phase, and it's only been tested in Windows 10 and Arch Linux. I don't own a MacOS system, so I'm unable to provide the respective version.

Features and Limitations

tm-ghci is alpha-stage software.

Presently, it's able to run a vanilla ghci session, i.e., without project dependencies autoloaded as with stack repl or cabal repl.

Licensing

tm-ghci is distributed under the GPL-3 license.

Issues

Send feedback to 10951848+nopeCubOfJudahsLion äτ users.noreply.github.com. Bug reports must include the steps required to reproduce the error.

Thanks to

• The TeXmacs developers for giving us such a magnificent tool.
• Massimiliano Gubinelli for setting me straight on the help file mechanism for plug-ins.