packages feed

SableCC2Hs-0.0.1.0: SableCC2Hs.cabal

Name:                SableCC2Hs
Version:             0.0.1.0

Synopsis:            Generate a parser (in Haskell) with the SableCC parser generator.
Description:
    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 sablecc-3-beta.3.altgen.20041114.zip)
    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.de/ProB) 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.org/wiki/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.

License:             BSD3
Category:            Parsing
License-File:        LICENSE
Author:              Marc Fontaine
Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
Cabal-Version:       >= 1.14
Build-type:          Simple
Tested-With:         GHC == 7.4.1
Stability:           experimental

Extra-Source-Files:
  examples/BParser.scc
  examples/BParser.xml

Executable sable2hs
  Build-Depends:
     base >= 4.0 && < 5.0
    ,containers >= 0.4 && < 0.5
    ,array >=0.4 && <0.5
    ,pretty >=1.1 && <1.2
    ,wl-pprint-text >=1.0 && <1.1
    ,transformers >0.3 && <0.4
    ,text >= 0.11 && < 0.12
    ,loch-th >=0.1 && <0.2
    ,xml >= 1.3 && <1.4
    ,filepath >= 1.3 && < 1.4
  Default-Language: Haskell2010
  Hs-Source-Dirs:      src
  Main-Is:            Main.hs
  Other-Modules:
    SableCC.XML.ParserDefinitionRaw
    SableCC.XML.XML2Parser
    SableCC.ParserTypes
    SableCC.LexerDefinition
    SableCC.ParserDefinition
    SableCC.AstDefinition
    SableCC.GenerateProlog
    SableCC.GenerateHaskell
    SableCC.Test.Test
    SableCC.Test.Parser

Library
  Build-Depends:
     base >= 4.0 && < 5.0
    ,containers >= 0.4 && < 0.5
    ,array >0.4 && <0.5
  Default-Language: Haskell2010
  Other-Extensions:
  Hs-Source-Dirs:      src

  Exposed-Modules:
    SableCC.ParserTypes