Skip to content

Note [Function types] needs to be updated

Note [Function types] in GHC.Core.TyCo.Rep needs to be updated:

  1. it mentions FFunty which doesn't exist

  2. it mentions FunTy as a pattern synonym which it isn't. I don't think a pattern-synonym is needed anymore as the "common case" isn't so common with the added multiplicity field

  3. the multiplicity field isn't documented. FUN should probably be mentioned too with a reference to Note [Linear types] in GHC.Core.Multiplicity.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information