uu-computerscience / shuffle Goto Github PK

Pinging @phile314

While installing stuff for testing the UHC back-end in Agda, I found the following problem:

$ cabal install shuffle
/tmp/cabal-tmp-31008/shuffle-0.1.3.3/dist/setup/setup.hs:21:10:
    Couldn't match expected type ‘UserHooks’
                with actual type ‘Cabal-1.23.0.0:Distribution.Simple.UserHooks.UserHooks’
    NB: ‘UserHooks’
          is defined in ‘Distribution.Simple.UserHooks’
              in package ‘Cabal-1.22.5.0’
        ‘Cabal-1.23.0.0:Distribution.Simple.UserHooks.UserHooks’
          is defined in ‘Distribution.Simple.UserHooks’
              in package ‘Cabal-1.23.0.0’
    In the second argument of ‘($)’, namely ‘uuagcLibUserHook uuagc’
    In the second argument of ‘($)’, namely
      ‘addHook $ uuagcLibUserHook uuagc’
Failed to install shuffle-0.1.3.3

We are planning to build Agda using Stackage. Please consider to add shuffle to Stackage. See instructions here.

CC'ing @phile314.

The shuffle executable has a build-depends on the library, but the version numbers don't match in the version on hackage (0.1.3.0).

Version: 0.1.3.0
.....
Executable shuffle
  Build-Depends: ... shuffle == 0.1.2.0

Causes cabal install to fail:

Resolving dependencies...
cabal: Could not resolve dependencies:
rejecting: shuffle-0.1.3.0 (conflict: shuffle => shuffle==0.1.2.0)
rejecting: shuffle-0.1.2.0, 0.1.1.0, 0.1.0.2, 0.1.0.1, 0.1.0.0 (global
constraint requires ==0.1.3.0)

(Version 0.1.3.0 appears to be missing from github, so I can't make a pull request)

Error messages should clearly indicate where the error appears.

Example of non-sense error message as they currently are:

?? Error: Just (137:29)"("
?? Expecting: "export" or "LF"
?? Repaired by: inserting: "export"

While working on EHC/UHC.

Citing from http://hydra.cryp.to/build/774914/nixlog/1/raw:

dist/build/UHC/Shuffle/MainAG.hs:2526:13:
    Ambiguous occurrence ‘Word’
    It could refer to either ‘UHC.Shuffle.MainAG.Word’,
                             defined at dist/build/UHC/Shuffle/MainAG.hs:2521:1
                          or ‘Prelude.Word’,
                             imported from ‘Prelude’ at dist/build/UHC/Shuffle/MainAG.hs:4:8-25
                             (and originally defined in ‘ghc-prim-0.4.0.0:GHC.Types’)

dist/build/UHC/Shuffle/MainAG.hs:2781:15:
    Ambiguous occurrence ‘Word’
    It could refer to either ‘UHC.Shuffle.MainAG.Word’,
                             defined at dist/build/UHC/Shuffle/MainAG.hs:2521:1
                          or ‘Prelude.Word’,
                             imported from ‘Prelude’ at dist/build/UHC/Shuffle/MainAG.hs:4:8-25
                             (and originally defined in ‘ghc-prim-0.4.0.0:GHC.Types’)