Skip to content

test: Add regression tests for #2403 #2576

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Jan 11, 2022

Conversation

guibou
Copy link
Collaborator

@guibou guibou commented Jan 10, 2022

Continuing the work on #2569, this is regression test for type family completion.

I've implemented the tests in ghcide and haskell-language-server, not sure if that's the way or if I should drop one.

@jneira
Copy link
Member

jneira commented Jan 10, 2022

many thanks for the test, I think it is enough to have it in ghcide

@guibou guibou force-pushed the regression_tests_for_2403 branch from ea73091 to 0c78028 Compare January 11, 2022 11:02
@guibou
Copy link
Collaborator Author

guibou commented Jan 11, 2022

I amended the commit to keep only the test in ghcide

@jneira
Copy link
Member

jneira commented Jan 11, 2022

lgtm, many thanks
just in case did you get to verify the test against a hls version without the pr fixing it?

@jneira jneira added the merge me Label to trigger pull request merge label Jan 11, 2022
@guibou
Copy link
Collaborator Author

guibou commented Jan 11, 2022

lgtm, many thanks just in case did you get to verify the test against a hls version without the pr fixing it?

Yes, I tested them and they were failing with a timeout.

At least, that's what I though, but I'm trying to reproduce it right now and I do observe the failure in the log, but tests are stuck. Perhaps the timeout is too long for my patience.

@mergify mergify bot merged commit f7b4b55 into haskell:master Jan 11, 2022
@guibou guibou deleted the regression_tests_for_2403 branch January 11, 2022 18:26
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants