Code

Typed structural equality#154

Code

Open

kquick wants to merge 7 commits intomasterGaloisInc/parameterized-utils:masterfrom typed_structural_equalityGaloisInc/parameterized-utils:typed_structural_equalityCopy head branch name to clipboard

+176-30

Commits

Commits on Jun 6, 2023

• Add explicit typing to TH structuralEquality.

  Show description for 0e1d2f4
  kquick

  committed
  0e1d2f4

  Copy full SHA for 0e1d2f4

Commits on Jun 7, 2023

• Support structuralEquality type specification for older GHC versions.

  Show description for 9961045
  kquick

  committed
  9961045

  Copy full SHA for 9961045

• Only compare against matching types for structural TH.

  Show description for 0395bf9
  kquick

  committed
  0395bf9

  Copy full SHA for 0395bf9

• Fix typo in comment.

  kquick

  committed
  c3c6638

  Copy full SHA for c3c6638

• Bump dev revision to reference structuralEquality updates.

  kquick

  committed
  dacff36

  Copy full SHA for dacff36

Commits on Jun 8, 2023

• Use markdown syntax in changelog, not haddock syntax.

  kquick

  committed
  37a76be

  Copy full SHA for 37a76be

Commits on Jun 19, 2023

• Add comments describing TH.GADT constructor selection for case stmts.

  kquick

  committed
  2036dd4

  Copy full SHA for 2036dd4