running readme example on stackage lts-16.23

[miguel-negrao]

Hi

When trying to run the readme example in Stackage LTS-16.23 (close to the lastest) I get the errors below.

The stack project I used is available here. To reproduce after cloning the repo do stack build.

Building all executables for `try-vivid' once. After a successful build of all of them, only specified executables will be rebuilt.
try-vivid> configure (exe)
Configuring try-vivid-0.1.0.0...
try-vivid> build (exe)
Preprocessing executable 'try-vivid-exe' for try-vivid-0.1.0.0..
Building executable 'try-vivid-exe' for try-vivid-0.1.0.0..
[1 of 2] Compiling Main

/home/miguel/Development/Haskell/projects/misc/try-vivid-hsc3/Main.hs:12:15: error:
    • Ambiguous type variable ‘i1’ arising from a use of ‘~*’
      prevents the constraint ‘(ToSig i1 '["note"])’ from being solved.
      Probable fix: use a type annotation to specify what ‘i1’ should be.
      These potential instances exist:
        instance ToSig Int16 args -- Defined in ‘Vivid.SynthDef.ToSig’
        instance ToSig Int32 args -- Defined in ‘Vivid.SynthDef.ToSig’
        instance ToSig Int64 args -- Defined in ‘Vivid.SynthDef.ToSig’
        ...plus 9 others
        ...plus 7 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the first argument of ‘(~+)’, namely
        ‘sinOsc (freq_ 5) ? KR ~* 10’
      In a stmt of a 'do' block:
        wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
      In the second argument of ‘($)’, namely
        ‘do wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
            s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V :: V "note") ~+ wobble)
            out 0 [s, s]’
   |
12 |     wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
   |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^

/home/miguel/Development/Haskell/projects/misc/try-vivid-hsc3/Main.hs:12:15: error:
    • Ambiguous type variable ‘i10’ arising from a use of ‘~+’
      prevents the constraint ‘(ToSig i10 '["note"])’ from being solved.
      Probable fix: use a type annotation to specify what ‘i10’ should be.
      These potential instances exist:
        instance ToSig Int16 args -- Defined in ‘Vivid.SynthDef.ToSig’
        instance ToSig Int32 args -- Defined in ‘Vivid.SynthDef.ToSig’
        instance ToSig Int64 args -- Defined in ‘Vivid.SynthDef.ToSig’
        ...plus 9 others
        ...plus 7 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In a stmt of a 'do' block:
        wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
      In the second argument of ‘($)’, namely
        ‘do wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
            s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V :: V "note") ~+ wobble)
            out 0 [s, s]’
      In the expression:
        sd (0 :: I "note")
          $ do wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
               s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V :: V "note") ~+ wobble)
               out 0 [s, s]
   |
12 |     wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
   |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

/home/miguel/Development/Haskell/projects/misc/try-vivid-hsc3/Main.hs:12:23: error:
    • Ambiguous type variable ‘s0’ arising from a use of ‘freq_’
      prevents the constraint ‘(ToSig s0 '["note"])’ from being solved.
      Probable fix: use a type annotation to specify what ‘s0’ should be.
      These potential instances exist:
        instance ToSig Int16 args -- Defined in ‘Vivid.SynthDef.ToSig’
        instance ToSig Int32 args -- Defined in ‘Vivid.SynthDef.ToSig’
        instance ToSig Int64 args -- Defined in ‘Vivid.SynthDef.ToSig’
        ...plus 9 others
        ...plus 7 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the first argument of ‘sinOsc’, namely ‘(freq_ 5)’
      In the first argument of ‘(?)’, namely ‘sinOsc (freq_ 5)’
      In the first argument of ‘(~*)’, namely ‘sinOsc (freq_ 5) ? KR’
   |
12 |     wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
   |                       ^^^^^^^

/home/miguel/Development/Haskell/projects/misc/try-vivid-hsc3/Main.hs:12:29: error:
    • Ambiguous type variable ‘s0’ arising from the literal ‘5’
      prevents the constraint ‘(Num s0)’ from being solved.
      Probable fix: use a type annotation to specify what ‘s0’ should be.
      These potential instances exist:
        instance Num Int16 -- Defined in ‘GHC.Int’
        instance Num Int32 -- Defined in ‘GHC.Int’
        instance Num Int64 -- Defined in ‘GHC.Int’
        ...plus 7 others
        ...plus 7 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the first argument of ‘freq_’, namely ‘5’
      In the first argument of ‘sinOsc’, namely ‘(freq_ 5)’
      In the first argument of ‘(?)’, namely ‘sinOsc (freq_ 5)’
   |
12 |     wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
   |                             ^

/home/miguel/Development/Haskell/projects/misc/try-vivid-hsc3/Main.hs:12:40: error:
    • Ambiguous type variable ‘i1’ arising from the literal ‘10’
      prevents the constraint ‘(Num i1)’ from being solved.
      Probable fix: use a type annotation to specify what ‘i1’ should be.
      These potential instances exist:
        instance Num Int16 -- Defined in ‘GHC.Int’
        instance Num Int32 -- Defined in ‘GHC.Int’
        instance Num Int64 -- Defined in ‘GHC.Int’
        ...plus 7 others
        ...plus 7 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the second argument of ‘(~*)’, namely ‘10’
      In the first argument of ‘(~+)’, namely
        ‘sinOsc (freq_ 5) ? KR ~* 10’
      In a stmt of a 'do' block:
        wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
   |
12 |     wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
   |                                        ^^

/home/miguel/Development/Haskell/projects/misc/try-vivid-hsc3/Main.hs:12:46: error:
    • Ambiguous type variable ‘i10’ arising from the literal ‘10’
      prevents the constraint ‘(Num i10)’ from being solved.
      Probable fix: use a type annotation to specify what ‘i10’ should be.
      These potential instances exist:
        instance Num Int16 -- Defined in ‘GHC.Int’
        instance Num Int32 -- Defined in ‘GHC.Int’
        instance Num Int64 -- Defined in ‘GHC.Int’
        ...plus 7 others
        ...plus 7 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the second argument of ‘(~+)’, namely ‘10’
      In a stmt of a 'do' block:
        wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
      In the second argument of ‘($)’, namely
        ‘do wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
            s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V :: V "note") ~+ wobble)
            out 0 [s, s]’
   |
12 |     wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
   |                                              ^^

/home/miguel/Development/Haskell/projects/misc/try-vivid-hsc3/Main.hs:13:10: error:
    • Ambiguous type variable ‘i00’ arising from the literal ‘0.1’
      prevents the constraint ‘(Fractional i00)’ from being solved.
      Probable fix: use a type annotation to specify what ‘i00’ should be.
      These potential instances exist:
        instance GHC.TypeLits.KnownSymbol s => Fractional (I s)
          -- Defined in ‘Vivid.SynthDef.TypesafeArgs’
        instance Fractional Double -- Defined in ‘GHC.Float’
        instance Fractional Float -- Defined in ‘GHC.Float’
        ...plus two instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the first argument of ‘(~*)’, namely ‘0.1’
      In a stmt of a 'do' block:
        s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V :: V "note") ~+ wobble)
      In the second argument of ‘($)’, namely
        ‘do wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
            s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V :: V "note") ~+ wobble)
            out 0 [s, s]’
   |
13 |     s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V::V "note") ~+ wobble)
   |          ^^^

/home/miguel/Development/Haskell/projects/misc/try-vivid-hsc3/Main.hs:13:10: error:
    • Ambiguous type variable ‘i00’ arising from a use of ‘~*’
      prevents the constraint ‘(ToSig i00 '["note"])’ from being solved.
      Probable fix: use a type annotation to specify what ‘i00’ should be.
      These potential instances exist:
        instance ToSig Int16 args -- Defined in ‘Vivid.SynthDef.ToSig’
        instance ToSig Int32 args -- Defined in ‘Vivid.SynthDef.ToSig’
        instance ToSig Int64 args -- Defined in ‘Vivid.SynthDef.ToSig’
        ...plus 9 others
        ...plus 7 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In a stmt of a 'do' block:
        s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V :: V "note") ~+ wobble)
      In the second argument of ‘($)’, namely
        ‘do wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
            s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V :: V "note") ~+ wobble)
            out 0 [s, s]’
      In the expression:
        sd (0 :: I "note")
          $ do wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
               s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V :: V "note") ~+ wobble)
               out 0 [s, s]
   |
13 |     s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V::V "note") ~+ wobble)
   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

/home/miguel/Development/Haskell/projects/misc/try-vivid-hsc3/Main.hs:14:5: error:
    • Ambiguous type variable ‘busNum0’ arising from a use of ‘out’
      prevents the constraint ‘(ToSig
                                  busNum0 '["note"])’ from being solved.
      Probable fix: use a type annotation to specify what ‘busNum0’ should be.
      These potential instances exist:
        instance ToSig Int16 args -- Defined in ‘Vivid.SynthDef.ToSig’
        instance ToSig Int32 args -- Defined in ‘Vivid.SynthDef.ToSig’
        instance ToSig Int64 args -- Defined in ‘Vivid.SynthDef.ToSig’
        ...plus 9 others
        ...plus 7 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In a stmt of a 'do' block: out 0 [s, s]
      In the second argument of ‘($)’, namely
        ‘do wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
            s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V :: V "note") ~+ wobble)
            out 0 [s, s]’
      In the expression:
        sd (0 :: I "note")
          $ do wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
               s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V :: V "note") ~+ wobble)
               out 0 [s, s]
   |
14 |     out 0 [s,s]
   |     ^^^^^^^^^^^

/home/miguel/Development/Haskell/projects/misc/try-vivid-hsc3/Main.hs:14:9: error:
    • Ambiguous type variable ‘busNum0’ arising from the literal ‘0’
      prevents the constraint ‘(Num busNum0)’ from being solved.
      Probable fix: use a type annotation to specify what ‘busNum0’ should be.
      These potential instances exist:
        instance Num Int16 -- Defined in ‘GHC.Int’
        instance Num Int32 -- Defined in ‘GHC.Int’
        instance Num Int64 -- Defined in ‘GHC.Int’
        ...plus 7 others
        ...plus 7 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the first argument of ‘out’, namely ‘0’
      In a stmt of a 'do' block: out 0 [s, s]
      In the second argument of ‘($)’, namely
        ‘do wobble <- sinOsc (freq_ 5) ? KR ~* 10 ~+ 10
            s <- 0.1 ~* sinOsc (freq_ $ midiCPS (V :: V "note") ~+ wobble)
            out 0 [s, s]’
   |
14 |     out 0 [s,s]
   |         ^

--  While building package try-vivid-0.1.0.0 (scroll up to its section to see the error) using:
      /home/miguel/.stack/setup-exe-cache/x86_64-linux-tinfo6/Cabal-simple_mPHDZzAJ_3.0.1.0_ghc-8.8.4 --builddir=.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0 build exe:try-vivid-exe --ghc-options ""
    Process exited with code: ExitFailure 1