From 231fd07dde730c2f043ca3d8e390bcebf0b7a66d Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Mon, 20 Nov 2023 13:46:05 -0800 Subject: [PATCH] fix haddock and build(?) --- .github/workflows/haskell-ci.yml | 4 ---- Data/SBV/Compilers/C.hs | 2 +- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/.github/workflows/haskell-ci.yml b/.github/workflows/haskell-ci.yml index dd11cf232..2aa0cb6be 100644 --- a/.github/workflows/haskell-ci.yml +++ b/.github/workflows/haskell-ci.yml @@ -169,10 +169,6 @@ jobs: - name: build run: | $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH all --write-ghc-environment-files=always - - name: cabal check - run: | - cd ${PKGDIR_sbv} || false - ${CABAL} -vnormal check - name: haddock run: | $CABAL v2-haddock --disable-documentation --haddock-all $ARG_COMPILER --with-haddock $HADDOCK $ARG_TESTS $ARG_BENCH all diff --git a/Data/SBV/Compilers/C.hs b/Data/SBV/Compilers/C.hs index a4356173b..4f69afc39 100644 --- a/Data/SBV/Compilers/C.hs +++ b/Data/SBV/Compilers/C.hs @@ -187,7 +187,7 @@ pprCWord :: HasKind a => Bool -> a -> Doc pprCWord cnst v = (if cnst then text "const" else empty) <+> text (showCType v) -- | Almost a "show", but map "SWord1" to "SBool" --- which is used for extracting one-bit words. This is OK since C's `bool` type +-- which is used for extracting one-bit words. This is OK since C's bool type -- handles arithmetic fine, and maps nicely to our `SWord 1`. (Same isn't true for `SInt 1`, which -- doesn't have an easy counter-part on the C side. showCType :: HasKind a => a -> String