Compile errors on GHC 7.7 ?

[mstksg]

I'm using the vagrant buildpack recommended by the ghcjs 'team' https://github.com/ghcjs/ghcjs

They have a version of GHC 7.7 installed apparently. Most libraries I have tried to install compile, but it doesn't seem to like linear (both in "normal" ghc and ghcjs)

The problem occurs for both when compiling Linear.V --- there are two errors:

src/Linear/V.hs:83:10:
    Not in scope: type constructor or class 'KnownNat'

src/Linear/V.hs:84:30: Not in scope: 'natVal'

Is this a known issue/has this popped up before? This happens when both using the hackage version and the HEAD version from github of Linear.

[bgamari]

My personal GHC build (not built with vagrant) seems to work fine so I'd say the problem is likely the vagrant setup.

[glguy]

Between bgamari's post a month ago and my attempt with GHC 7.8.1-rc2, and mstksg's patch it seems like builds are working just fine with new GHC and current versions of linear.

Please reopen the issue with more details if there is still a problem.