[Git][ghc/ghc][master] Fix some broken links and typos
Marge Bot (@marge-bot)
gitlab at gitlab.haskell.org
Mon Jul 3 07:35:14 UTC 2023
Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
4457da2a by Dave Barton at 2023-07-03T03:34:51-04:00
Fix some broken links and typos
- - - - -
5 changed files:
- docs/users_guide/debug-info.rst
- docs/users_guide/exts/gadt.rst
- docs/users_guide/exts/pragmas.rst
- docs/users_guide/exts/type_families.rst
- docs/users_guide/exts/view_patterns.rst
Changes:
=====================================
docs/users_guide/debug-info.rst
=====================================
@@ -251,7 +251,7 @@ Implementor's notes: DWARF annotations
interpret the GHC-specific DWARF annotations contained in compiled binaries.
When invoked with the ``-g`` flag GHC will produce standard `DWARF v4
-<http://dwarfstd.org/>`__ debugging information. This format is used by nearly
+<https://dwarfstd.org/>`__ debugging information. This format is used by nearly
all POSIX-compliant targets and can be used by debugging and performance tools
(e.g. ``gdb``, ``lldb``, and ``perf``) to understand the structure of
GHC-compiled programs.
=====================================
docs/users_guide/exts/gadt.rst
=====================================
@@ -43,9 +43,9 @@ refinement*. For example, in the right hand side of the equation ::
the type ``a`` is refined to ``Int``. That's the whole point! A precise
specification of the type rules is beyond what this user manual aspires
to, but the design closely follows that described in the paper `Simple
-unification-based type inference for
-GADTs <https://research.microsoft.com/%7Esimonpj/papers/gadt/>`__, (ICFP
-2006). The general principle is this: *type refinement is only carried
+unification-based type inference for GADTs
+<https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/gadt-pldi.pdf>`__
+(ICFP 2006). The general principle is this: *type refinement is only carried
out based on user-supplied type annotations*. So if no type signature is
supplied for ``eval``, no type refinement happens, and lots of obscure
error messages will occur. However, the refinement is quite general. For
@@ -153,9 +153,9 @@ also sets :extension:`GADTSyntax` and :extension:`MonoLocalBinds`.
A type is "rigid" if it is completely known to the compiler at its
binding site. The easiest way to ensure that a variable has a rigid type
is to give it a type signature. For more precise details see `Simple
- unification-based type inference for
- GADTs <https://research.microsoft.com/%7Esimonpj/papers/gadt/>`__. The
- criteria implemented by GHC are given in the Appendix.
+ unification-based type inference for GADTs
+ <https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/gadt-pldi.pdf>`__.
+ The criteria implemented by GHC are given in the Appendix.
- When GHC typechecks multiple patterns in a function clause, it typechecks
each pattern in order from left to right. This has consequences for patterns
=====================================
docs/users_guide/exts/pragmas.rst
=====================================
@@ -365,7 +365,7 @@ has a number of other effects:
GHC ensures that inlining cannot go on forever: every mutually-recursive
group is cut by one or more *loop breakers* that is never inlined (see
`Secrets of the GHC inliner, JFP 12(4) July
-2002 <https://research.microsoft.com/%7Esimonpj/Papers/inlining/index.htm>`__).
+2002 <https://simonmar.github.io/bib/papers/inline.pdf>`__).
GHC tries not to select a function with an ``INLINE`` pragma as a loop
breaker, but when there is no choice even an INLINE function can be
selected, in which case the ``INLINE`` pragma is ignored. For example, for a
=====================================
docs/users_guide/exts/type_families.rst
=====================================
@@ -51,7 +51,7 @@ families <https://www.haskell.org/haskellwiki/GHC/Indexed_types>`__.
.. [AssocDataTypes2005]
“`Associated Types with Class
- <http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html>`__\ ”, M.
+ <https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/assoc.pdf>`__\ ”, M.
Chakravarty, G. Keller, S. Peyton Jones,
and S. Marlow. In Proceedings of “The 32nd Annual
ACM SIGPLAN-SIGACT Symposium on Principles of
@@ -59,15 +59,15 @@ families <https://www.haskell.org/haskellwiki/GHC/Indexed_types>`__.
Press, 2005.
.. [AssocTypeSyn2005]
- “`Type Associated Type
- Synonyms <http://www.cse.unsw.edu.au/~chak/papers/CKP05.html>`__\ ”. M.
+ “`Associated Type Synonyms
+ <https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/at-syns.pdf>`__\ ”, M.
Chakravarty, G. Keller, and S. Peyton Jones. In Proceedings of “The
Tenth ACM SIGPLAN International Conference on Functional Programming”,
ACM Press, pages 241-253, 2005.
.. [TypeFamilies2008]
- “\ `Type Checking with Open Type
- Functions <http://www.cse.unsw.edu.au/~chak/papers/SPCS08.html>`__\ ”,
+ “\ `Type Checking with Open Type Functions
+ <https://www.microsoft.com/en-us/research/wp-content/uploads/2008/01/icfp2008.pdf>`__\ ”,
T. Schrijvers, S. Peyton-Jones, M. Chakravarty, and M. Sulzmann, in
Proceedings of “ICFP 2008: The 13th ACM SIGPLAN International Conference
on Functional Programming”, ACM Press, pages 51-62, 2008.
@@ -548,8 +548,8 @@ Decidability of type synonym instances
In order to guarantee that type inference in the presence of type
families is decidable, we need to place a number of additional restrictions
on the formation of type instance declarations (c.f., Definition 5
-(Relaxed Conditions) of “\ `Type Checking with Open Type
-Functions <http://www.cse.unsw.edu.au/~chak/papers/SPCS08.html>`__\ ”).
+(Relaxed Conditions) of “\ `Type Checking with Open Type Functions
+<https://www.microsoft.com/en-us/research/wp-content/uploads/2008/01/icfp2008.pdf>`__\ ”).
Instance declarations have the general form ::
type instance F t1 .. tn = t
@@ -1158,7 +1158,7 @@ will be possible to infer ``t`` at call sites from the type of the argument: ::
Injective type families are enabled with ``-XTypeFamilyDependencies`` language
extension. This extension implies ``-XTypeFamilies``.
-For full details on injective type families refer to Haskell Symposium
+For full details on injective type families refer to the Haskell Symposium
2015 paper `Injective type families for
Haskell <https://ics.p.lodz.pl/~stolarek/_media/pl:research:stolarek_peyton-jones_eisenberg_injectivity_extended.pdf>`__.
=====================================
docs/users_guide/exts/view_patterns.rst
=====================================
@@ -119,8 +119,8 @@ follows:
into a single nested case expression, so that the view function is
only applied once. Pattern compilation in GHC follows the matrix
algorithm described in Chapter 4 of `The Implementation of Functional
- Programming
- Languages <https://research.microsoft.com/~simonpj/Papers/slpj-book-1987/>`__.
+ Programming Languages
+ <https://www.microsoft.com/en-us/research/wp-content/uploads/1987/01/slpj-book-1987-small.pdf>`__.
When the top rows of the first column of a matrix are all view
patterns with the "same" expression, these patterns are transformed
into a single nested case. This includes, for example, adjacent view
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/4457da2a7dba97ab2cd2f64bb338c904bb614244
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/4457da2a7dba97ab2cd2f64bb338c904bb614244
You're receiving this email because of your account on gitlab.haskell.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230703/fc416810/attachment-0001.html>
More information about the ghc-commits
mailing list