examples/Test.hs doesn't compile

[robstewart57]

This file doesn't compile for a few reasons. Here are 3 of those reasons:

1. dut function

   dut :: (MonadFix m) => SuperFabric m ()

Expecting one more argument to ‘m’
    The first argument of ‘SuperFabric’ should have kind ‘*’,
      but ‘m’ has kind ‘* -> *’
    In the type signature for ‘dut’:
      dut :: (MonadFix m) => SuperFabric m ()

2. runFabric functions

   runFabricWithDriver dut wrapper

Because runFabricWithDriver is commented out in Fabric.hs: https://github.com/ku-fpg/kansas-lava/blob/master/Language/KansasLava/Fabric.hs#L300

3. Uses of the SuperFabric type

All the SuperFabric type signatures, e.g.

SuperFabric IO (Seq U4)

Expecting one more argument to ‘IO’
    The first argument of ‘SuperFabric’ should have kind ‘*’,
      but ‘IO’ has kind ‘* -> *’