Resolving dependencies...
Downloading xilinx-lava-4.1...
Configuring xilinx-lava-4.1...
Building xilinx-lava-4.1...
Preprocessing library xilinx-lava-4.1...

Lava/Utils.hs:1:12: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead
[ 1 of 32] Compiling Lava.RPM         ( Lava/RPM.hs, dist/build/Lava/RPM.o )
[ 2 of 32] Compiling Lava.Primitives  ( Lava/Primitives.hs, dist/build/Lava/Primitives.o )
[ 3 of 32] Compiling Lava.TypeExpr    ( Lava/TypeExpr.hs, dist/build/Lava/TypeExpr.o )
[ 4 of 32] Compiling Lava.Utils       ( Lava/Utils.hs, dist/build/Lava/Utils.o )
[ 5 of 32] Compiling Lava.Simulation  ( Lava/Simulation.hs, dist/build/Lava/Simulation.o )
[ 6 of 32] Compiling Lava.Sim         ( Lava/Sim.hs, dist/build/Lava/Sim.o )
[ 7 of 32] Compiling Lava.Serial      ( Lava/Serial.hs, dist/build/Lava/Serial.o )
[ 8 of 32] Compiling Lava.Row         ( Lava/Row.hs, dist/build/Lava/Row.o )
[ 9 of 32] Compiling Lava.Combinators ( Lava/Combinators.hs, dist/build/Lava/Combinators.o )
[10 of 32] Compiling Lava.Classes     ( Lava/Classes.hs, dist/build/Lava/Classes.o )
[11 of 32] Compiling Lava.Gates       ( Lava/Gates.hs, dist/build/Lava/Gates.o )
[12 of 32] Compiling Lava.Instance    ( Lava/Instance.hs, dist/build/Lava/Instance.o )

Lava/Instance.hs:51:10:
    Illegal instance declaration for `Combinational Out Wire'
      (All instance types must be of the form (T a1 ... an)
       where a1 ... an are *distinct type variables*,
       and each type variable appears at most once in the instance head.
       Use -XFlexibleInstances if you want to disable this.)
    In the instance declaration for `Combinational Out Wire'
Failed to install xilinx-lava-4.1
cabal: Error: some packages failed to install:
xilinx-lava-4.1 failed during the building phase. The exception was:
ExitFailure 1