diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-10-12 18:33:21 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-20 00:48:29 -0400 |
commit | 6c7a5c0ca07085f31a3e2f8286bb57a0f35961cb (patch) | |
tree | 49130cc56d3e7b8e419a209ba5869a6d8c75217f /compiler/GHC/Builtin | |
parent | ee5dcdf95a7c408e9c339aacebf89a007a735f8f (diff) | |
download | haskell-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.hs | 2 |
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 |