From 4e8321de13225f1f5bdec8f39993e9b1aa0831a8 Mon Sep 17 00:00:00 2001 From: Alec Theriault Date: Sun, 10 Feb 2019 03:32:52 -0800 Subject: Removes `haddock-test`s dependency on `xml`/`xhtml` (#1027) This means that `html-test`, `latex-test`, `hoogle-test`, and `hypsrc-test` now only depend on GHC boot libs. So we should now be able to build and run these as part of GHC's testsuite. \o/ The reference output has changed very slightly, in three ways: * we don't convert quotes back into `"` as the `xml` lib did * we don't add extra ` ` as the `xml` lib did * we now remove the entire footer `div` (instead of just emptying it) --- html-test/ref/A.html | 8 ++- html-test/ref/Bold.html | 6 +-- html-test/ref/Bug1.html | 8 ++- html-test/ref/Bug195.html | 12 ++--- html-test/ref/Bug2.html | 6 +-- html-test/ref/Bug201.html | 6 +-- html-test/ref/Bug253.html | 6 +-- html-test/ref/Bug26.html | 8 ++- html-test/ref/Bug280.html | 6 +-- html-test/ref/Bug294.html | 18 +++---- html-test/ref/Bug298.html | 6 +-- html-test/ref/Bug3.html | 6 +-- html-test/ref/Bug308.html | 6 +-- html-test/ref/Bug308CrossModule.html | 6 +-- html-test/ref/Bug310.html | 8 ++- html-test/ref/Bug313.html | 6 +-- html-test/ref/Bug335.html | 6 +-- html-test/ref/Bug387.html | 8 ++- html-test/ref/Bug4.html | 6 +-- html-test/ref/Bug458.html | 6 +-- html-test/ref/Bug546.html | 6 +-- html-test/ref/Bug548.html | 16 +++--- html-test/ref/Bug574.html | 8 ++- html-test/ref/Bug6.html | 20 ++++--- html-test/ref/Bug613.html | 16 +++--- html-test/ref/Bug647.html | 6 +-- html-test/ref/Bug679.html | 14 +++-- html-test/ref/Bug7.html | 10 ++-- html-test/ref/Bug8.html | 10 ++-- html-test/ref/Bug85.html | 12 ++--- html-test/ref/Bug865.html | 8 ++- html-test/ref/Bug923.html | 10 ++-- html-test/ref/Bug953.html | 10 ++-- html-test/ref/BugDeprecated.html | 6 +-- html-test/ref/BugExportHeadings.html | 8 ++- html-test/ref/Bugs.html | 8 ++- html-test/ref/BundledPatterns.html | 8 ++- html-test/ref/BundledPatterns2.html | 8 ++- html-test/ref/ConstructorArgs.html | 8 ++- html-test/ref/ConstructorPatternExport.html | 8 ++- html-test/ref/DeprecatedClass.html | 6 +-- html-test/ref/DeprecatedData.html | 6 +-- html-test/ref/DeprecatedFunction.html | 6 +-- html-test/ref/DeprecatedFunction2.html | 6 +-- html-test/ref/DeprecatedFunction3.html | 6 +-- html-test/ref/DeprecatedModule.html | 6 +-- html-test/ref/DeprecatedModule2.html | 6 +-- html-test/ref/DeprecatedNewtype.html | 6 +-- html-test/ref/DeprecatedReExport.html | 8 ++- html-test/ref/DeprecatedRecord.html | 8 ++- html-test/ref/DeprecatedTypeFamily.html | 6 +-- html-test/ref/DeprecatedTypeSynonym.html | 6 +-- html-test/ref/DuplicateRecordFields.html | 8 ++- html-test/ref/Examples.html | 6 +-- html-test/ref/Extensions.html | 6 +-- html-test/ref/FunArgs.html | 12 ++--- html-test/ref/GADTRecords.html | 22 ++++---- html-test/ref/GadtConstructorArgs.html | 20 ++++--- html-test/ref/Hash.html | 14 +++-- html-test/ref/HiddenInstances.html | 8 ++- html-test/ref/HiddenInstancesB.html | 8 ++- html-test/ref/Hyperlinks.html | 6 +-- html-test/ref/ImplicitParams.html | 8 ++- html-test/ref/Instances.html | 68 ++++++++++++------------ html-test/ref/Math.html | 6 +-- html-test/ref/Minimal.html | 6 +-- html-test/ref/ModuleWithWarning.html | 6 +-- html-test/ref/NamedDoc.html | 6 +-- html-test/ref/Nesting.html | 6 +-- html-test/ref/NoLayout.html | 6 +-- html-test/ref/NonGreedy.html | 6 +-- html-test/ref/Operators.html | 10 ++-- html-test/ref/OrphanInstances.html | 8 ++- html-test/ref/OrphanInstancesClass.html | 8 ++- html-test/ref/OrphanInstancesType.html | 10 ++-- html-test/ref/PR643.html | 6 +-- html-test/ref/PR643_1.html | 6 +-- html-test/ref/PatternSyns.html | 14 +++-- html-test/ref/PromotedTypes.html | 22 ++++---- html-test/ref/Properties.html | 6 +-- html-test/ref/PruneWithWarning.html | 6 +-- html-test/ref/QuantifiedConstraints.html | 8 ++- html-test/ref/QuasiExpr.html | 28 +++++----- html-test/ref/QuasiQuote.html | 6 +-- html-test/ref/SpuriousSuperclassConstraints.html | 12 ++--- html-test/ref/TH.html | 6 +-- html-test/ref/TH2.html | 6 +-- html-test/ref/Table.html | 8 ++- html-test/ref/Test.html | 48 ++++++++--------- html-test/ref/Threaded.html | 6 +-- html-test/ref/Threaded_TH.html | 6 +-- html-test/ref/Ticket112.html | 6 +-- html-test/ref/Ticket61.html | 6 +-- html-test/ref/Ticket75.html | 8 ++- html-test/ref/TitledPicture.html | 6 +-- html-test/ref/TypeFamilies.html | 42 +++++++-------- html-test/ref/TypeFamilies2.html | 10 ++-- html-test/ref/TypeFamilies3.html | 22 ++++---- html-test/ref/TypeOperators.html | 10 ++-- html-test/ref/UnboxedStuff.html | 8 ++- html-test/ref/Unicode.html | 6 +-- html-test/ref/Unicode2.html | 8 ++- html-test/ref/Visible.html | 6 +-- 103 files changed, 407 insertions(+), 613 deletions(-) (limited to 'html-test/ref') diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 567e23f2..482180fc 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html index 67db2642..21eb99c7 100644 --- a/html-test/ref/Bold.html +++ b/html-test/ref/Bold.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html index 56f70d1f..99a5ff9d 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html index fc86fa34..3a292244 100644 --- a/html-test/ref/Bug195.html +++ b/html-test/ref/Bug195.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html index 0ae3fa50..6a3b91d4 100644 --- a/html-test/ref/Bug2.html +++ b/html-test/ref/Bug2.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html index c7a72711..718d95fd 100644 --- a/html-test/ref/Bug201.html +++ b/html-test/ref/Bug201.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html index a1c0f905..ef225aec 100644 --- a/html-test/ref/Bug253.html +++ b/html-test/ref/Bug253.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index d2b31f12..9547b82a 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
\ No newline at end of file +> diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index 76ff4bf1..a29b28b3 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index 9e5794fc..1a75c1aa 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
\ No newline at end of file +> diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index 79271c3c..30d87d42 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html index 54f99469..ea2d32d2 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html index 366950a3..fa2f8afc 100644 --- a/html-test/ref/Bug308.html +++ b/html-test/ref/Bug308.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html index c7cabc23..68b2ae76 100644 --- a/html-test/ref/Bug308CrossModule.html +++ b/html-test/ref/Bug308CrossModule.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index 7e958f2d..98dbe03f 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
\ No newline at end of file +> diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html index 10ff8f30..f144e5c7 100644 --- a/html-test/ref/Bug313.html +++ b/html-test/ref/Bug313.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index ede41836..a6d2f388 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html index ec9bbe8f..7e532aa0 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
\ No newline at end of file +> diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index 45a52f8d..1b3e6182 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug458.html b/html-test/ref/Bug458.html index 4c655e8d..96844558 100644 --- a/html-test/ref/Bug458.html +++ b/html-test/ref/Bug458.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug546.html b/html-test/ref/Bug546.html index 7ae15ba8..29ba04fd 100644 --- a/html-test/ref/Bug546.html +++ b/html-test/ref/Bug546.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index e040e603..b46b278b 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
)  a b c)  \ No newline at end of file +> diff --git a/html-test/ref/Bug574.html b/html-test/ref/Bug574.html index 592dd735..f087302c 100644 --- a/html-test/ref/Bug574.html +++ b/html-test/ref/Bug574.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
\ No newline at end of file +> diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html index 97fb0c02..7acad1ea 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
 
