coda

This package will eventually provide a toy compiler for experimenting with resumable parsing.

For now, it provides an entertaining series of crashes and confusing error messages.

The application is designed as a plugin for Visual Studio Code.

Table of Contents

Installation

To install the coda executable run cabal install or stack install as usual with a Haskell project.

To work on the extension, you'll need to:

Download the repository from https://github.com/ekmett/coda if that isn't where you are reading this file from.
Run code . from root of that repository
Start debugging to launch the extension-host following the instructions in Running and Debugging Your Extension.

Once you have an installed coda executable, bash command line autocompletion is available with:

$ source <(coda --bash-completion-script `which coda`)

You can add this to your .profile or .bashrc

Currently, the build process is being tested on GHC 8.0, but I'm not actively doing anything to shut off older GHCs or newer ones.

Patches that help increase portability are welcome.

Once there is an actual language here documentation will be forthcoming on it.

In the meantime, API documentation is available from https://ekmett.github.io/coda/

Directory	Usage
.vscode	Visual Studio Code configuration for the current workspace
bin	Executable scripts
code	The typescript source for the extension
images	The logo, etc.
src	coda library source code
test/code	typescript code for Visual Studio Code
test/data	data files used by the test suite
test/shim	shims to work around doctest limitations
test/src	tasty tests

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the ##coda or #haskell IRC channels on irc.freenode.net.

-Edward Kmett