`stack build` fails as of 3abca477

[gergoerdi]

Clean build using stack build on 3abca47 fails with the following error message. Is there some GHC Nat plugin that wasn't properly version-bumped in the dependencies?

    [29 of 78] Compiling Clash.Class.BitPack ( src/Clash/Class/BitPack.hs, .stack-work/dist/x86_64-linux/Cabal-2.4.0.1/build/Clash/Class/BitPack.o )
    
    /home/cactus/prog/clash/import/clash-compiler/clash-prelude/src/Clash/Class/BitPack.hs:320:19: error:
        Couldn't match type ‘GFieldSize f
                             GHC.TypeNats.<=? Max (GFieldSize f) (GFieldSize g)’
                       with ‘'True’
          arising from a use of ‘undefined#’
        |
    320 |     let padding = undefined# :: BitVector (Max (GFieldSize f) (GFieldSize g) - GFieldSize f) in
        |                   ^^^^^^^^^^
    
    /home/cactus/prog/clash/import/clash-compiler/clash-prelude/src/Clash/Class/BitPack.hs:325:19: error:
        Couldn't match type ‘GFieldSize g
                             GHC.TypeNats.<=? Max (GFieldSize f) (GFieldSize g)’
                       with ‘'True’
          arising from a use of ‘undefined#’
        |
    325 |     let padding = undefined# :: BitVector (Max (GFieldSize f) (GFieldSize g) - GFieldSize g) in
        |                   ^^^^^^^^^^
    
    /home/cactus/prog/clash/import/clash-compiler/clash-prelude/src/Clash/Class/BitPack.hs:337:78: error:
        Couldn't match type ‘GFieldSize f
                             GHC.TypeNats.<=? Max (GFieldSize f) (GFieldSize g)’
                       with ‘'True’
          arising from a use of ‘split#’
        |
    337 |     (f, _ :: BitVector (Max (GFieldSize f) (GFieldSize g) - GFieldSize f)) = split# b
        |                                                                              ^^^^^^^^
    
    /home/cactus/prog/clash/import/clash-compiler/clash-prelude/src/Clash/Class/BitPack.hs:338:78: error:
        Couldn't match type ‘GFieldSize g
                             GHC.TypeNats.<=? Max (GFieldSize f) (GFieldSize g)’
                       with ‘'True’
          arising from a use of ‘split#’
        |
    338 |     (g, _ :: BitVector (Max (GFieldSize f) (GFieldSize g) - GFieldSize g)) = split# b
        |                                                                              ^^^^^^^^
    

[gergoerdi]

8a4e436 seems to be the commit causing this problem:

commit 8a4e436ecbbcc0df8f2acfd4e12fd6ab15e3186d
Author: Martijn Bastiaan <martijn@hmbastiaan.nl>
Date:   Thu Apr 4 17:14:57 2019 +0200

    Add Generic instance for BitVector

[martijnbastiaan]

Ah right.. I didn't account for Stack and we don't test for it. Cabal picks it up because of this. Do you happen to know how to do something similar for Stack?