Skip to content

Add missing primop documentation (#18454)

Krzysztof Gogolewski requested to merge tweag/ghc:wip/clean-pseudoops into master

Closes #18454 (closed).

  • Add documentation for realWorld#, void#, magicDict.
  • Update comments
  • Document GHC.Prim
  • Remove the comment that lazy is levity-polymorphic. As far as I can tell, it never was: in 80e39963, only the unfolding was given an open type variable.
  • Remove haddock hack in GHC.Magic - no longer neccessary after adding realWorld# to primops.txt.pp.
  • Remove a comment in primops.txt.pp about FUN - it was about (->) being special syntax, this is no longer the case with FUN.
  • Remove special case for "->" in genprimopcode - it's no longer exported from GHC.Prim
  • Remove reference to an ad-hoc fix in genprimopcode - it is no longer there after levity polymorphism was improved.
Edited by Krzysztof Gogolewski

Merge request reports