Yep! Use:
{-# LANGUAGE ExtendedDefaultRules #-}
I (with lots of invaluable help from the GHC team) actually submitted a patch to GHC specifically so you don't have to write out those type signatures.
In general it's easiest to just start every nontrivial Vivid file with:
{-# LANGUAGE DataKinds, ExtendedDefaultRules #-}
import Vivid
Tom
> El 7 jul 2018, a las 20:13, Jeffrey Brown <jeffbrown.the_at_gmail.com> escribió:
>
> In the recent thread titled "Vivid: Brief, triggered sounds," Tom suggests some code. I was able to run it, after adding a lot of type signatures. I suspect there's some extension I'm missing that allows GHC to infer those type signatures, because they seem to be flexible (as the comments below indicate).
>
> Is there in fact such an extension I should be using?
>
> {-# LANGUAGE DataKinds #-}
>
> import Vivid
>
> foo = sd (1 :: I "gate") $ do
> e <- adsrGen
> (0.2::Double) -- Float or Double works
> (0.1::Double) -- Float or Double works
> (0.6::Double) -- Float or Double works
> (0.7::Double) -- Float or Double works
> (Curve_Curve $ -4)
> (gate_ (V::V "gate"))
> s <- e ~* sinOsc (freq_ (500 :: Double)) -- Float or Double works
> out (0::Integer) [s,s] -- Int or Integer works
>
> main = do
> s <- synth foo ()
> wait 1
> free s
>
>
> --
> Jeff Brown | Jeffrey Benjamin Brown
> Website | Facebook | LinkedIn(spammy, so I often miss messages here) | Github
> _______________________________________________
> Livecode mailing list -- livecode_at_we.lurk.org
> To unsubscribe send an email to livecode-leave_at_we.lurk.org
_______________________________________________
Livecode mailing list -- livecode_at_we.lurk.org
To unsubscribe send an email to livecode-leave_at_we.lurk.org
Received on Sun Jul 08 2018 - 01:55:16 BST