Installation troubles

[reubenharry]

Should I be able to install rhine with ghc-9.2.5? Using cabal, and a project that depends on

  base >=4.7 && <5
   , rhine 

my installation fails:

Resolving dependencies...
Build profile: -w ghc-9.2.5 -O1
In order, the following will be built (use -v for more details):
 - dunai-0.8.3 (lib) (requires build)
 - rhine-0.7.0 (lib) (requires build)
 - real-time-inference-0.1.0.0 (lib) (configuration changed)
 - real-time-inference-0.1.0.0 (exe:demo) (configuration changed)
Starting     dunai-0.8.3 (lib)
Building     dunai-0.8.3 (lib)

Failed to build dunai-0.8.3.
Build log (
/Users/reubencohn-gordon/.cabal/logs/ghc-9.2.5/dn-0.8.3-c7107f7b.log ):
Configuring library for dunai-0.8.3..
Preprocessing library for dunai-0.8.3..
Building library for dunai-0.8.3..
[ 1 of 22] Compiling Control.Arrow.Util ( src/Control/Arrow/Util.hs, dist/build/Control/Arrow/Util.o, dist/build/Control/Arrow/Util.dyn_o )
[ 2 of 22] Compiling Data.MonadicStreamFunction.InternalCore ( src/Data/MonadicStreamFunction/InternalCore.hs, dist/build/Data/MonadicStreamFunction/InternalCore.o, dist/build/Data/MonadicStreamFunction/InternalCore.dyn_o )
[ 3 of 22] Compiling Data.MonadicStreamFunction.Core ( src/Data/MonadicStreamFunction/Core.hs, dist/build/Data/MonadicStreamFunction/Core.o, dist/build/Data/MonadicStreamFunction/Core.dyn_o )
[ 4 of 22] Compiling Data.MonadicStreamFunction.Instances.VectorSpace ( src/Data/MonadicStreamFunction/Instances/VectorSpace.hs, dist/build/Data/MonadicStreamFunction/Instances/VectorSpace.o, dist/build/Data/MonadicStreamFunction/Instances/VectorSpace.dyn_o )

src/Data/MonadicStreamFunction/Instances/VectorSpace.hs:46:10: error:
    • Could not deduce (Floating s)
        arising from a use of ‘Data.VectorSpace.$dmnorm’
      from the context: (Monad m, VectorSpace v s)
        bound by the instance declaration
        at src/Data/MonadicStreamFunction/Instances/VectorSpace.hs:46:10-64
      Possible fix:
        add (Floating s) to the context of the instance declaration
    • In the expression: Data.VectorSpace.$dmnorm @(MSF m a v) @(s)
      In an equation for ‘norm’:
          norm = Data.VectorSpace.$dmnorm @(MSF m a v) @(s)
      In the instance declaration for ‘VectorSpace (MSF m a v) s’

Unfortunately, I do need ghc 9 (in order to be able to run Gloss on an m1 mac)

[turion]

Can you try cabal update?

[turion]

I thought I had fixed that issue already.

[reubenharry]

That worked, silly me!