Skip to content

Commit 6938cf2

Browse files
committed
Swap some missed Cons
1 parent 4cc52fc commit 6938cf2

File tree

1 file changed

+2
-2
lines changed
  • clash-lib/src/Clash/Normalize/Transformations

1 file changed

+2
-2
lines changed

clash-lib/src/Clash/Normalize/Transformations/Letrec.hs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,7 @@ import qualified Data.Text.Extra as Text
4040
import GHC.Stack (HasCallStack)
4141

4242
import Clash.Annotations.BitRepresentation.Deriving (dontApplyInHDL)
43-
import Clash.Sized.Vector as Vec (Vec(Cons), splitAt)
43+
import Clash.Sized.Vector as Vec (Vec((:>)), splitAt)
4444

4545
import Clash.Annotations.Primitive (extractPrim)
4646
import Clash.Core.DataCon (DataCon(..))
@@ -153,7 +153,7 @@ removeUnusedExpr _ e@(Case _ _ [(DataPat _ [] xs,altExpr)]) =
153153
-- Replace any expression that creates a Vector of size 0 within the application
154154
-- of the (:>) constructor, by the Nil constructor.
155155
removeUnusedExpr _ e@(collectArgsTicks -> (Data dc, [_,Right aTy,Right nTy,_,Left a,Left nil],ticks))
156-
| nameOcc (dcName dc) == Text.showt 'Vec.Cons
156+
| nameOcc (dcName dc) == Text.showt '(Vec.:>)
157157
= do
158158
tcm <- Lens.view tcCache
159159
case runExcept (tyNatSize tcm nTy) of

0 commit comments

Comments
 (0)