ghc/4134.patch

43 lines
1.1 KiB
Diff

Index: ghc-8.10.4/docs/users_guide/conf.py
===================================================================
--- ghc-8.10.4.orig/docs/users_guide/conf.py
+++ ghc-8.10.4/docs/users_guide/conf.py
@@ -42,9 +42,6 @@ nitpick_ignore = [
("extension", "DoAndIfThenElse"),
("extension", "RelaxedPolyRec"),
-
- # See #16629
- ("extension", "UnliftedFFITypes"),
]
rst_prolog = """
@@ -100,13 +97,13 @@ htmlhelp_basename = 'GHCUsersGuide'
latex_elements = {
'inputenc': '',
'utf8extra': '',
- 'preamble': '''
+ 'preamble': r'''
\usepackage{fontspec}
\usepackage{makeidx}
\setsansfont{DejaVu Sans}
\setromanfont{DejaVu Serif}
\setmonofont{DejaVu Sans Mono}
-\setlength{\\tymin}{45pt}
+\setlength{\tymin}{45pt}
''',
}
Index: ghc-8.10.4/docs/users_guide/expected-undocumented-flags.txt
===================================================================
--- ghc-8.10.4.orig/docs/users_guide/expected-undocumented-flags.txt
+++ ghc-8.10.4/docs/users_guide/expected-undocumented-flags.txt
@@ -38,7 +38,6 @@
-XAutoDeriveTypeable
-XDoAndIfThenElse
-XDoRec
--XGHCForeignImportPrim
-XGenerics
-XImplicitPrelude
-XJavaScriptFFI