summaryrefslogtreecommitdiff
path: root/compiler/GHC/Builtin
diff options
context:
space:
mode:
authorKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>2020-10-12 18:33:21 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-10-20 00:48:29 -0400
commit6c7a5c0ca07085f31a3e2f8286bb57a0f35961cb (patch)
tree49130cc56d3e7b8e419a209ba5869a6d8c75217f /compiler/GHC/Builtin
parentee5dcdf95a7c408e9c339aacebf89a007a735f8f (diff)
downloadhaskell-6c7a5c0ca07085f31a3e2f8286bb57a0f35961cb.tar.gz
Minor comments, update linear types docs
- Update comments: placeHolderTypeTc no longer exists "another level check problem" was a temporary comment from linear types - Use Mult type synonym (reported in #18676) - Mention multiplicity-polymorphic fields in linear types docs
Diffstat (limited to 'compiler/GHC/Builtin')
-rw-r--r--compiler/GHC/Builtin/Types/Prim.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Builtin/Types/Prim.hs b/compiler/GHC/Builtin/Types/Prim.hs
index ed1f10a382..1b3d22fc21 100644
--- a/compiler/GHC/Builtin/Types/Prim.hs
+++ b/compiler/GHC/Builtin/Types/Prim.hs
@@ -423,7 +423,7 @@ funTyConName = mkPrimTyConName (fsLit "FUN") funTyConKey funTyCon
-- @
-- type Arr :: forall (rep1 :: RuntimeRep) (rep2 :: RuntimeRep).
-- TYPE rep1 -> TYPE rep2 -> Type
--- type Arr = FUN
+-- type Arr = FUN 'Many
-- @
--
funTyCon :: TyCon