diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-10 15:48:13 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-10 15:48:21 +0000 |
| commit | 3f1190cd7fc873449a1fd430386aa4b773d010ac (patch) | |
| tree | ba9efed7478213d56c5b2ee5699225d684824373 /src/Test/VeriFuzz/Graph/ASTGen.hs | |
| parent | 9f829c41651cd2872b1c6e666b5bceeebf829aee (diff) | |
| download | verismith-3f1190cd7fc873449a1fd430386aa4b773d010ac.tar.gz verismith-3f1190cd7fc873449a1fd430386aa4b773d010ac.zip | |
Rename module names so that I can move them
Diffstat (limited to 'src/Test/VeriFuzz/Graph/ASTGen.hs')
| -rw-r--r-- | src/Test/VeriFuzz/Graph/ASTGen.hs | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/Test/VeriFuzz/Graph/ASTGen.hs b/src/Test/VeriFuzz/Graph/ASTGen.hs index d652752..2b241e1 100644 --- a/src/Test/VeriFuzz/Graph/ASTGen.hs +++ b/src/Test/VeriFuzz/Graph/ASTGen.hs @@ -1,5 +1,5 @@ {-| -Module : Test.VeriFuzz.Graph.ASTGen +Module : VeriFuzz.Graph.ASTGen Description : Generates the AST from the graph directly. Copyright : (c) 2018-2019, Yann Herklotz Grave License : BSD-3 @@ -10,18 +10,18 @@ Portability : POSIX Generates the AST from the graph directly. -} -module Test.VeriFuzz.Graph.ASTGen where +module VeriFuzz.Graph.ASTGen where -import Data.Foldable (fold) -import Data.Graph.Inductive (LNode, Node) -import qualified Data.Graph.Inductive as G -import Data.Maybe (catMaybes) -import qualified Data.Text as T -import Test.VeriFuzz.Circuit -import Test.VeriFuzz.Internal.Gen -import Test.VeriFuzz.Internal.Shared -import Test.VeriFuzz.Verilog.AST -import Test.VeriFuzz.Verilog.Helpers +import Data.Foldable (fold) +import Data.Graph.Inductive (LNode, Node) +import qualified Data.Graph.Inductive as G +import Data.Maybe (catMaybes) +import qualified Data.Text as T +import VeriFuzz.Circuit +import VeriFuzz.Internal.Gen +import VeriFuzz.Internal.Shared +import VeriFuzz.Verilog.AST +import VeriFuzz.Verilog.Helpers -- | Converts a 'CNode' to an 'Identifier'. frNode :: Node -> Identifier |