Reduction stack overflow error loading ghcide code base

[berberman]

Your environment

Output of haskell-language-server --probe-tools or haskell-language-server-wrapper --probe-tools:

haskell-language-server version: 1.1.0.0 (GHC: 8.10.4) (PATH: /home/berberman/.cabal/store/ghc-8.10.4/haskell-language-server-1.1.0.0-e-haskell-language-server-eb05d8a7d7a91e13040e70afeca109451ba08bb704fbbea7e3581a1a6a883d57/bin/haskell-language-server)
Tool versions found on the $PATH
cabal:          3.4.0.0
stack:          Not found
ghc:            8.10.4

Which OS do you use:
NixOS
Which lsp-client do you use:
VSCode
Describe your project (alternative: link to the project):
ghcide

Steps to reproduce

Open Development.IDE.GHC.ExactPrint module

Expected behaviour

The module can be loaded

Actual behaviour

Typecheck failed at line 298:

• Reduction stack overflow; size = 201
  When simplifying the following type: Outputable SrcSpan
  Use -freduction-depth=0 to disable this check
  (any upper bound you could choose might fail unpredictably with
   minor updates to GHC, so disabling the check is recommended if
   you're sure that type checking should terminate)
• In the expression: annotate dflags needs_space
  In the second argument of ‘($)’, namely
    ‘annotate dflags needs_space $ mk_parens val'’
  In a stmt of a 'do' block:
    (anns, val'') <- hoistTransform (either fail pure)
                       $ annotate dflags needs_space $ mk_parens val'

This function was added in #1721

[jneira]

This error has been reported in discord with hls-1.4.0 which should have the fix afaics

It is triggered by adding a redundant class constraint and it go away removing it

It is triggered by the src/Pidgin/LearnDesugar.hs file.
at line 507
The function that seems to cause it is "fixedTrans"
It is defined in
src/DesugarSynth/Base.hs
in line 151
This function has a sole class constraint "(SortMapC srcTypes trgTypes)"
And this constaint seems to trigger the strange error.
But only in HLS, not in a stack build.

Link to the project here: https://zenodo.org/record/5475211/files/one-down-synthesis-lib.tar.gz?download=1
ghc version: 8.8.4
tool: stack

The error is not triggered with newer ghc versions (8.10.7)

[michaelpj]

Closing as old and quiet