From 2627a86cb2dd3256c93adf0df8a7d3366a303b02 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Thu, 28 Apr 2022 16:19:04 -0400 Subject: Revert "Bump ghc-head (#1445)" This reverts commit b29a78ef6926101338f62e84f456dac8659dc9d2. This should not have been merged. --- html-test/ref/Identifiers.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'html-test') diff --git a/html-test/ref/Identifiers.html b/html-test/ref/Identifiers.html index 76487140..b177266d 100644 --- a/html-test/ref/Identifiers.html +++ b/html-test/ref/Identifiers.html @@ -147,7 +147,7 @@ >, elemFoldable
  • ++, elemFoldable, elemUnqualified: 1 `elem``Foldable` [-3..3]
  • Qualified: 1 `elem` [-3..3]
  • Namespaced: `elem``Foldable`, `elem`