diff options
| author | jpmoresmau <jp@moresmau.fr> | 2015-01-21 21:31:24 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-01-22 19:17:32 +0000 |
| commit | 8d3df49ae1aa2eb58af530bba0c71817411fd49d (patch) | |
| tree | fa2d0b966317a50deacfaeb616427ece4dec9984 /html-test | |
| parent | 08c65a9cdd3eb01b1b9e3e5d572cd1fdc1bd4188 (diff) | |
support GHC 7.10: no Safe-Inferred, Foldable instance
Diffstat (limited to 'html-test')
70 files changed, 77 insertions, 74 deletions
diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 62f99ee0..96e2d001 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_A.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/AdvanceTypes.html b/html-test/ref/AdvanceTypes.html index b918a220..3ea33ef9 100644 --- a/html-test/ref/AdvanceTypes.html +++ b/html-test/ref/AdvanceTypes.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_AdvanceTypes.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/B.html b/html-test/ref/B.html index 87a3a963..05f3292c 100644 --- a/html-test/ref/B.html +++ b/html-test/ref/B.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_B.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html index 7151862d..707b5c52 100644 --- a/html-test/ref/Bold.html +++ b/html-test/ref/Bold.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bold.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html index 0bc166e3..298545cd 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug1.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html index c647c02d..4f8c05ac 100644 --- a/html-test/ref/Bug195.html +++ b/html-test/ref/Bug195.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug195.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" @@ -172,7 +172,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug195.html");}; ><p >Produced by <a href="" >Haddock</a - > version 2.15.0</p + > version 2.16.0</p ></div ></body ></html diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html index 356f99d3..1f5a3a9c 100644 --- a/html-test/ref/Bug2.html +++ b/html-test/ref/Bug2.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug2.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html index 893ccbef..d40507da 100644 --- a/html-test/ref/Bug201.html +++ b/html-test/ref/Bug201.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug201.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index 117286ce..981370fa 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug26.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index ceae2932..103fbed9 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug294.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index 040eccc4..251fa7d6 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug298.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html index 7300abfe..1ff3db74 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug3.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html index 517a1cd9..c918a1dd 100644 --- a/html-test/ref/Bug308.html +++ b/html-test/ref/Bug308.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug308.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html index 6a053d3c..093a60c8 100644 --- a/html-test/ref/Bug308CrossModule.html +++ b/html-test/ref/Bug308CrossModule.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug308CrossModule.html ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html index 5fa34eff..b0d44a3d 100644 --- a/html-test/ref/Bug313.html +++ b/html-test/ref/Bug313.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug313.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index 76c39951..a80566e1 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug335.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index 5be058a5..571b8819 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug4.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html index b95b8be8..d726bcc1 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug6.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index 9afaa9a0..c6fe445b 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug7.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 288ee9f5..0af02f76 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" @@ -98,7 +98,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");}; ><p class="src" ><a name="v:-45--45--45--62-" class="def" >(--->)</a - > :: [a] -> <a href="" + > :: <a href="" + >Foldable</a + > t0 => t0 t -> <a href="" >Typ</a > -> <a href="" >Typ</a @@ -132,7 +134,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");}; ><p >Produced by <a href="" >Haddock</a - > version 2.15.0</p + > version 2.16.0</p ></div ></body ></html diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html index bb1f03a3..83bd93d9 100644 --- a/html-test/ref/Bug85.html +++ b/html-test/ref/Bug85.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug85.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" @@ -128,7 +128,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug85.html");}; ><p >Produced by <a href="" >Haddock</a - > version 2.15.0</p + > version 2.16.0</p ></div ></body ></html diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index 69521b95..7ae2fe89 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugDeprecated.html");} ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index 89811402..a552a80f 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index 326d8bcd..bb3ce17c 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bugs.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/CrossPackageDocs.html b/html-test/ref/CrossPackageDocs.html index 0a9a7ad6..39d216e0 100644 --- a/html-test/ref/CrossPackageDocs.html +++ b/html-test/ref/CrossPackageDocs.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html" ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html index c8799bf2..c7bf4370 100644 --- a/html-test/ref/DeprecatedClass.html +++ b/html-test/ref/DeprecatedClass.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedClass.html") ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html index bccaeb26..291f1ec2 100644 --- a/html-test/ref/DeprecatedData.html +++ b/html-test/ref/DeprecatedData.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedData.html"); ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html index 53937867..e3992660 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction.htm ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index 2ca11a32..52d44e01 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction2.ht ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html index 7cbf5a42..1d49c45e 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction3.ht ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index 3864ce21..d31fcd5c 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule.html" ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html index 104f4d97..b10984f7 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule2.html ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index 143e60b7..41ddde90 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index 5aa29f28..9fc2ca2b 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedReExport.htm ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index 841dbf01..9917b934 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedRecord.html" ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html index c029ef21..c4ed22c5 100644 --- a/html-test/ref/DeprecatedTypeFamily.html +++ b/html-test/ref/DeprecatedTypeFamily.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeFamily.h ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" @@ -98,7 +98,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeFamily.h ><p >Produced by <a href="" >Haddock</a - > version 2.15.0</p + > version 2.16.0</p ></div ></body ></html diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html index 346557c0..19400697 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeSynonym. ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html index 1d06e32b..0c2ee985 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Examples.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html index b2acb26e..60db67af 100644 --- a/html-test/ref/Extensions.html +++ b/html-test/ref/Extensions.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Extensions.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ><tr ><th diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index 5c1fe892..8c4b4552 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index 80e21e69..a5f86a50 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index eff422f7..dd354f5d 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index 5a02bb84..9aaea67c 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_HiddenInstances.html") ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html index 8ecbfaae..9d377488 100644 --- a/html-test/ref/HiddenInstancesB.html +++ b/html-test/ref/HiddenInstancesB.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_HiddenInstancesB.html" ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index 3454c488..485ad835 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hyperlinks.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html index f64c4ece..c2572172 100644 --- a/html-test/ref/IgnoreExports.html +++ b/html-test/ref/IgnoreExports.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_IgnoreExports.html");} ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index 3874af26..bce05bf4 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_ImplicitParams.html"); ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index 32405540..dae90f2b 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Minimal.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html index ca3942b6..7f01e2c6 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_ModuleWithWarning.html ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html index f28f5982..2f678fb0 100644 --- a/html-test/ref/NamedDoc.html +++ b/html-test/ref/NamedDoc.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NamedDoc.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html index 2b0befba..37ee7af3 100644 --- a/html-test/ref/Nesting.html +++ b/html-test/ref/Nesting.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Nesting.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html index a6bad724..8cfc8e81 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NoLayout.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html index 91deb281..e62459bc 100644 --- a/html-test/ref/NonGreedy.html +++ b/html-test/ref/NonGreedy.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NonGreedy.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index e9be655f..c401894c 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 00861b39..1027b714 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index d491b98e..0e1d52ac 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Properties.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html index aa055203..0662f31a 100644 --- a/html-test/ref/PruneWithWarning.html +++ b/html-test/ref/PruneWithWarning.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PruneWithWarning.html" ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index 2394de94..540dfab0 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_SpuriousSuperclassCons ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 89491f01..6f2e9478 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -65,7 +65,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Ticket253_1.html b/html-test/ref/Ticket253_1.html index 2853001c..ade128e9 100644 --- a/html-test/ref/Ticket253_1.html +++ b/html-test/ref/Ticket253_1.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket253_1.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Ticket253_2.html b/html-test/ref/Ticket253_2.html index 2e20f6ba..0b03a874 100644 --- a/html-test/ref/Ticket253_2.html +++ b/html-test/ref/Ticket253_2.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket253_2.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html index 5a181e0c..addbbc98 100644 --- a/html-test/ref/Ticket61.html +++ b/html-test/ref/Ticket61.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket61.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index 26686701..7cb83583 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket75.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html index f1353dfa..be791898 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TitledPicture.html");} ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 355d9248..f6fa43c7 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index 38c45a95..3fc76959 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies2.html");} ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index 2e80bf9f..3aa5a037 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");} ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index 56f98571..968d8506 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Unicode.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html index 5abeda94..3e76564b 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Visible.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" diff --git a/html-test/src/Bug8.hs b/html-test/src/Bug8.hs index e569b01d..30afae1f 100644 --- a/html-test/src/Bug8.hs +++ b/html-test/src/Bug8.hs @@ -7,6 +7,7 @@ data Typ = Type (Typ,[Typ]) | TFree (Typ, [Typ]) x --> y = Type(s,[s,t]) +(--->) :: (Foldable t0) => t0 t -> Typ -> Typ (--->) = flip $ foldr (-->) s = undefined |