Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / goldfirere/th-desugar issues and pull requests

#133 - Fix #132

Pull Request - State: closed - Opened by RyanGlScott almost 5 years ago

#132 - reifyFixityWithLocals does not look into type classes

Issue - State: closed - Opened by RyanGlScott almost 5 years ago
Labels: bug

#131 - Order in which reifyWithLocals searches for Decs needs to be documented

Issue - State: closed - Opened by RyanGlScott almost 5 years ago - 5 comments
Labels: documentation

#130 - Speed up local reification by storing `Map Name`s in DsM

Issue - State: open - Opened by RyanGlScott almost 5 years ago - 3 comments
Labels: enhancement

#129 - Use NoMonomorphismRestriction in Test.Splices

Pull Request - State: closed - Opened by RyanGlScott almost 5 years ago

#128 - dsReifyType returns incorrect kind for associated type family

Issue - State: closed - Opened by RyanGlScott almost 5 years ago
Labels: bug

#127 - Fix #100 by making maybeReifyCon/findRecSelector GADT-aware

Pull Request - State: closed - Opened by RyanGlScott almost 5 years ago

#126 - Support standalone kind signatures, add reifyTypeWithLocals

Pull Request - State: closed - Opened by RyanGlScott about 5 years ago

#125 - Support visible dependent quantification

Pull Request - State: closed - Opened by RyanGlScott about 5 years ago - 1 comment

#124 - Fix #123 by removing SYB code from hot loops

Pull Request - State: closed - Opened by RyanGlScott over 5 years ago

#123 - Improve the abysmal performance of type synonym expansion

Issue - State: closed - Opened by RyanGlScott over 5 years ago - 5 comments
Labels: enhancement

#122 - Desugar tuple sections to lambda expressions (#121)

Pull Request - State: closed - Opened by RyanGlScott over 5 years ago

#121 - Adapt to TupE/UnboxedTupE having type [Maybe Exp] -> Exp on GHC HEAD

Issue - State: closed - Opened by RyanGlScott over 5 years ago - 1 comment
Labels: enhancement

#120 - Clean up L.H.T.D.{OMap,OSet} by using the ordered-containers package

Pull Request - State: closed - Opened by RyanGlScott over 5 years ago - 1 comment

#119 - th-desugar 1.8 fails with ghcjs

Issue - State: closed - Opened by matthewbauer over 5 years ago - 3 comments

#117 - Should DInstanceD have a Maybe [DTyVarBndr] field?

Issue - State: closed - Opened by RyanGlScott over 5 years ago - 5 comments
Labels: question

#116 - Adapt to MonadFail-related changes in base-4.13

Pull Request - State: closed - Opened by RyanGlScott over 5 years ago

#115 - Make th-desugar deterministic

Pull Request - State: closed - Opened by RyanGlScott almost 6 years ago - 1 comment

#114 - GHC 8.10 checklist

Issue - State: closed - Opened by RyanGlScott almost 6 years ago - 1 comment
Labels: enhancement

#113 - Split up DForallT into two different constructors

Issue - State: closed - Opened by RyanGlScott almost 6 years ago - 8 comments
Labels: enhancement

#112 - toposortTyVarsOf depends on the order of gensymmed unique values for Names

Issue - State: closed - Opened by RyanGlScott almost 6 years ago - 3 comments
Labels: bug

#111 - Fix #110

Pull Request - State: closed - Opened by RyanGlScott almost 6 years ago

#110 - th-desugar HEAD incorrectly quantifies class method variables

Issue - State: closed - Opened by RyanGlScott almost 6 years ago
Labels: bug

#109 - Fix #99 with a smidgen of CPP

Pull Request - State: closed - Opened by RyanGlScott almost 6 years ago

#108 - Implement free variable–computing functions (for things besides DType) correctly

Issue - State: open - Opened by RyanGlScott almost 6 years ago
Labels: enhancement, help wanted

#107 - Fix #106 by removing DPred

Pull Request - State: closed - Opened by goldfirere almost 6 years ago - 1 comment

#106 - Consider abandoning `DPred`

Issue - State: closed - Opened by goldfirere almost 6 years ago - 1 comment
Labels: task

#105 - GHC 8.8 support

Pull Request - State: closed - Opened by RyanGlScott almost 6 years ago - 9 comments

#104 - Fix #102 and #103

Pull Request - State: closed - Opened by RyanGlScott almost 6 years ago - 2 comments

#103 - dsCon doesn't quantify kind variables

Issue - State: closed - Opened by RyanGlScott almost 6 years ago
Labels: bug

#102 - getRecordSelectors is horribly broken for GADTs

Issue - State: closed - Opened by RyanGlScott almost 6 years ago
Labels: bug

#101 - Fix #88

Pull Request - State: closed - Opened by RyanGlScott almost 6 years ago - 3 comments

#100 - Locally reified GADT record selectors have incorrect types

Issue - State: closed - Opened by RyanGlScott almost 6 years ago - 1 comment
Labels: bug

#99 - Locally reified classes have extraneous class contexts

Issue - State: closed - Opened by RyanGlScott almost 6 years ago - 3 comments
Labels: bug

#98 - Fix #97 by recursing into DTyVarBndr kinds in expandType

Pull Request - State: closed - Opened by RyanGlScott almost 6 years ago

#97 - expandType doesn't look into the kinds of type variable binders

Issue - State: closed - Opened by RyanGlScott almost 6 years ago
Labels: bug

#96 - GHC 8.6.1 build issue: Dynamic linker not initialised

Issue - State: closed - Opened by deepfire about 6 years ago - 16 comments

#95 - Introduce Language.Haskell.TH.Desugar.FV

Pull Request - State: closed - Opened by RyanGlScott about 6 years ago - 1 comment

#94 - Fix #92 by filling in toposortTyVarsOf's missing case

Pull Request - State: closed - Opened by RyanGlScott about 6 years ago - 1 comment

#93 - fvDType returns incorrect results for quantified constraints

Issue - State: closed - Opened by RyanGlScott about 6 years ago - 1 comment
Labels: bug

#92 - toposortTyVarsOf doesn't handle foralls

Issue - State: closed - Opened by RyanGlScott about 6 years ago
Labels: bug

#91 - Travis tests an excessive number of GHCs

Issue - State: closed - Opened by RyanGlScott about 6 years ago - 1 comment

#90 - GHC 8.8 checklist

Issue - State: closed - Opened by RyanGlScott about 6 years ago - 4 comments
Labels: enhancement

#89 - Expansion of type synonyms is not well kinded

Issue - State: open - Opened by RyanGlScott about 6 years ago
Labels: bug

#88 - Locally reified class methods don't explicitly quantify kind variables

Issue - State: closed - Opened by RyanGlScott over 6 years ago - 4 comments
Labels: bug

#87 - Fix #85 by expanding type synonyms in kind signatures

Pull Request - State: closed - Opened by RyanGlScott over 6 years ago

#86 - Add support for DerivingVia and QuantifiedConstraints

Pull Request - State: closed - Opened by RyanGlScott over 6 years ago

#16 - How aggressive should desugaring be?

Issue - State: open - Opened by goldfirere about 10 years ago - 2 comments
Labels: question