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 /src/VeriFuzz/AST.hs | |
| parent | c0be2c6fe39902af0cf61a14936547fc780d3f6c (diff) | |
| download | verismith-1930e7686025601e22de49aa4d4dbeed8311caa0.tar.gz verismith-1930e7686025601e22de49aa4d4dbeed8311caa0.zip | |
Rewrite the parser with real lexer
Diffstat (limited to 'src/VeriFuzz/AST.hs')
| -rw-r--r-- | src/VeriFuzz/AST.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/VeriFuzz/AST.hs b/src/VeriFuzz/AST.hs index 15e8d0b..d8420d2 100644 --- a/src/VeriFuzz/AST.hs +++ b/src/VeriFuzz/AST.hs @@ -94,6 +94,9 @@ module VeriFuzz.AST , stmntCA , stmntTask , stmntSysTask + , stmntCondExpr + , stmntCondTrue + , stmntCondFalse -- * Module , ModDecl(..) , modId |