aboutsummaryrefslogtreecommitdiff
path: root/html-test
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-06-07 23:11:14 +0000
committerBen Gamari <ben@smart-cactus.org>2019-06-07 23:11:14 +0000
commit5e333bad752b9c048ad5400b7159e32f4d3d65bd (patch)
tree1c0a2e97fa4a9c4855708c255888d0ea80227be4 /html-test
parent83bb9870a117f9426e6f6cff6fec3bb6e93a7c18 (diff)
Update test output for introduction of Safe-Inferred
Diffstat (limited to 'html-test')
-rw-r--r--html-test/ref/A.html2
-rw-r--r--html-test/ref/Bold.html2
-rw-r--r--html-test/ref/Bug1.html2
-rw-r--r--html-test/ref/Bug195.html2
-rw-r--r--html-test/ref/Bug2.html2
-rw-r--r--html-test/ref/Bug201.html2
-rw-r--r--html-test/ref/Bug253.html2
-rw-r--r--html-test/ref/Bug26.html2
-rw-r--r--html-test/ref/Bug280.html2
-rw-r--r--html-test/ref/Bug294.html2
-rw-r--r--html-test/ref/Bug298.html2
-rw-r--r--html-test/ref/Bug3.html2
-rw-r--r--html-test/ref/Bug308.html2
-rw-r--r--html-test/ref/Bug308CrossModule.html2
-rw-r--r--html-test/ref/Bug310.html2
-rw-r--r--html-test/ref/Bug313.html2
-rw-r--r--html-test/ref/Bug335.html2
-rw-r--r--html-test/ref/Bug387.html2
-rw-r--r--html-test/ref/Bug4.html2
-rw-r--r--html-test/ref/Bug458.html2
-rw-r--r--html-test/ref/Bug546.html2
-rw-r--r--html-test/ref/Bug548.html2
-rw-r--r--html-test/ref/Bug6.html2
-rw-r--r--html-test/ref/Bug613.html2
-rw-r--r--html-test/ref/Bug647.html2
-rw-r--r--html-test/ref/Bug7.html2
-rw-r--r--html-test/ref/Bug8.html2
-rw-r--r--html-test/ref/Bug85.html2
-rw-r--r--html-test/ref/Bug865.html2
-rw-r--r--html-test/ref/Bug923.html2
-rw-r--r--html-test/ref/Bug953.html2
-rw-r--r--html-test/ref/BugDeprecated.html2
-rw-r--r--html-test/ref/BugExportHeadings.html2
-rw-r--r--html-test/ref/Bugs.html2
-rw-r--r--html-test/ref/ConstructorArgs.html2
-rw-r--r--html-test/ref/ConstructorPatternExport.html2
-rw-r--r--html-test/ref/DeprecatedClass.html2
-rw-r--r--html-test/ref/DeprecatedData.html2
-rw-r--r--html-test/ref/DeprecatedFunction.html2
-rw-r--r--html-test/ref/DeprecatedFunction2.html2
-rw-r--r--html-test/ref/DeprecatedFunction3.html2
-rw-r--r--html-test/ref/DeprecatedModule.html2
-rw-r--r--html-test/ref/DeprecatedModule2.html2
-rw-r--r--html-test/ref/DeprecatedNewtype.html2
-rw-r--r--html-test/ref/DeprecatedReExport.html2
-rw-r--r--html-test/ref/DeprecatedRecord.html2
-rw-r--r--html-test/ref/DeprecatedTypeFamily.html2
-rw-r--r--html-test/ref/DeprecatedTypeSynonym.html2
-rw-r--r--html-test/ref/DuplicateRecordFields.html2
-rw-r--r--html-test/ref/Examples.html2
-rw-r--r--html-test/ref/Extensions.html2
-rw-r--r--html-test/ref/FunArgs.html2
-rw-r--r--html-test/ref/GADTRecords.html2
-rw-r--r--html-test/ref/GadtConstructorArgs.html2
-rw-r--r--html-test/ref/Hash.html2
-rw-r--r--html-test/ref/HiddenInstances.html2
-rw-r--r--html-test/ref/HiddenInstancesB.html2
-rw-r--r--html-test/ref/Hyperlinks.html2
-rw-r--r--html-test/ref/ImplicitParams.html2
-rw-r--r--html-test/ref/Instances.html2
-rw-r--r--html-test/ref/Math.html2
-rw-r--r--html-test/ref/Minimal.html2
-rw-r--r--html-test/ref/ModuleWithWarning.html2
-rw-r--r--html-test/ref/NamedDoc.html2
-rw-r--r--html-test/ref/Nesting.html2
-rw-r--r--html-test/ref/NoLayout.html2
-rw-r--r--html-test/ref/NonGreedy.html2
-rw-r--r--html-test/ref/Operators.html2
-rw-r--r--html-test/ref/OrphanInstances.html2
-rw-r--r--html-test/ref/OrphanInstancesClass.html2
-rw-r--r--html-test/ref/OrphanInstancesType.html2
-rw-r--r--html-test/ref/PR643.html2
-rw-r--r--html-test/ref/PR643_1.html2
-rw-r--r--html-test/ref/PatternSyns.html2
-rw-r--r--html-test/ref/PromotedTypes.html2
-rw-r--r--html-test/ref/Properties.html2
-rw-r--r--html-test/ref/PruneWithWarning.html2
-rw-r--r--html-test/ref/QuantifiedConstraints.html2
-rw-r--r--html-test/ref/SpuriousSuperclassConstraints.html2
-rw-r--r--html-test/ref/Table.html2
-rw-r--r--html-test/ref/Test.html2
-rw-r--r--html-test/ref/Threaded_TH.html2
-rw-r--r--html-test/ref/Ticket61.html2
-rw-r--r--html-test/ref/Ticket75.html2
-rw-r--r--html-test/ref/TitledPicture.html2
-rw-r--r--html-test/ref/TypeFamilies.html2
-rw-r--r--html-test/ref/TypeFamilies2.html2
-rw-r--r--html-test/ref/TypeFamilies3.html2
-rw-r--r--html-test/ref/TypeOperators.html2
-rw-r--r--html-test/ref/UnboxedStuff.html2
-rw-r--r--html-test/ref/Unicode.html2
-rw-r--r--html-test/ref/Unicode2.html2
-rw-r--r--html-test/ref/Visible.html2
93 files changed, 93 insertions, 93 deletions
diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index 482180fc..f6b51e69 100644
--- a/html-test/ref/A.html
+++ b/html-test/ref/A.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html
index 21eb99c7..42b51428 100644
--- a/html-test/ref/Bold.html
+++ b/html-test/ref/Bold.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html
index 99a5ff9d..ed991e24 100644
--- a/html-test/ref/Bug1.html
+++ b/html-test/ref/Bug1.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html
index 3a292244..e1cf073b 100644
--- a/html-test/ref/Bug195.html
+++ b/html-test/ref/Bug195.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html
index 6a3b91d4..5a71f78a 100644
--- a/html-test/ref/Bug2.html
+++ b/html-test/ref/Bug2.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html
index 718d95fd..6d12ed70 100644
--- a/html-test/ref/Bug201.html
+++ b/html-test/ref/Bug201.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html
index ef225aec..c7945ec6 100644
--- a/html-test/ref/Bug253.html
+++ b/html-test/ref/Bug253.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html
index 9547b82a..50f21700 100644
--- a/html-test/ref/Bug26.html
+++ b/html-test/ref/Bug26.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html
index a29b28b3..b6994e7c 100644
--- a/html-test/ref/Bug280.html
+++ b/html-test/ref/Bug280.html
@@ -44,7 +44,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html
index 1a75c1aa..7c70e9dc 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html
index 30d87d42..309a47e9 100644
--- a/html-test/ref/Bug298.html
+++ b/html-test/ref/Bug298.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html
index ea2d32d2..4ac29e8f 100644
--- a/html-test/ref/Bug3.html
+++ b/html-test/ref/Bug3.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html
index fa2f8afc..35424874 100644
--- a/html-test/ref/Bug308.html
+++ b/html-test/ref/Bug308.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html
index 68b2ae76..7393cd3a 100644
--- a/html-test/ref/Bug308CrossModule.html
+++ b/html-test/ref/Bug308CrossModule.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index 98dbe03f..c05b475a 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html
index f144e5c7..2a4a9202 100644
--- a/html-test/ref/Bug313.html
+++ b/html-test/ref/Bug313.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html
index a6d2f388..dc72c08f 100644
--- a/html-test/ref/Bug335.html
+++ b/html-test/ref/Bug335.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html
index 7e532aa0..446325c7 100644
--- a/html-test/ref/Bug387.html
+++ b/html-test/ref/Bug387.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html
index 1b3e6182..342ee675 100644
--- a/html-test/ref/Bug4.html
+++ b/html-test/ref/Bug4.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug458.html b/html-test/ref/Bug458.html
index 96844558..8809c229 100644
--- a/html-test/ref/Bug458.html
+++ b/html-test/ref/Bug458.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug546.html b/html-test/ref/Bug546.html
index 29ba04fd..9c1dadae 100644
--- a/html-test/ref/Bug546.html
+++ b/html-test/ref/Bug546.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html
index b46b278b..537dc0ff 100644
--- a/html-test/ref/Bug548.html
+++ b/html-test/ref/Bug548.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html
index 7acad1ea..0e994a74 100644
--- a/html-test/ref/Bug6.html
+++ b/html-test/ref/Bug6.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html
index 4bcfcb13..271ea598 100644
--- a/html-test/ref/Bug613.html
+++ b/html-test/ref/Bug613.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html
index 549cb6bd..25a3f004 100644
--- a/html-test/ref/Bug647.html
+++ b/html-test/ref/Bug647.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index 82d193f4..1faee70f 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html
index cc89a9ef..eb737305 100644
--- a/html-test/ref/Bug8.html
+++ b/html-test/ref/Bug8.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html
index 641d00bb..05a17841 100644
--- a/html-test/ref/Bug85.html
+++ b/html-test/ref/Bug85.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug865.html b/html-test/ref/Bug865.html
index b38acd12..6bb54786 100644
--- a/html-test/ref/Bug865.html
+++ b/html-test/ref/Bug865.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug923.html b/html-test/ref/Bug923.html
index 47fced8e..92b0f4d9 100644
--- a/html-test/ref/Bug923.html
+++ b/html-test/ref/Bug923.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug953.html b/html-test/ref/Bug953.html
index dde11618..5a54761a 100644
--- a/html-test/ref/Bug953.html
+++ b/html-test/ref/Bug953.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html
index 0d6fc277..b0ced018 100644
--- a/html-test/ref/BugDeprecated.html
+++ b/html-test/ref/BugDeprecated.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index d12ccafe..02f36f7c 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html
index e5194bf7..c95dd703 100644
--- a/html-test/ref/Bugs.html
+++ b/html-test/ref/Bugs.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/ConstructorArgs.html b/html-test/ref/ConstructorArgs.html
index 96f7d44c..f13fabe8 100644
--- a/html-test/ref/ConstructorArgs.html
+++ b/html-test/ref/ConstructorArgs.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html
index c00401c9..953fd89b 100644
--- a/html-test/ref/ConstructorPatternExport.html
+++ b/html-test/ref/ConstructorPatternExport.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html
index 1b77f6e0..cb492a91 100644
--- a/html-test/ref/DeprecatedClass.html
+++ b/html-test/ref/DeprecatedClass.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html
index 17dd2fb6..1dc6dd49 100644
--- a/html-test/ref/DeprecatedData.html
+++ b/html-test/ref/DeprecatedData.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html
index ede78b2d..1576c185 100644
--- a/html-test/ref/DeprecatedFunction.html
+++ b/html-test/ref/DeprecatedFunction.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html
index 31763f48..fce0e6b4 100644
--- a/html-test/ref/DeprecatedFunction2.html
+++ b/html-test/ref/DeprecatedFunction2.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html
index 84089112..43b5047e 100644
--- a/html-test/ref/DeprecatedFunction3.html
+++ b/html-test/ref/DeprecatedFunction3.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html
index ebb95524..333a9b66 100644
--- a/html-test/ref/DeprecatedModule.html
+++ b/html-test/ref/DeprecatedModule.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html
index ff1af715..d2bbdc87 100644
--- a/html-test/ref/DeprecatedModule2.html
+++ b/html-test/ref/DeprecatedModule2.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html
index e4187d0e..d66c1b66 100644
--- a/html-test/ref/DeprecatedNewtype.html
+++ b/html-test/ref/DeprecatedNewtype.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index d739a5a1..edbeace5 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html
index 295fd95e..ff1d0166 100644
--- a/html-test/ref/DeprecatedRecord.html
+++ b/html-test/ref/DeprecatedRecord.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html
index f2292c79..e037af88 100644
--- a/html-test/ref/DeprecatedTypeFamily.html
+++ b/html-test/ref/DeprecatedTypeFamily.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html
index f428c8b7..a9573b40 100644
--- a/html-test/ref/DeprecatedTypeSynonym.html
+++ b/html-test/ref/DeprecatedTypeSynonym.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html
index 7c892419..4981de8a 100644
--- a/html-test/ref/DuplicateRecordFields.html
+++ b/html-test/ref/DuplicateRecordFields.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html
index cd04c69f..43f3a321 100644
--- a/html-test/ref/Examples.html
+++ b/html-test/ref/Examples.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html
index f0dc1c0b..9fdf739f 100644
--- a/html-test/ref/Extensions.html
+++ b/html-test/ref/Extensions.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
><tr
><th
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index 7a15eec6..8f8a12e2 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index 77202f99..133f4b7e 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/GadtConstructorArgs.html b/html-test/ref/GadtConstructorArgs.html
index 77e2f45b..ee4d1708 100644
--- a/html-test/ref/GadtConstructorArgs.html
+++ b/html-test/ref/GadtConstructorArgs.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index 5df78cea..d8ca2d00 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index 8cecc0b7..e39ee307 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index 4b50d65a..db4ffaf8 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html
index 4fa8576a..38915a44 100644
--- a/html-test/ref/Hyperlinks.html
+++ b/html-test/ref/Hyperlinks.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html
index 9163258c..7f3ea4b5 100644
--- a/html-test/ref/ImplicitParams.html
+++ b/html-test/ref/ImplicitParams.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index 949f85b0..83092456 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html
index c39c1257..c2ce7b98 100644
--- a/html-test/ref/Math.html
+++ b/html-test/ref/Math.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html
index a9041ba1..1ebfe955 100644
--- a/html-test/ref/Minimal.html
+++ b/html-test/ref/Minimal.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html
index ce5eccfb..d05fb042 100644
--- a/html-test/ref/ModuleWithWarning.html
+++ b/html-test/ref/ModuleWithWarning.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html
index 1fa80b26..08dcfdc7 100644
--- a/html-test/ref/NamedDoc.html
+++ b/html-test/ref/NamedDoc.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html
index 7e001235..14556c42 100644
--- a/html-test/ref/Nesting.html
+++ b/html-test/ref/Nesting.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html
index acce4d97..a546787f 100644
--- a/html-test/ref/NoLayout.html
+++ b/html-test/ref/NoLayout.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html
index 9f7bf66b..cfa8ea5b 100644
--- a/html-test/ref/NonGreedy.html
+++ b/html-test/ref/NonGreedy.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index ae0ae299..7272eb83 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html
index 3e77e867..de52a503 100644
--- a/html-test/ref/OrphanInstances.html
+++ b/html-test/ref/OrphanInstances.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html
index 0f066893..6531abe5 100644
--- a/html-test/ref/OrphanInstancesClass.html
+++ b/html-test/ref/OrphanInstancesClass.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html
index 873cb191..f54f5b9e 100644
--- a/html-test/ref/OrphanInstancesType.html
+++ b/html-test/ref/OrphanInstancesType.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html
index 2881e697..c331608d 100644
--- a/html-test/ref/PR643.html
+++ b/html-test/ref/PR643.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/PR643_1.html b/html-test/ref/PR643_1.html
index e23326e2..ac18fed1 100644
--- a/html-test/ref/PR643_1.html
+++ b/html-test/ref/PR643_1.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index 6fec017e..23c734f4 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html
index 23e30e21..643cea35 100644
--- a/html-test/ref/PromotedTypes.html
+++ b/html-test/ref/PromotedTypes.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html
index 16874306..8dbf7bec 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html
index d0dd9afe..18760d56 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/QuantifiedConstraints.html b/html-test/ref/QuantifiedConstraints.html
index 59000945..be778aee 100644
--- a/html-test/ref/QuantifiedConstraints.html
+++ b/html-test/ref/QuantifiedConstraints.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index 8069db6c..189f3cc1 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Table.html b/html-test/ref/Table.html
index 48bbeb74..0905b0ee 100644
--- a/html-test/ref/Table.html
+++ b/html-test/ref/Table.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 26e8c7e8..0503e544 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -66,7 +66,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html
index 0c09cf57..7d43c741 100644
--- a/html-test/ref/Threaded_TH.html
+++ b/html-test/ref/Threaded_TH.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html
index 47e0a66d..8f2774f2 100644
--- a/html-test/ref/Ticket61.html
+++ b/html-test/ref/Ticket61.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html
index 426cae3d..8fb039e1 100644
--- a/html-test/ref/Ticket75.html
+++ b/html-test/ref/Ticket75.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html
index 6817eb7f..0dde024f 100644
--- a/html-test/ref/TitledPicture.html
+++ b/html-test/ref/TitledPicture.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 53a65db8..15eed97d 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html
index 450a69e3..7590033b 100644
--- a/html-test/ref/TypeFamilies2.html
+++ b/html-test/ref/TypeFamilies2.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/TypeFamilies3.html b/html-test/ref/TypeFamilies3.html
index f7d78999..e07e3981 100644
--- a/html-test/ref/TypeFamilies3.html
+++ b/html-test/ref/TypeFamilies3.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index 45e6dbe4..f12f250a 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/UnboxedStuff.html b/html-test/ref/UnboxedStuff.html
index f9c7531a..99000137 100644
--- a/html-test/ref/UnboxedStuff.html
+++ b/html-test/ref/UnboxedStuff.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html
index 3f623274..1956394a 100644
--- a/html-test/ref/Unicode.html
+++ b/html-test/ref/Unicode.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Unicode2.html b/html-test/ref/Unicode2.html
index 1eb7e0f0..808762d8 100644
--- a/html-test/ref/Unicode2.html
+++ b/html-test/ref/Unicode2.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html
index 77d59865..81f2a837 100644
--- a/html-test/ref/Visible.html
+++ b/html-test/ref/Visible.html
@@ -36,7 +36,7 @@
><th
>Safe Haskell</th
><td
- >Safe</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"