Skip to content

Export symbolSing, SSymbol, and friends (CLC#85)

Ryan Scott requested to merge wip/clc-85 into master

This implements this Core Libraries Proposal: https://github.com/haskell/core-libraries-committee/issues/85

In particular, it:

  1. Exposes the symbolSing method of KnownSymbol,
  2. Exports the abstract SSymbol type used in symbolSing, and
  3. Defines an API for interacting with SSymbol.

This also makes corresponding changes for natSing/KnownNat/SNat and charSing/KnownChar/SChar. This fixes #15183 (closed) and addresses part (2) of #21568.

Edited by Ryan Scott

Merge request reports