dragen from Hackage does not build with lts-13.2

[FranklinChen]

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]

@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]

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]

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