Implement `ensureSpine` for `BitVector n` as `pack`

clash-lang / clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

https://clash-lang.org/

Other

1.43k stars 151 forks source link

Closed lmbollen closed 5 months ago

lmbollen commented 5 months ago

This enables us to deal with undefined BitVectors using the currently derived ensureSpine.

To satisfy ensureSpine (errorX "Undefined BitVector") == deepErrorX "Undefined BitVector"