aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--app/Main.hs2
-rw-r--r--src/Test/VeriFuzz/CodeGen.hs2
-rw-r--r--src/Test/VeriFuzz/Graph/ASTGen.hs2
-rw-r--r--src/Test/VeriFuzz/Graph/CodeGen.hs2
-rw-r--r--src/Test/VeriFuzz/Helpers.hs2
-rw-r--r--src/Test/VeriFuzz/VerilogAST.hs3
-rw-r--r--tests/Unit.hs2
7 files changed, 1 insertions, 14 deletions
diff --git a/app/Main.hs b/app/Main.hs
index ab90e29..5450b3c 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -1,5 +1,3 @@
-{-# LANGUAGE OverloadedStrings #-}
-
module Main where
import qualified Data.Graph.Inductive as G
diff --git a/src/Test/VeriFuzz/CodeGen.hs b/src/Test/VeriFuzz/CodeGen.hs
index e009fb6..e06891f 100644
--- a/src/Test/VeriFuzz/CodeGen.hs
+++ b/src/Test/VeriFuzz/CodeGen.hs
@@ -11,8 +11,6 @@ This module generates the code from the Verilog AST defined in
"Test.VeriFuzz.VerilogAST".
-}
-{-# LANGUAGE OverloadedStrings #-}
-
module Test.VeriFuzz.CodeGen where
import Control.Lens
diff --git a/src/Test/VeriFuzz/Graph/ASTGen.hs b/src/Test/VeriFuzz/Graph/ASTGen.hs
index b5fb944..f1ac88a 100644
--- a/src/Test/VeriFuzz/Graph/ASTGen.hs
+++ b/src/Test/VeriFuzz/Graph/ASTGen.hs
@@ -10,8 +10,6 @@ Portability : POSIX
Generates the AST from the graph directly.
-}
-{-# LANGUAGE OverloadedStrings #-}
-
module Test.VeriFuzz.Graph.ASTGen where
import Data.Graph.Inductive (LNode, Node)
diff --git a/src/Test/VeriFuzz/Graph/CodeGen.hs b/src/Test/VeriFuzz/Graph/CodeGen.hs
index 8d20a71..bfceb4c 100644
--- a/src/Test/VeriFuzz/Graph/CodeGen.hs
+++ b/src/Test/VeriFuzz/Graph/CodeGen.hs
@@ -10,8 +10,6 @@ Portability : POSIX
Define the code generation directly from the random DAG.
-}
-{-# LANGUAGE OverloadedStrings #-}
-
module Test.VeriFuzz.Graph.CodeGen
( generate
) where
diff --git a/src/Test/VeriFuzz/Helpers.hs b/src/Test/VeriFuzz/Helpers.hs
index ca5505c..3650f8e 100644
--- a/src/Test/VeriFuzz/Helpers.hs
+++ b/src/Test/VeriFuzz/Helpers.hs
@@ -10,8 +10,6 @@ Portability : POSIX
Defaults and common functions.
-}
-{-# LANGUAGE OverloadedStrings #-}
-
module Test.VeriFuzz.Helpers where
import Control.Lens
diff --git a/src/Test/VeriFuzz/VerilogAST.hs b/src/Test/VeriFuzz/VerilogAST.hs
index dace0eb..0497432 100644
--- a/src/Test/VeriFuzz/VerilogAST.hs
+++ b/src/Test/VeriFuzz/VerilogAST.hs
@@ -10,8 +10,7 @@ Portability : POSIX
Defines the types to build a Verilog AST.
-}
-{-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TemplateHaskell #-}
module Test.VeriFuzz.VerilogAST where
diff --git a/tests/Unit.hs b/tests/Unit.hs
index c2ee27a..440953a 100644
--- a/tests/Unit.hs
+++ b/tests/Unit.hs
@@ -1,5 +1,3 @@
-{-# LANGUAGE OverloadedStrings #-}
-
module Unit (unitTests) where
import Control.Lens