diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-03-31 21:54:20 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-03-31 21:54:20 +0100 |
| commit | 1930e7686025601e22de49aa4d4dbeed8311caa0 (patch) | |
| tree | 9266dc65ac55e3136c0893d2e9468bb260483262 /verifuzz.cabal | |
| parent | c0be2c6fe39902af0cf61a14936547fc780d3f6c (diff) | |
| download | verismith-1930e7686025601e22de49aa4d4dbeed8311caa0.tar.gz verismith-1930e7686025601e22de49aa4d4dbeed8311caa0.zip | |
Rewrite the parser with real lexer
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 81b71e3..267dffe 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -19,7 +19,8 @@ extra-source-files: README.md library hs-source-dirs: src default-language: Haskell2010 - ghc-options: -Wall -Werror + ghc-options: -Wall + build-tools: alex >=3 && <4 exposed-modules: VeriFuzz , VeriFuzz.AST , VeriFuzz.Config @@ -34,9 +35,12 @@ library , VeriFuzz.Env , VeriFuzz.Gen , VeriFuzz.Icarus - , VeriFuzz.Lexer , VeriFuzz.Mutate , VeriFuzz.Parser + , VeriFuzz.Parser.Parser + , VeriFuzz.Parser.Preprocess + , VeriFuzz.Parser.Token + , VeriFuzz.Parser.Lex , VeriFuzz.Random , VeriFuzz.RandomAlt , VeriFuzz.Reduce @@ -61,6 +65,7 @@ library , parsec >=3.1 && <3.2 , transformers >=0.5 && <0.6 , tomland >=0.5 && <0.6 + , array >=0.5 && <0.6 default-extensions: OverloadedStrings executable verifuzz |