language-ats: Parser and pretty-printer for ATS.

[ ats, bsd3, language, lexer, library, parser, pretty-printer ] [ Propose Tags ]

Parser and pretty-printer for ATS, written with Happy and Alex.

[Skip to Readme]
Versions [faq],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, (info)
Dependencies ansi-terminal, ansi-wl-pprint (>=0.6.8), array, base (>=4.10 && <5), composition-prelude (<, containers, deepseq, lens, mtl, recursion-schemes, transformers [details]
License BSD-3-Clause
Copyright Copyright: (c) 2018 Vanessa McHale
Author Vanessa McHale
Revised Revision 1 made by vmchale at Sun Jun 3 00:41:09 UTC 2018
Category Language, Lexer, Parser, Pretty Printer, ATS
Source repo head: darcs get
Uploaded by vmchale at Wed Feb 21 06:26:23 UTC 2018
Distributions NixOS:
Downloads 15964 total (3361 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2018-02-21 [all 3 reports]


  • Language
    • Language.ATS



Enable -Werror


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees

Readme for language-ats-

[back to package description]


This is a package similar to language-c or haskell-src-exts that provides a parser and pretty-printer for ATS.

The parser is slightly buggy but it can handle almost all of the language; see the test/data directory for examples of what it can handle.