File tree Expand file tree Collapse file tree 1 file changed +2
-14
lines changed
clash-prelude/src/Clash/Sized Expand file tree Collapse file tree 1 file changed +2
-14
lines changed Original file line number Diff line number Diff line change @@ -286,6 +286,7 @@ pattern Cons x xs = (:>) x xs
286
286
287
287
infixr CONS_PREC `Cons `
288
288
{-# COMPLETE Nil, Cons #-}
289
+ {-# DEPRECATED Cons "Use '(:>)' instead. 'Cons' will be removed in Clash 1.12" #-}
289
290
290
291
instance Show a => Show (Vec n a ) where
291
292
showsPrec n = \ case
@@ -1620,7 +1621,7 @@ Nil
1620
1621
In the expression: take d4 (1 :> 2 :> Nil)
1621
1622
In an equation for ‘it’: it = take d4 (1 :> 2 :> Nil)
1622
1623
1623
- #elif __GLASGOW_HASKELL__ >= 902
1624
+ #elif __GLASGOW_HASKELL__ >= 900
1624
1625
>>> take d4 (1:>2:>Nil)
1625
1626
<BLANKLINE>
1626
1627
<interactive>:...
@@ -1632,19 +1633,6 @@ Nil
1632
1633
In the expression: take d4 (1 :> 2 :> Nil)
1633
1634
In an equation for ‘it’: it = take d4 (1 :> 2 :> Nil)
1634
1635
1635
- #elif __GLASGOW_HASKELL__ == 900
1636
- >>> take d4 (1:>2:>Nil)
1637
- <BLANKLINE>
1638
- <interactive>:...
1639
- • Couldn't match type ‘4 + n0’ with ‘2’
1640
- Expected: Vec (4 + n0) a
1641
- Actual: Vec 2 a
1642
- ^
1643
- The type variable ‘n0’ is ambiguous
1644
- • In the second argument of ‘take’, namely ‘(1 :> 2 :> Nil)’
1645
- In the expression: take d4 (1 :> 2 :> Nil)
1646
- In an equation for ‘it’: it = take d4 (1 :> 2 :> Nil)
1647
-
1648
1636
#else
1649
1637
>>> take d4 (1:>2:>Nil)
1650
1638
<BLANKLINE>
You can’t perform that action at this time.
0 commit comments