August 2018 Archives by thread

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

Starting: Wed Aug 1 23:57:38 UTC 2018
Ending: Thu Aug 30 13:53:11 UTC 2018
Messages: 95

• [ghc-steering-committee] Welcome Eric and Vitaly   Joachim Breitner
  • [ghc-steering-committee] Welcome Eric and Vitaly   Manuel M T Chakravarty
• [ghc-steering-committee] Proposal #111: Linear Types   Richard Eisenberg
  • [ghc-steering-committee] Proposal #111: Linear Types   Iavor Diatchki
    • [ghc-steering-committee] Proposal #111: Linear Types   Eric Seidel
      • [ghc-steering-committee] Proposal #111: Linear Types   Simon Peyton Jones
      • [ghc-steering-committee] Proposal #111: Linear Types   Eric Seidel
    • [ghc-steering-committee] Proposal #111: Linear Types   Richard Eisenberg
      • [ghc-steering-committee] Proposal #111: Linear Types   Eric Seidel
      • [ghc-steering-committee] Proposal #111: Linear Types   Richard Eisenberg
      • [ghc-steering-committee] Proposal #111: Linear Types   Simon Peyton Jones
      • [ghc-steering-committee] Proposal #111: Linear Types   Richard Eisenberg
      • [ghc-steering-committee] Proposal #111: Linear Types   Simon Peyton Jones
      • [ghc-steering-committee] Proposal #111: Linear Types   Iavor Diatchki
  • [ghc-steering-committee] Proposal #111: Linear Types   Vitaly Bragilevsky
    • [ghc-steering-committee] Proposal #111: Linear Types   Richard Eisenberg
      • [ghc-steering-committee] Proposal #111: Linear Types   Vitaly Bragilevsky
      • [ghc-steering-committee] Proposal #111: Linear Types   Iavor Diatchki
      • [ghc-steering-committee] Proposal #111: Linear Types   Simon Peyton Jones
      • [ghc-steering-committee] Proposal #111: Linear Types   Richard Eisenberg
• [ghc-steering-committee] Discussion on "Allow ScopedTypeVariables to refer to types" (#128)   Joachim Breitner
• [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Joachim Breitner
  • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Christopher Allen
    • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Joachim Breitner
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Christopher Allen
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Iavor Diatchki
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Eric Seidel
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Iavor Diatchki
  • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Simon Peyton Jones
    • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Joachim Breitner
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Simon Peyton Jones
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Joachim Breitner
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Richard Eisenberg
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Joachim Breitner
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Richard Eisenberg
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Richard Eisenberg
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Simon Peyton Jones
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Eric Seidel
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Joachim Breitner
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Richard Eisenberg
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Simon Peyton Jones
      • [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)   Richard Eisenberg
• [ghc-steering-committee] Remove the * kind syntax (#143); Recommendation: accept   Joachim Breitner
• [ghc-steering-committee] Bundling patterns with type synonyms (#28)   Joachim Breitner
• [ghc-steering-committee] Extra Commas (#87), Recommend: accept   Joachim Breitner
  • [ghc-steering-committee] Extra Commas (#87), Recommend: accept   Christopher Allen
    • [ghc-steering-committee] Extra Commas (#87), Recommend: accept   Christopher Allen
      • [ghc-steering-committee] Extra Commas (#87), Recommend: accept   Iavor Diatchki
      • [ghc-steering-committee] Extra Commas (#87), Recommend: accept   Eric Seidel
      • [ghc-steering-committee] Extra Commas (#87), Recommend: accept   Richard Eisenberg
      • [ghc-steering-committee] Extra Commas (#87), Recommend: accept   Joachim Breitner
• [ghc-steering-committee] Please Review: Define Kinds Without Promotion (#106), New Shepherd: Eric   Joachim Breitner
  • [ghc-steering-committee] Please Review: Define Kinds Without Promotion (#106), New Shepherd: Eric   Eric Seidel
• [ghc-steering-committee] Please Review: Lazy unboxed tuples (#35), New Shepherd: Vitaly   Joachim Breitner
  • [ghc-steering-committee] Please Review: Lazy unboxed tuples (#35), New Shepherd: Vitaly   Vitaly Bragilevsky
• [ghc-steering-committee] Status   Joachim Breitner
  • [ghc-steering-committee] Status   Simon Peyton Jones
• [ghc-steering-committee] Proposal: Syntax for visible dependent quantification (#81)   Roman Leshchinskiy
  • [ghc-steering-committee] Proposal: Syntax for visible dependent quantification (#81)   Simon Peyton Jones
• [ghc-steering-committee] Proposal: Top-level kind signatures (#54)   Roman Leshchinskiy
  • [ghc-steering-committee] Proposal: Top-level kind signatures (#54)   Simon Peyton Jones
    • [ghc-steering-committee] Proposal: Top-level kind signatures (#54)   Richard Eisenberg
• [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Eric Seidel
  • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Richard Eisenberg
    • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Manuel M T Chakravarty
    • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Eric Seidel
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Richard Eisenberg
    • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Iavor Diatchki
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Eric Seidel
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Simon Peyton Jones
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Richard Eisenberg
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Eric Seidel
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Iavor Diatchki
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Richard Eisenberg
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Iavor Diatchki
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Eric Seidel
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Richard Eisenberg
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Eric Seidel
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Joachim Breitner
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Eric Seidel
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Eric Seidel
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Joachim Breitner
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Eric Seidel
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Iavor Diatchki
      • [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)   Richard Eisenberg
• [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject   Vitaly Bragilevsky
  • [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject   Eric Seidel
  • [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject   Simon Peyton Jones
    • [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject   Eric Seidel
      • [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject   Richard Eisenberg
      • [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject   Eric Seidel
      • [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject   Vitaly Bragilevsky
      • [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject   Joachim Breitner
• [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation, attempt 2: Accept   Vitaly Bragilevsky
• [ghc-steering-committee] Please Review: StableName guarantee (#163), Shepherd: Simon Marlow   Joachim Breitner

Last message date: Thu Aug 30 13:53:11 UTC 2018
Archived on: Thu Aug 30 13:11:54 UTC 2018

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