goldfirere / th-desugar

Desugars Template Haskell abstract syntax to a simpler format without changing semantics

goldfirere/th-desugar Issues

"Conflicting definitions for ‘a’" error when desugaring data type
Updated a year ago2
GHC 9.8 checklist
Updated a year ago
`tupleDegree_maybe` doesn't take `Unit`, `Solo`, `MkSolo`, or `Tuple` into account
Updated a year ago
Adapt to `TypeAbstractions` in GHC 9.8
Updated a year ago
Local reification fails on infix data family
Closed a year ago1
Local reification doesn't respect `NoFieldSelectors`
Updated a year ago2
GHC 9.6 checklist
Closed a year ago4
Use `DeriveLift` instead of TH to define `Lift` instances
Closed a year ago2
Implement universal support for desugaring view patterns
Updated a year ago3
Desugaring of as-patterns in let bindings are insufficiently strict.
Updated a year ago
Pattern guards are not a sufficient replacement for view patterns
Updated a year ago6
Locally quantified GADT record selectors can quantify type variables in the wrong order
Closed 2 years ago
Local reification misses pattern synonym field selectors
Closed 2 years ago
GHC 9.4 checklist
Closed 2 years ago6
Build failure with mtl-2.3
Closed 2 years ago2
Desugared lambda expressions involving unlifted types won't typecheck
Closed 2 years ago11
Use `withDict` instead of `unsafeCoerce` to implement `bindIP`
Updated 2 years ago
Expansion becomes stuck on closed type families with type variable arguments
Closed 2 years ago
Inconsistent treatment of non-exhausive guards in function definitions vs. `case` expressions
Closed 2 years ago1
GHC 9.2 checklist
Closed 3 years ago2
Implement free variable–computing functions (for things besides DType) correctly
Updated 3 years ago
Desugaring incorrectly computes infix information for GADT constructors
Closed 3 years ago
DInstanceDs with explicit foralls no longer sweeten correctly under GHC HEAD (9.1)
Closed 3 years ago7
GHC 9.0 checklist
Closed 3 years ago1
Desugared lambda expressions with @-patterns are needlessly complicated
Closed 4 years ago
Adapt to explicit specificity in th-desugar
Closed 4 years ago4
Adapt to linear types in th-desugar
Closed 4 years ago5
Inconsistent treatment of unsupported language features in L.H.TH.Desugar.Sweeten
Closed 4 years ago
dsDoStmts doesn't support ApplicativeDo
Updated 4 years ago2
GHC 8.10 checklist
Closed 4 years ago1
Order in which reifyWithLocals searches for Decs needs to be documented
Closed 4 years ago5
Incorrect local reification of type family defaults
Closed 4 years ago2
Speed up local reification by storing `Map Name`s in DsM
Updated 4 years ago3
reifyFixityWithLocals does not look into type classes
Closed 4 years ago
dsReifyType returns incorrect kind for associated type family
Closed 5 years ago
Locally reified GADT record selectors have incorrect types
Closed 5 years ago1
Split up DForallT into two different constructors
Closed 5 years ago8
Improve the abysmal performance of type synonym expansion
Closed 5 years ago5
Adapt to TupE/UnboxedTupE having type [Maybe Exp] -> Exp on GHC HEAD
Closed 5 years ago1
th-desugar 1.8 fails with ghcjs
Closed 5 years ago3
Should DInstanceD have a Maybe [DTyVarBndr] field?
Closed 5 years ago5
toposortTyVarsOf depends on the order of gensymmed unique values for Names
Closed 5 years ago3
th-desugar HEAD incorrectly quantifies class method variables
Closed 5 years ago
Locally reified classes have extraneous class contexts
Closed 5 years ago3
Consider abandoning `DPred`
Closed 6 years ago1
dsCon doesn't quantify kind variables
Closed 6 years ago
getRecordSelectors is horribly broken for GADTs
Closed 6 years ago
expandType doesn't look into the kinds of type variable binders
Closed 6 years ago
GHC 8.6.1 build issue: Dynamic linker not initialised
Closed 6 years ago16
fvDType returns incorrect results for quantified constraints
Closed 6 years ago1