search

OctopiChalmers / dragen

Branching processes for QuickCheck generators
BSD 3-Clause "New" or "Revised" License
6 stars 2 forks source link

`dragen` from Hackage does not build with lts-13.2 #2

Open FranklinChen opened 5 years ago

FranklinChen commented 5 years ago

I can see why the build fails. The dependencies uploaded to https://hackage.haskell.org/package/dragen are too strict for lts-13.2, and do not need to be.

$ stack install dragen --resolver lts-13.2

Error: While constructing the build plan, the following exceptions were
encountered:

In the dependencies for dragen-0.1.0.0:
    QuickCheck-2.12.6.1 from stack configuration does not
                        match >=2.11.3 && <2.12  (latest matching version
                        is 2.11.3)
    containers-0.6.0.1 from stack configuration does not
                       match >=0.5.11.0 && <0.6  (latest matching version
                       is 0.5.11.0)
    template-haskell-2.14.0.0 from stack configuration does not
                              match >=2.13.0.0 && <2.14  (latest matching
                              version is 2.13.0.0)
needed since dragen is a build target.
igrep commented 5 years ago

@OctopiChalmers Why do the dependencies' versions in Hackage differ from the ones in this repository's package.yaml? I want you to upload the fixed version to Hackage.

agustinmista commented 5 years ago

Hi!

I was asked by some Hackage curators to upload the package using pvp upper bounds, so that's likely the reason why the build is failing. I am working on some improvements for this package, and will update an updated version to Hackage as soon as it is ready. In the meantime, you can add it as an external dependency in your Stack config file in case you're using it.

FranklinChen commented 4 years ago

I just cloned the Git repo and built OK with lts-16.9, but running stack test resulted in:

...

Reifiying: Examples.Expr

/Users/chen/dragen/test/Examples.hs:158:1: error:
    The exact Name ‘a_adYb’ is not in scope
      Probable cause: you used a unique Template Haskell name (NameU),
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful
    |
158 | dragenArbitrary ''Expr 10 (weighted [('Var, 3), ('Lam, 1)])
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

/Users/chen/dragen/test/Examples.hs:158:1: error:
    The exact Name ‘a_adYb’ is not in scope
      Probable cause: you used a unique Template Haskell name (NameU),
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful
    |
158 | dragenArbitrary ''Expr 10 (weighted [('Var, 3), ('Lam, 1)])
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

/Users/chen/dragen/test/Examples.hs:158:1: error:
    ‘a_adYb’ is not in the type environment at a reify
    |
158 | dragenArbitrary ''Expr 10 (weighted [('Var, 3), ('Lam, 1)])
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

--  While building package dragen-0.1.0.0 using:
      /Users/chen/.stack/setup-exe-cache/x86_64-osx/Cabal-simple_mPHDZzAJ_3.0.1.0_ghc-8.8.3 --builddir=.stack-work/dist/x86_64-osx/Cabal-3.0.1.0 build lib:dragen test:examples --ghc-options " -fdiagnostics-color=always"
    Process exited with code: ExitFailure 1
Progress 1/2