MayBoxVec type annotation problem

[cscherrer]

summary adds a type annotation to prog, which involves MayBoxVec Prob Prob. Compiling with GHC results in the error
Not in scope: type constructor or class ‘Prob’

Removing the type annotation makes it compile again.

It looks like Prob was being interpreted as a constructor or class, rather than as a type. So I guess maybe the problem has to do with MayBoxVec.

[ccshan]

The Prob type synonym was added to Language.Hakaru.Runtime.LogFloatPrelude and Language.Hakaru.Runtime.Prelude in 772a986, then used in 1509e85. Neither of these commits is in v0.4. Would you please clarify which version you're using, and try reinstalling Language.Hakaru.Runtime.LogFloatPrelude if you're using the latest master rather than v0.4?

[cscherrer]

I'm using v0.4. Strange, we had been talking for a long time in terms of Prob values. I think I'm confusing them with prob values in Hakaru.

When I switched to the master branch I started getting a similar error message about Measure.