[Git][ghc/ghc][master] Replaced MkT1 with T1 in type signatures.

[Marge Bot]

 Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
b81350bb by Icelandjack at 2020-10-02T08:01:01-04:00
Replaced MkT1 with T1 in type signatures.
- - - - -


1 changed file:

- docs/users_guide/exts/linear_types.rst


Changes:

=====================================
docs/users_guide/exts/linear_types.rst
=====================================
@@ -72,10 +72,10 @@ the value ``MkT1 x`` can be constructed and deconstructed in a linear context:
 
 ::
 
-    construct :: a %1 -> MkT1 a
+    construct :: a %1 -> T1 a
     construct x = MkT1 x
 
-    deconstruct :: MkT1 a %1 -> a
+    deconstruct :: T1 a %1 -> a
     deconstruct (MkT1 x) = x  -- must consume `x` exactly once
 
 When used as a value, ``MkT1`` is given a multiplicity-polymorphic



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b81350bb925f8cb309355ee46238dbc11b796faf

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b81350bb925f8cb309355ee46238dbc11b796faf
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/20201002/f4560083/attachment.html>