[ #278 Agda ] import Prelude (Bool) in Parser module

Needed for layout flag.
BNFC · Jan 2, 2020 · eb3ecab · eb3ecab
1 parent f377ea5
commit eb3ecab
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -81,6 +81,7 @@ cabal.sandbox.config
 /testing/regression-tests/#100_coercion_lists/cpp/
 /testing/regression-tests/#100_coercion_lists/java/
 
+/testing/regression-tests/194_layout/agda/
 /testing/regression-tests/194_layout/haskell/
 
 /testing/regression-tests/202_comments/C/

diff --git a/source/src/BNFC/Backend/Agda.hs b/source/src/BNFC/Backend/Agda.hs
@@ -356,7 +356,7 @@ importPragmas tokenText mods = vcat $ map imp $ prelude ++ extra ++ mods
     StringToken     -> []
     ByteStringToken -> [ "qualified Data.ByteString.Char8 as BS" ]
   prelude =
-    [ "Prelude (Char, Double, Integer, String, (.))"
+    [ "Prelude (Bool, Char, Double, Integer, String, (.))"
     , "qualified Data.Text"
     ]
 

diff --git a/testing/Main.hs b/testing/Main.hs
@@ -13,6 +13,7 @@ main = htfMain $
   -- (avoids the usual problems when trying to switch the first line
   -- with a later line).
 
+  -- ParameterizedTests.layoutTest :
   -- ParameterizedTests.current :  -- Uncomment for prioritized test case.
   -- -- RegressionTests.current :
   ParameterizedTests.all :