Overview Repositories Revisions Requests Users Attributes Meta

Revisions of ghc-th-abstraction

Ana Guerrero's avatar Ana Guerrero (anag+factory) accepted request 1161316 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 21) 
Automatic submission by obs-autosubmit
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 1157267 from Peter Simons's avatar Peter Simons (psimons) (revision 20) 
Update Haskell ecosystem to GHC version 9.8.2.
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 1008525 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 17) 
Automatic submission by obs-autosubmit
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 917498 from Ondřej Súkup's avatar Ondřej Súkup (mimi_vx) (revision 16) 
automated update of haskell stack
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 890701 from Ondřej Súkup's avatar Ondřej Súkup (mimi_vx) (revision 15) 
automated update of haskell stack
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 861603 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 14) 
Automatic submission by obs-autosubmit
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 857602 from Ondřej Súkup's avatar Ondřej Súkup (mimi_vx) (revision 13) 
update haskell stack in openSUS
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 643469 from Peter Simons's avatar Peter Simons (psimons) (revision 4) 
trivial cosmetic change in comments
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 623871 from Peter Simons's avatar Peter Simons (psimons) (revision 3) 
- Cosmetic: replace tabs with blanks, strip trailing white space,
  and update copyright headers with spec-cleaner.

- Update th-abstraction to version 0.2.8.0.
  ## 0.2.8.0 -- 2018-06-29
  * GADT reification is now much more robust with respect to `PolyKinds`:
    * A bug in which universally quantified kind variables were mistakenly
      flagged as existential has been fixed.
    * A bug in which the kinds of existentially quantified type variables
      were not substituted properly has been fixed.
    * More kind equalities are detected than before. For example, in the
      following data type:
      ```haskell
      data T (a :: k) where
        MkT :: forall (a :: Bool). T a
      ```
      We now catch the `k ~ Bool` equality.
  * Tweak `resolveTypeSynonyms` so that failing to reify a type constructor
    name so longer results in an error. Among other benefits, this makes
    it possible to pass data types with GADT syntax to `normalizeDec`.
  ## 0.2.7.0 -- 2018-06-17
  * Fix bug in which data family instances with duplicate occurrences of type
    variables in the left-hand side would have redundant equality constraints
    in their contexts.
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 607901 from Peter Simons's avatar Peter Simons (psimons) (revision 2) 
Update ghc-th-abstraction to the latest version.
Displaying revisions 1 - 20 of 21
openSUSE Build Service is sponsored by
Places