search

isovector / haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Apache License 2.0
0 stars 2 forks source link

@auto metaprograms break the golden tests #33

Open isovector opened 3 years ago

isovector commented 3 years ago

Because @auto metaprograms take precedence over the usual auto tactic, it can cause our golden tests to fail.