Commits

Branch selector

 refs/heads/revert-code-generator

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 28, 2024

• Revert "Use a code generator for singletons-base's test suite"

  Show description for 9af7e11
  RyanGlScott

  committed
  9af7e11

  Copy full SHA for 9af7e11

Commits on Dec 27, 2024

• Regenerate CI, remove use of head.hackage

  RyanGlScott

  committed
  2390f33

  Copy full SHA for 2390f33

Commits on Dec 11, 2024

• Finalize singletons-3.0.4, singletons-{th,base}-3.5, singletons-base-code-generator-0.1

  RyanGlScott

  committed
  326e0e9

  Copy full SHA for 326e0e9

• Bump th-desugar source-repository-package to 1.18

  RyanGlScott

  committed
  a27dfbe

  Copy full SHA for a27dfbe

• singletons-base-code-generator: Require base-4.21.* (GHC 9.12)

  RyanGlScott

  committed
  aeef873

  Copy full SHA for aeef873

• CI: Work around cabal issues

  Show description for ac23235
  RyanGlScott

  committed
  ac23235

  Copy full SHA for ac23235

• singletons-{th,base}: Require building with GHC 9.12

  Show description for 7efedcd
  RyanGlScott

  committed
  7efedcd

  Copy full SHA for 7efedcd

• Preemptively bump version numbers to singletons-3.0.4, singletons-{th,base}-3.5

  RyanGlScott

  committed
  9a668bb

  Copy full SHA for 9a668bb

• Mention #602 in changelogs

  RyanGlScott

  committed
  c7d3834

  Copy full SHA for c7d3834

• Use a code generator for singletons-base's test suite

  Show description for 3fb0b8b
  RyanGlScott

  committed
  3fb0b8b

  Copy full SHA for 3fb0b8b

Commits on Oct 27, 2024

• D.S.TH.Syntax: Delete dead code (ADMatch)

  RyanGlScott

  committed
  8babd09

  Copy full SHA for 8babd09

Commits on Oct 26, 2024

• Bump th-desugar to bring in changes from goldfirere/th-desugar#231

  RyanGlScott

  committed
  68c5754

  Copy full SHA for 68c5754

• D.S.TH.Promote: Convert some wildcard patterns to {}

  RyanGlScott

  committed
  50eca57

  Copy full SHA for 50eca57

Commits on Jul 23, 2024

• Remove wrinkle 2 (and revise wrinkle 3) of Note [Preserve the order of type variables during singling]

  Show description for da13db1
  RyanGlScott

  committed
  da13db1

  Copy full SHA for da13db1

Commits on Jul 13, 2024

• Adapt to goldfirere/th-desugar#199 and goldfirere/th-desugar#220

  Show description for b720f3c
  RyanGlScott

  committed
  b720f3c

  Copy full SHA for b720f3c

• Adapt to matchUpSAKWithDecl moving to th-desugar

  Show description for e3b4a75
  RyanGlScott

  committed
  e3b4a75

  Copy full SHA for e3b4a75

Commits on Jul 5, 2024

• singletons-th: Make pr_scoped_vars a list of LocalVars, not Names

  Show description for 30dd23f
  RyanGlScott

  committed
  30dd23f

  Copy full SHA for 30dd23f

• Make LocalVar a proper data type

  Show description for 42ac018
  RyanGlScott

  committed
  42ac018

  Copy full SHA for 42ac018

Commits on Jul 1, 2024

• Give asum, msum, and Product instances explicit kind signatures

  Show description for ae2a94f
  RyanGlScott

  committed
  ae2a94f

  Copy full SHA for ae2a94f

• Give helper type families more precise kinds

  Show description for 48b419a
  RyanGlScott

  committed
  48b419a

  Copy full SHA for 48b419a

Commits on Jun 30, 2024

• Record local variables' kinds during lambda lifting

  Show description for 58dba67
  RyanGlScott

  committed
  58dba67

  Copy full SHA for 58dba67

Commits on Jun 25, 2024

• Adapt to DLamCasesE in th-desugar-1.18

  Show description for b385b36
  RyanGlScott

  committed
  b385b36

  Copy full SHA for b385b36

Commits on Jun 22, 2024

• Don't use defunctionalization when singling return types of type signatures

  Show description for a351105
  RyanGlScott

  committed
  a351105

  Copy full SHA for a351105

• Don't defunctionalize helpers for class defaults or instance methods

  Show description for 875a004
  RyanGlScott

  committed
  875a004

  Copy full SHA for 875a004

Commits on Jun 19, 2024

• Give Compose's instances explicit kind signatures

  Show description for f44bf07
  RyanGlScott

  committed
  f44bf07

  Copy full SHA for f44bf07

• Generate Apply instances with explicit kind arguments

  Show description for 95ce374
  RyanGlScott

  committed
  95ce374

  Copy full SHA for 95ce374

• Make Sing instances more explicit on their left-hand sides

  Show description for 7bf41e0
  RyanGlScott

  committed
  7bf41e0

  Copy full SHA for 7bf41e0

Commits on Jun 18, 2024

• Give PAlternative (and friends) the correct kinds

  Show description for 5f0d420
  RyanGlScott

  committed
  5f0d420

  Copy full SHA for 5f0d420

• README.md: Document constraint limitations more thoroughly

  Show description for 1f6135c
  RyanGlScott

  committed
  1f6135c

  Copy full SHA for 1f6135c

• Partially revert TypeAbstractions-related changes in #596

  Show description for 6c3c74f
  RyanGlScott

  committed
  6c3c74f

  Copy full SHA for 6c3c74f

Commits on Jun 6, 2024

• Use explicit namespace specifiers when promoting/singling fixity declarations

  Show description for 2b4f955
  RyanGlScott

  committed
  2b4f955

  Copy full SHA for 2b4f955

• Quantify class methods' kind variables in the correct order using TypeAbstractions

  Show description for 0f4bfc3
  RyanGlScott

  committed
  0f4bfc3

  Copy full SHA for 0f4bfc3

• Introduce ForAllTyFlag, use it in matchUpSigWithDecl

  Show description for d8c48c5
  RyanGlScott

  committed
  d8c48c5

  Copy full SHA for d8c48c5

• swizzleTvb: Generalize to work over any DTyVarBndr flag

  Show description for ac67d08
  RyanGlScott

  committed
  ac67d08

  Copy full SHA for ac67d08

• matchUpSigWithDecl: Make comments/argument names less specific to data types

  Show description for c0e974c
  RyanGlScott

  committed
  c0e974c

  Copy full SHA for c0e974c

Pagination

Previous

Next