exe:crucible-jvm and exe:crux-go builds broken after f328d93

[RyanGlScott]

After f328d93, the exe:crucible-jvm build fails with:

$ cabal build exe:crucible-jvm
Build profile: -w ghc-8.10.4 -O1
In order, the following will be built (use -v for more details):
 - crucible-jvm-0.2 (exe:crucible-jvm) (file tool/Main.hs changed)
Preprocessing executable 'crucible-jvm' for crucible-jvm-0.2..
Building executable 'crucible-jvm' for crucible-jvm-0.2..
[2 of 2] Compiling Main             ( tool/Main.hs, /home/rscott/Documents/Hacking/Haskell/crucible/dist-newstyle/build/x86_64-linux/ghc-8.10.4/crucible-jvm-0.2/x/crucible-jvm/build/crucible-jvm/crucible-jvm-tmp/Main.o )

tool/Main.hs:178:50: error:
    Not in scope: type constructor or class ‘Crux.SimulatorCallback’
    Perhaps you meant ‘Crux.SimulatorCallbacks’ (imported from Crux)
    Neither ‘Crux’, ‘Crux.Config.Common’, ‘Crux.Log’,
            ‘Crux.Model’ nor ‘Crux.Types’ exports ‘SimulatorCallback’.
    |
178 | simulateJVM :: Crux.CruxOptions -> JVMOptions -> Crux.SimulatorCallback msgs
    |                                                  ^^^^^^^^^^^^^^^^^^^^^^

tool/Main.hs:179:26: error:
    Not in scope: data constructor ‘Crux.SimulatorCallback’
    Perhaps you meant one of these:
      ‘Crux.SimulatorCallbacks’ (imported from Crux),
      variable ‘Crux.getSimulatorCallbacks’ (imported from Crux)
    Neither ‘Crux’, ‘Crux.Config.Common’, ‘Crux.Log’,
            ‘Crux.Model’ nor ‘Crux.Types’ exports ‘SimulatorCallback’.
    |
179 | simulateJVM copts opts = Crux.SimulatorCallback $ \sym _maybeOnline -> do
    |                          ^^^^^^^^^^^^^^^^^^^^^^

cc @langston-barrett

[RyanGlScott]

exe:crux-go is similarly affected:

$ cabal build exe:crux-go --constraint="aeson<2.0"
Build profile: -w ghc-8.10.4 -O1
In order, the following will be built (use -v for more details):
 - crucible-go-0.1.0.0 (exe:crux-go) (file tool/Main.hs changed)
Preprocessing executable 'crux-go' for crucible-go-0.1.0.0..
Building executable 'crux-go' for crucible-go-0.1.0.0..
[2 of 2] Compiling Main             ( tool/Main.hs, /home/rscott/Documents/Hacking/Haskell/crucible/dist-newstyle/build/x86_64-linux/ghc-8.10.4/crucible-go-0.1.0.0/x/crux-go/build/crux-go/crux-go-tmp/Main.o )

tool/Main.hs:41:48: error:
    Not in scope: type constructor or class ‘Crux.SimulatorCallback’
    Perhaps you meant ‘Crux.SimulatorCallbacks’ (imported from Crux)
    Neither ‘Crux’ nor ‘Crux.Config.Common’ exports ‘SimulatorCallback’.
   |
41 | simulateGo :: Crux.CruxOptions -> GoOptions -> Crux.SimulatorCallback msgs
   |                                                ^^^^^^^^^^^^^^^^^^^^^^

tool/Main.hs:42:26: error:
    Not in scope: data constructor ‘Crux.SimulatorCallback’
    Perhaps you meant one of these:
      ‘Crux.SimulatorCallbacks’ (imported from Crux),
      variable ‘Crux.getSimulatorCallbacks’ (imported from Crux)
    Neither ‘Crux’ nor ‘Crux.Config.Common’ exports ‘SimulatorCallback’.
   |
42 | simulateGo copts _opts = Crux.SimulatorCallback $ \sym _maybeOnline -> do
   |                          ^^^^^^^^^^^^^^^^^^^^^^

[langston-barrett]

It's easy to forget these when they don't build in CI! Will fix.

[RyanGlScott]

Yes, the CI really should be building more than it currently is. At the very least, crucible-jvm seems like a sensible thing to include in the CI. See #634.

[langston-barrett]

crucible-jvm is fixed, I'll do crucible-go next