Int C Int
 
  • Int
     
    • Int Int  diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html index 8fb07e6d..4bcfcb13 100644 --- a/html-test/ref/Bug613.html +++ b/html-test/ref/Bug613.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    #  \ No newline at end of file +> diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html index 56197b09..549cb6bd 100644 --- a/html-test/ref/Bug647.html +++ b/html-test/ref/Bug647.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html index fe838b6a..9b7dcb86 100644 --- a/html-test/ref/Bug679.html +++ b/html-test/ref/Bug679.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    # #  \ No newline at end of file +> diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index 52d2d195..82d193f4 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    \ No newline at end of file +> diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 170e0d9f..cc89a9ef 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html index 57eaeb36..641d00bb 100644 --- a/html-test/ref/Bug85.html +++ b/html-test/ref/Bug85.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    Baz Qux  diff --git a/html-test/ref/Bug865.html b/html-test/ref/Bug865.html index c86d8ca3..b38acd12 100644 --- a/html-test/ref/Bug865.html +++ b/html-test/ref/Bug865.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    \ No newline at end of file +> diff --git a/html-test/ref/Bug923.html b/html-test/ref/Bug923.html index 1ad81835..47fced8e 100644 --- a/html-test/ref/Bug923.html +++ b/html-test/ref/Bug923.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    \ No newline at end of file +> diff --git a/html-test/ref/Bug953.html b/html-test/ref/Bug953.html index 21976848..dde11618 100644 --- a/html-test/ref/Bug953.html +++ b/html-test/ref/Bug953.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    Bar'  diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index 0a3133e4..0d6fc277 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index 2e22cad1..d12ccafe 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    \ No newline at end of file +> diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index ab658165..e5194bf7 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index 2840b3c7..afa12e2b 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index a0bac80b..48493cf9 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/ConstructorArgs.html b/html-test/ref/ConstructorArgs.html index cb677240..96f7d44c 100644 --- a/html-test/ref/ConstructorArgs.html +++ b/html-test/ref/ConstructorArgs.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    \ No newline at end of file +> diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html index c50d059a..c00401c9 100644 --- a/html-test/ref/ConstructorPatternExport.html +++ b/html-test/ref/ConstructorPatternExport.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    \ No newline at end of file +> diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html index f9321c87..1b77f6e0 100644 --- a/html-test/ref/DeprecatedClass.html +++ b/html-test/ref/DeprecatedClass.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html index c8a9c3c9..17dd2fb6 100644 --- a/html-test/ref/DeprecatedData.html +++ b/html-test/ref/DeprecatedData.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html index 787bdc15..ede78b2d 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index d1682d4e..31763f48 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html index 4b946c65..84089112 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index f993d49a..ebb95524 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html index 886eb45a..ff1af715 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index 6a1e4339..e4187d0e 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index e1d226c0..d739a5a1 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    \ No newline at end of file +> diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index 54b087dc..295fd95e 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html index 90f9e64b..f2292c79 100644 --- a/html-test/ref/DeprecatedTypeFamily.html +++ b/html-test/ref/DeprecatedTypeFamily.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html index 6ee1a4e2..f428c8b7 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html index be7c23fa..7c892419 100644 --- a/html-test/ref/DuplicateRecordFields.html +++ b/html-test/ref/DuplicateRecordFields.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html index aa975a38..cd04c69f 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html index d013fe22..f0dc1c0b 100644 --- a/html-test/ref/Extensions.html +++ b/html-test/ref/Extensions.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index 59dfbb94..7a15eec6 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    \ No newline at end of file +> diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index a551f29c..77202f99 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    C4 
  • } ->    } -> H1 Int a
     
    • diff --git a/html-test/ref/GadtConstructorArgs.html b/html-test/ref/GadtConstructorArgs.html index ded7d58f..77e2f45b 100644 --- a/html-test/ref/GadtConstructorArgs.html +++ b/html-test/ref/GadtConstructorArgs.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
  • ,    , z :: Int
  • } ->    } -> Boo
    \ No newline at end of file +> diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index 65b2037b..5df78cea 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    • # # # 
    \ No newline at end of file +> diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index be09cd3c..8cecc0b7 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    \ No newline at end of file +> diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html index 67fc528b..4b50d65a 100644 --- a/html-test/ref/HiddenInstancesB.html +++ b/html-test/ref/HiddenInstancesB.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); \ No newline at end of file +> diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index fde9434d..4fa8576a 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index b331fda5..9163258c 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index 0cf0fc92..949f85b0 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    # # # # # # # # # # # # # # # # # # # # Qx a Qux a b Quux a b c # # # # # #  \ No newline at end of file +> diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html index cd642198..c39c1257 100644 --- a/html-test/ref/Math.html +++ b/html-test/ref/Math.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index 73f472ad..a9041ba1 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html index 1ea464d9..ce5eccfb 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html index 84198ca3..1fa80b26 100644 --- a/html-test/ref/NamedDoc.html +++ b/html-test/ref/NamedDoc.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html index cab1e220..7e001235 100644 --- a/html-test/ref/Nesting.html +++ b/html-test/ref/Nesting.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html index c14d6164..acce4d97 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html index 40357f0d..9f7bf66b 100644 --- a/html-test/ref/NonGreedy.html +++ b/html-test/ref/NonGreedy.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index d0c42a08..ae0ae299 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); \ No newline at end of file +> diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html index b9f0b5be..3e77e867 100644 --- a/html-test/ref/OrphanInstances.html +++ b/html-test/ref/OrphanInstances.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); \ No newline at end of file +> diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html index d4b9d79b..0f066893 100644 --- a/html-test/ref/OrphanInstancesClass.html +++ b/html-test/ref/OrphanInstancesClass.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); \ No newline at end of file +> diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html index c3cd8cbf..873cb191 100644 --- a/html-test/ref/OrphanInstancesType.html +++ b/html-test/ref/OrphanInstancesType.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); \ No newline at end of file +> diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html index c36ef015..2881e697 100644 --- a/html-test/ref/PR643.html +++ b/html-test/ref/PR643.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/PR643_1.html b/html-test/ref/PR643_1.html index ae905386..e23326e2 100644 --- a/html-test/ref/PR643_1.html +++ b/html-test/ref/PR643_1.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 6b4f8fda..1a1a49bb 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });BlubCtor x Empty  \ No newline at end of file +> diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index 9f3395be..23e30e21 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    Pattern '[] Pattern (h ': t) RNil :> h) Tuple '(a, b)  \ No newline at end of file +> diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index 8a5d1660..16874306 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html index bc8a42d9..d0dd9afe 100644 --- a/html-test/ref/PruneWithWarning.html +++ b/html-test/ref/PruneWithWarning.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); diff --git a/html-test/ref/QuantifiedConstraints.html b/html-test/ref/QuantifiedConstraints.html index 9315b866..59000945 100644 --- a/html-test/ref/QuantifiedConstraints.html +++ b/html-test/ref/QuantifiedConstraints.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); \ No newline at end of file +> diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html index 0dcc8f6a..f719d067 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    # AddOp SubOp MulOp DivOp #  \ No newline at end of file +> diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index 2a857433..edf14f4e 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index 81c80e77..8069db6c 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    • # # 
    \ No newline at end of file +> diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html index 051f7253..c8a7a6a3 100644 --- a/html-test/ref/TH.html +++ b/html-test/ref/TH.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html index 617cd1de..4a69bd01 100644 --- a/html-test/ref/TH2.html +++ b/html-test/ref/TH2.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); diff --git a/html-test/ref/Table.html b/html-test/ref/Table.html index 1b6f55fc..48bbeb74 100644 --- a/html-test/ref/Table.html +++ b/html-test/ref/Table.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } }); \ No newline at end of file +> diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index b76622e7..26e8c7e8 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    • A1 a B1 b 
    A2 a B2 b N1 a N2 n :: a b
     
    • N3 N5 n6 :: a b
     n7 :: a b
     T5 () ()
     
  • Int
     
    • # # Ex1 b Ex2 b Ex3 b forall a. a -> a) R  \ No newline at end of file +> diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html index 893135e6..96a4f060 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html index 1ddd4bf8..0c09cf57 100644 --- a/html-test/ref/Threaded_TH.html +++ b/html-test/ref/Threaded_TH.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index ba2bbf6a..4da5c459 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html index 6d88d7ad..47e0a66d 100644 --- a/html-test/ref/Ticket61.html +++ b/html-test/ref/Ticket61.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index b61d770a..426cae3d 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html index 4fd7e113..6817eb7f 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 8e1e7364..53a65db8 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    X Y # # # #  \ No newline at end of file +> diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index 1db8c3ec..450a69e3 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    \ No newline at end of file +> diff --git a/html-test/ref/TypeFamilies3.html b/html-test/ref/TypeFamilies3.html index 22a3f8ff..f7d78999 100644 --- a/html-test/ref/TypeFamilies3.html +++ b/html-test/ref/TypeFamilies3.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    # # # # #  \ No newline at end of file +> diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index fa1550ef..45e6dbe4 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/UnboxedStuff.html b/html-test/ref/UnboxedStuff.html index 133aae6c..f9c7531a 100644 --- a/html-test/ref/UnboxedStuff.html +++ b/html-test/ref/UnboxedStuff.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    \ No newline at end of file +> diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index 8f7970d0..3f623274 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    diff --git a/html-test/ref/Unicode2.html b/html-test/ref/Unicode2.html index 65e49e37..1eb7e0f0 100644 --- a/html-test/ref/Unicode2.html +++ b/html-test/ref/Unicode2.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    \ No newline at end of file +> diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html index a480935c..77d59865 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -10,14 +10,14 @@ />MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });
     
    -- cgit v1.2.3