Skip to content
Snippets Groups Projects
  1. Aug 06, 2017
    • TimBaumann's avatar
      Fix: Generate pattern signatures for constructors exported as patterns (#663) · 3fddb629
      TimBaumann authored and Alex Biehl's avatar Alex Biehl committed
      * Fix pretty-printing of pattern signatures
      
      Pattern synonyms can have up to two contexts, both having a
      different semantic meaning: The first holds the constraints
      required to perform the matching, the second contains the
      constraints provided by a successful pattern match. When the
      first context is empty but the second is not it is necessary
      to render the first, empty context.
      
      * Generate pattern synonym signatures for ctors exported as patterns
      
      This fixes #653.
      
      * Simplify extractPatternSyn
      
      It is not necessary to generate the simplest type signature since
      it will be simplified when pretty-printed.
      
      * Add changelog entries for PR #663
      
      * Fix extractPatternSyn error message
      3fddb629
  2. Aug 05, 2017
  3. Jul 31, 2017
  4. Jul 27, 2017
  5. Jul 20, 2017
  6. Jun 29, 2017
  7. Jun 09, 2017
    • Christiaan Baaij's avatar
      Haddock support for bundled pattern synonyms (#627) · 87c551fc
      Christiaan Baaij authored and Alex Biehl's avatar Alex Biehl committed
      * Haddock support for bundled pattern synonyms
      
      * Add fixities to bundled pattern synonyms
      
      * Add bundled pattern synonyms to the synopsis
      
      * Store bundled pattern fixities in expItemFixities
      
      * Add test for bundled pattern synonyms
      
      * Stop threading fixities
      
      * Include bundled pattern synonyms for re-exported data types
      
      Sadly, fixity information isn't found for re-exported data types
      
      * Support for pattern synonyms
      
      * Modify tests after #631
      
      * Test some reexport variations
      
      * Also lookup bundled pattern synonyms from `InstalledInterface`s
      
      * Check isExported for bundled pattern synonyms
      
      * Pattern synonym is exported check
      
      * Always look for pattern synonyms in the current module
      
      Another overlooked cornercase
      
      * Account for types named twice in export lists
      
      Also introduce a fast function for nubbing on a `Name` and use it
      throughout the code base.
      
      * correct fixities for reexported pattern synonyms
      
      * Fuse concatMap and map
      
      * Remove obsolete import
      
      * Add pattern synonyms to visible exports
      
      * Fix test
      
      * Remove corner case
      87c551fc
  8. Jun 03, 2017
  9. Apr 26, 2017
  10. May 25, 2016
  11. May 14, 2016
  12. May 12, 2016
  13. Jan 06, 2016
  14. Aug 02, 2015
  15. Jul 31, 2015
  16. Jul 22, 2015
  17. Jul 11, 2015
  18. Jul 07, 2015
  19. Jun 14, 2015
  20. Jun 12, 2015
  21. Mar 28, 2015
  22. Mar 27, 2015
  23. Mar 17, 2015
  24. Jan 22, 2015
  25. Dec 18, 2014
Loading