Don't export new SMT backend by default

(Until we figure out how to fix the haddock github workflow)
blarney-lang · May 20, 2024 · dbfc93a · dbfc93a
1 parent 5cf4465
commit dbfc93a
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -16,7 +16,6 @@ jobs:
         ghc-version: '9.2.1'
     - name: Generate documentation
       run: |
-       cabal install --lib async
        haddock --source-module=$GITHUB_SERVER_URL/$GITHUB_REPOSITORY/tree/$GITHUB_SHA/%{FILE} \
                --source-entity=$GITHUB_SERVER_URL/$GITHUB_REPOSITORY/tree/$GITHUB_SHA/%{FILE}#L%{LINE} \
                --title=blarney \

diff --git a/Haskell/Blarney/Backend.hs b/Haskell/Blarney/Backend.hs
@@ -26,11 +26,12 @@ module Blarney.Backend (
 , verifyWith
 , verifyToDepth
   -- * New, improved SMT backend
-, Verbosity(..)
-, checkAuto
-, checkFixed
-, debugAuto
-, debugFixed
+--Currently not exported by default
+--, Verbosity(..)
+--, checkAuto
+--, checkFixed
+--, debugAuto
+--, debugFixed
   -- * Simulation backend
 , module Blarney.Backend.Simulation
 , simulate
@@ -54,7 +55,7 @@ import Blarney.Netlist
 import Blarney.Backend.Simulation
 import Blarney.Backend.Verilog
 import Blarney.Backend.SMT
-import Blarney.Backend.NewSMT (Verbosity(..), checkAuto, checkFixed, debugAuto, debugFixed)
+--import Blarney.Backend.NewSMT (Verbosity(..), checkAuto, checkFixed, debugAuto, debugFixed)
 
 -- Verilog backend
 --------------------------------------------------------------------------------