test-sawcore fails to build

[RyanGlScott]

Building test-sawcore fails with:

$ cabal build test:test-sawcore
Build profile: -w ghc-8.10.7 -O1
In order, the following will be built (use -v for more details):
 - saw-core-0.1 (test:test-sawcore) (first run)
Preprocessing test suite 'test-sawcore' for saw-core-0.1..
Building test suite 'test-sawcore' for saw-core-0.1..
[3 of 5] Compiling Tests.Rewriter   ( tests/src/Tests/Rewriter.hs, /home/rscott/Documents/Hacking/Haskell/sandbox/saw-script/dist-newstyle/build/x86_64-linux/ghc-8.10.7/saw-core-0.1/t/test-sawcore/build/test-sawcore/test-sawcore-tmp/Tests/Rewriter.o )

tests/src/Tests/Rewriter.hs:39:40: error:
    • No instance for (Data.String.IsString (PrimName Term))
        arising from the literal ‘"Prelude.Nat"’
    • In the first argument of ‘mkDataType’, namely ‘"Prelude.Nat"’
      In the second argument of ‘scMkTerm’, namely
        ‘(mkDataType "Prelude.Nat" [] [])’
      In a stmt of a 'do' block:
        natType <- scMkTerm sc (mkDataType "Prelude.Nat" [] [])
   |
39 |     natType <- scMkTerm sc (mkDataType "Prelude.Nat" [] [])
   |                                        ^^^^^^^^^^^^^

tests/src/Tests/Rewriter.hs:41:31: error:
    • No instance for (Data.String.IsString (PrimName Term))
        arising from the literal ‘"Prelude.Bool"’
    • In the first argument of ‘mkDataType’, namely ‘"Prelude.Bool"’
      In the expression: mkDataType "Prelude.Bool" [] []
      In an equation for ‘boolType’:
          boolType = mkDataType "Prelude.Bool" [] []
   |
41 |     let boolType = mkDataType "Prelude.Bool" [] []
   |                               ^^^^^^^^^^^^^^

The most likely culprit is commit 33a4c37.