Add GHC.Maybe edits in tests

Unclear why this is necessary. Further investigation needed.
plclub · Jun 25, 2024 · b48f979 · b48f979
1 parent c0e79f0
commit b48f979
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/examples/tests/Guard2/edits b/examples/tests/Guard2/edits
@@ -1,2 +1,6 @@
 skip module GHC.Err
 skip Guard2.Default__T
+
+rename type  GHC.Maybe.Maybe   = option
+rename value GHC.Maybe.Just    = Some
+rename value GHC.Maybe.Nothing = None
diff --git a/examples/tests/SkipConstructor/edits b/examples/tests/SkipConstructor/edits
@@ -8,3 +8,7 @@ skip equation SkipConstructor.extraUnderscore _
 # We don't link against GHC
 skip module GHC.Skip # It's been copied into the preamble
 skip SkipConstructor.Default__T
+
+rename type  GHC.Maybe.Maybe   = option
+rename value GHC.Maybe.Just    = Some
+rename value GHC.Maybe.Nothing = None