Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Stan: Avoid terminal colors in messages #3090

Merged
merged 3 commits into from
Aug 11, 2022

Conversation

andys8
Copy link
Collaborator

@andys8 andys8 commented Aug 11, 2022

Solves #3089

@michaelpj
Copy link
Collaborator

Build fails with 8.10.7, I think because that forces an older version of stan that doesn't expose unCategory?

@andys8
Copy link
Collaborator Author

andys8 commented Aug 11, 2022

I'll have a look 🤔 Btw. why is hls-stan-plugin listed in stack-lts16.yaml but missing in stack-lts19.yaml and stack.yaml?

@andys8 andys8 force-pushed the stan-integration-without-colors branch from 0d2c522 to f274919 Compare August 11, 2022 13:36
@uhbif19
Copy link
Collaborator

uhbif19 commented Aug 11, 2022

@andys8 Stan does not work with GHC >8.10 (kowainik/stan#423).

I does not understand how it seems to work with 9.2 in your case.

@andys8
Copy link
Collaborator Author

andys8 commented Aug 11, 2022

@michaelpj
Copy link
Collaborator

Yeah, I think that means it was just unconditionally broken. There is a small mystery in that your original report said you were using GHC 9.2 which shouldn't have been possible!

@andys8 andys8 force-pushed the stan-integration-without-colors branch from c334ce7 to 0cd3f50 Compare August 11, 2022 14:18
@andys8
Copy link
Collaborator Author

andys8 commented Aug 11, 2022

There is a small mystery in that your original report said you were using GHC 9.2 which shouldn't have been possible!

Ah, I can help solve the mystery. The system ghc version is indeed 9.2 and hls was built with this version.

The project where the screenshot of the issue was taken from is a stack project using 8.10.7 (resolver: lts-18.23) though.

Still the output of --probe-tools in that project's directory looks like this. It also says "found on $PATH". When I created the issue, I wasn't aware the plugin is depending on the ghc version.

haskell-language-server-wrapper --probe-tools
haskell-language-server version: 1.7.0.0 (GHC: 9.2.4) (PATH: /home/andreas/.ghcup/bin/haskell-language-server-wrapper-1.7.0.1)
Tool versions found on the $PATH
cabal:          3.8.1.0
stack:          2.7.5
ghc:            9.2.4

@andys8 andys8 force-pushed the stan-integration-without-colors branch from 0cd3f50 to 485caa6 Compare August 11, 2022 14:32
@michaelpj
Copy link
Collaborator

Hmm, interesting. So for stack users this is potentially misleading, we really want to report the GHC that stack would use for the project or something.

@andys8 andys8 force-pushed the stan-integration-without-colors branch from 485caa6 to 3295131 Compare August 11, 2022 15:57
@andys8
Copy link
Collaborator Author

andys8 commented Aug 11, 2022

Is the failing benchmark check related to this pull request?

image

And as a followup to the "ghc mystery" we could add the output of stack ghc -- --numeric-version to the output of --probe-tools, see #3093

@pepeiborra pepeiborra enabled auto-merge (squash) August 11, 2022 21:32
@pepeiborra
Copy link
Collaborator

The bench failure is unrelated - our CI fails to upload the cache artifacts! I don't know why this happens, retried and hopefully it will go through but long term it would be great if someone could figure it out

@pepeiborra pepeiborra merged commit 3b2f9f6 into haskell:master Aug 11, 2022
sloorush pushed a commit to sloorush/haskell-language-server that referenced this pull request Sep 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants