Error in installing

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

What version of Haskell are you using?

I am using GHC 8.6.5

@PoorvaGarg

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?

I am using repline 0.4.0.0

Alright, let me investigate this and follow-up

@PoorvaGarg

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

I used stack instructions

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.

@PoorvaGarg

@PoorvaGarg Did that fix things?

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
}

@PoorvaGarg

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

Navigation Menu

Repository navigation

Error in installing #207

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Error in installing #207

Description

Activity

JacquesCarette commented on Mar 16, 2022

PoorvaGarg commented on Mar 16, 2022

zaxtax commented on Mar 17, 2022

PoorvaGarg commented on Mar 17, 2022

zaxtax commented on Mar 17, 2022

zaxtax commented on Mar 21, 2022

PoorvaGarg commented on Mar 21, 2022

zaxtax commented on Mar 21, 2022

zaxtax commented on Mar 23, 2022

PoorvaGarg commented on Mar 24, 2022

zaxtax commented on Mar 30, 2022

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions