The SableCC2Hs package

[ Tags: bsd3, library, parsing, program ] [ Propose Tags ]

This package allows one to use parsers that were written for the SableCC parser generator from Haskell and Prolog. More specifically it reads an XML file that is generated by SableCC (version and generates Haskell and Prolog modules which contain the parser tables. The package is used in the build-process of the the ProB Animator (http:/www.stups.uni-duesseldorf.deProB) to build parsers for the B specification language and it is primarily interesting for ProB developers. Nevertheless, there are several SableCC grammars available on the Internet (http:/sablecc.orgwiki/GrammarPage) and in case someone ever has to use one of those grammars with Haskell (for whatever reason), then this package might be useful. As this package is still under development, it does not contain the actual parser-engines that execute the generated parser-tables. For an example of a runnable B-Parser, based on this tool, look at the ProB source-code (Prolog) or the B-Frontend package (Haskell). Any questions of feedback well-come.


Dependencies array (>0.4 && <0.5), base (>=4.0 && <5.0), containers (==0.4.*), filepath (==1.3.*), loch-th (==0.1.*), pretty (==1.1.*), text (==0.11.*), transformers (>0.3 && <0.4), wl-pprint-text (==1.0.*), xml (==1.3.*) [details]
License BSD3
Author Marc Fontaine
Maintainer Marc Fontaine <>
Category Parsing
Uploaded Wed Jun 13 13:27:26 UTC 2012 by MarcFontaine
Distributions NixOS:
Executables sable2hs
Downloads 950 total (10 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees