Error in installing

[PoorvaGarg]

I am trying to install hakaru using the steps described on the link: https://hakaru-dev.github.io/intro/installation/ I am facing the following issue

error:
        Not in scope: data constructor ‘ReplOpts’
        |
    134 |         $ evalReplOpts $ ReplOpts

hakaru/haskell/Language/Hakaru/Repl.hs:135:12: error:
        Not in scope: ‘banner’
        Perhaps you meant ‘binder’ (imported from Language.Hakaru.Syntax.ABT)
        |
    135 |          { banner           = const (pure ">>> ")
        |            ^^^^^^

Any help for resolving this would be appreciated

[JacquesCarette]

What version of Haskell are you using?

[PoorvaGarg]

I am using GHC 8.6.5

[zaxtax]

I actually suspect this is due to us having too loose bounds on the version of repline we install. @PoorvaGarg can you say which version of repline cabal is giving you?

[PoorvaGarg]

I am using repline 0.4.0.0

[zaxtax]

Alright, let me investigate this and follow-up

[zaxtax]

Oh @PoorvaGarg I forgot to ask. Did you use the stack or cabal instructions?

[PoorvaGarg]

I used stack instructions

[zaxtax]

Ok, I think this is due to the stack lts release in our config not having the latest version of repline. I got the following warning:

Downloaded ghc-tinfo6-8.6.4.
rts-1.0: Warning: .:464:1: The field "hugs-options" is deprecated. hugs isn't supported anymore Installed GHC.
WARNING: Ignoring hakaru's bounds on repline (>=0.4); using repline-0.2.0.0.

I just bumped stack.yaml to use the latest 8.x GHC release. Hopefully, it works now for you.

[zaxtax]

@PoorvaGarg Did that fix things?

[PoorvaGarg]

This did not work for me. I got the following output to stack install

Downloading lts-18.28 build plan ...
RedownloadInvalidResponse Request {
  host                 = "raw.githubusercontent.com"
  port                 = 443
  secure               = True
  requestHeaders       = []
  path                 = "/fpco/lts-haskell/master//lts-18.28.yaml"
  queryString          = ""
  method               = "GET"
  proxy                = Nothing
  rawBody              = False
  redirectCount        = 10
  responseTimeout      = ResponseTimeoutDefault
  requestVersion       = HTTP/1.1
}

[zaxtax]

@PoorvaGarg I think you tried to install this while Github was itself not working well. Did you try again later?