February 2018 Archives by thread

Messages sorted by: [ subject ] [ author ] [ date ]
More info on this list...

Starting: Thu Feb 1 04:17:50 UTC 2018
Ending: Sun Feb 25 23:26:30 UTC 2018
Messages: 99

Formal verification of containers Joachim Breitner
- Formal verification of containers David Feuer
  - Formal verification of containers Henning Thielemann
    - Formal verification of containers Joachim Breitner
    - Formal verification of containers Henning Thielemann
    - Formal verification of containers Joachim Breitner
    - Formal verification of containers David Feuer
- Formal verification of containers Tom Murphy
  - Formal verification of containers David Feuer
    - Formal verification of containers Gershom B
    - Formal verification of containers David Feuer
    - Formal verification of containers Joachim Breitner
    - Formal verification of containers Joachim Breitner
    - Formal verification of containers David Feuer
generalize type of Data.Set.unions from List to Foldable Johannes Waldmann
- generalize type of Data.Set.unions from List to Foldable Henning Thielemann
  - generalize type of Data.Set.unions from List to Foldable David Feuer
    - generalize type of Data.Set.unions from List to Foldable Johannes Waldmann
    - generalize type of Data.Set.unions from List to Foldable David Feuer
    - generalize type of Data.Set.unions from List to Foldable Joachim Breitner
    - generalize type of Data.Set.unions from List to Foldable Henning Thielemann
    - generalize type of Data.Set.unions from List to Foldable David Feuer
    - generalize type of Data.Set.unions from List to Foldable David Feuer
    - generalize type of Data.Set.unions from List to Foldable Evan Laforge
    - generalize type of Data.Set.unions from List to Foldable Jan-Willem Maessen
    - generalize type of Data.Set.unions from List to Foldable Oliver Charles
    - generalize type of Data.Set.unions from List to Foldable David Feuer
    - generalize type of Data.Set.unions from List to Foldable Oliver Charles
Removing bitSize David Feuer
- Removing bitSize Andrew Martin
  - [core libraries] Re: Removing bitSize Edward Kmett
Preventing double-free error with `stablePtr` Gershom B
- Preventing double-free error with `stablePtr` Simon Peyton Jones
  - Preventing double-free error with `stablePtr` Carter Schonwald
- Preventing double-free error with `stablePtr` David Feuer
Proposal: accum and accumArray strictness David Feuer
- Proposal: accum and accumArray strictness David Feuer
Proposal: Debug.Trace.traceWith Kris Nuttycombe
- Proposal: Debug.Trace.traceWith Theodore Lief Gannon
- Proposal: Debug.Trace.traceWith David Feuer
  - [core libraries] Re: Proposal: Debug.Trace.traceWith Joachim Breitner
    - [core libraries] Re: Proposal: Debug.Trace.traceWith Gershom B
    - [core libraries] Re: Proposal: Debug.Trace.traceWith Michael Snoyman
    - [core libraries] Re: Proposal: Debug.Trace.traceWith Henning Thielemann
- Proposal: Debug.Trace.traceWith Michael Sloan
  - Proposal: Debug.Trace.traceWith Kris Nuttycombe
    - Proposal: Debug.Trace.traceWith David Feuer
    - Proposal: Debug.Trace.traceWith David Feuer
    - Proposal: Debug.Trace.traceWith Kris Nuttycombe
Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap David Feuer
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Andrew Martin
  - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap John Wiegley
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Chris Wong
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Mario Blažević
  - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap David Feuer
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Daniel Cartwright
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Kris Nuttycombe
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap David Feuer
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Kris Nuttycombe
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Herbert Valerio Riedel
  - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Matt Renaud
  - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap David Feuer
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Herbert Valerio Riedel
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap David Feuer
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Matt Renaud
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Herbert Valerio Riedel
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Oleg Grenrus
  - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Carter Schonwald
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap M Farkas-Dyck
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Henning Thielemann
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Akio Takano
  - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Evan Laforge
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Mario Blažević
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Joachim Breitner
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap David Feuer
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Mario Blažević
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Matt Renaud
    - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Evan Laforge
  - Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Oliver Charles
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Bardur Arantsson
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Petr Pudlák
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap Tony Morris
Disabling deprecated functions David Feuer
- Disabling deprecated functions David Feuer
Proposal: Make size (from 'unordered-containers') run in constant time Alexandre Rodrigues
Proposal: Add Applicative (and Monoid) instances in GHC.Generics Li-yao Xia
- Proposal: Add Applicative (and Monoid) instances in GHC.Generics Ryan Scott
  - Proposal: Add Applicative (and Monoid) instances in GHC.Generics Oleg Grenrus
  - Proposal: Add Applicative (and Monoid) instances in GHC.Generics Edward Kmett
  - Proposal: Add Applicative (and Monoid) instances in GHC.Generics (Libraries Digest, Vol 174, Issue 27) Li-yao Xia
    - Proposal: Add Applicative (and Monoid) instances in GHC.Generics (Libraries Digest, Vol 174, Issue 27) Ryan Scott
Spam on Hackage Marco Zocca
- Spam on Hackage Oleg Grenrus
Proposal: Add Eq1 and Ord1 instances in GHC.Generics, and synchronize with Data.Functor.* types Li-yao Xia
- Proposal: Add Eq1 and Ord1 instances in GHC.Generics, and synchronize with Data.Functor.* types Ryan Scott

Last message date: Sun Feb 25 23:26:30 UTC 2018
Archived on: Sun Feb 25 22:52:49 UTC 2018

Messages sorted by: [ subject ] [ author ] [ date ]
More info on this list...

This archive was generated by Pipermail 0.09 (Mailman edition).