Skip to content

Commit

Permalink
Remove (..) from export of AppendTuple', TupleSize
Browse files Browse the repository at this point in the history
  • Loading branch information
krame505 committed Dec 13, 2024
1 parent 82a1c3f commit a27f5e5
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/Libraries/Base1/Prelude.bs
Original file line number Diff line number Diff line change
Expand Up @@ -171,7 +171,7 @@ package Prelude(
Tuple6, tuple6, Has_tpl_6(..),
Tuple7, tuple7, Has_tpl_7(..),
Tuple8, tuple8, Has_tpl_8(..),
AppendTuple(..), AppendTuple'(..), TupleSize(..),
AppendTuple(..), AppendTuple', TupleSize,

-- lists required for desugaring
List(..),
Expand Down Expand Up @@ -1917,8 +1917,8 @@ mkRegU = liftModule $
primSavePortType name "D_IN" t
primSavePortType name "Q_OUT" t
interface
_read = unpack _r.read
_write x = fromPrimAction (_r.write (pack x))
_read = fromWrapMethod _r.read
_write = fromWrapMethod _r.write

-- only for n>0
vMkRegA :: Bit n -> Module (VReg n)
Expand Down

0 comments on commit a27f5e5

Please sign in to comment.