glasgow-haskell-users  

Messages by Thread

• [ANNOUNCE] GHC 8.6.5-rc1 is now available Ben Gamari
• GHC HEAD documentation once again available Ben Gamari
• props for Hugs over System FC Anthony Clayden
  • Re: props for Hugs over System FC Anthony Clayden
• GitLab updates Ben Gamari
• Re: [Haskell-cafe] Final steps in GHC's Trac-to-GitLab migration Anthony Clayden
• Trac to GitLab migration underway Ben Gamari
  • Re: Trac to GitLab migration underway Ben Gamari
• Final steps in GHC's Trac-to-GitLab migration Ben Gamari
  • Re: [Haskell-cafe] Final steps in GHC's Trac-to-GitLab migration Ömer Sinan Ağacan
  • Re: [Haskell-cafe] Final steps in GHC's Trac-to-GitLab migration Ben Gamari
  • Re: [Haskell-cafe] Final steps in GHC's Trac-to-GitLab migration Ben Gamari
• [ANNOUNCE] GHC 8.6.4 is now available Ben Gamari
• Does anyone have much experience generating Haskell from Coq? Tim Watson
  • Re: [cloud-haskell-developers] Does anyone have much experience generating Haskell from Coq? Gershom B
  • Re: [cloud-haskell-developers] Does anyone have much experience generating Haskell from Coq? Tim Watson
• [ANNOUNCE] GHC 8.6.3 is now available Ben Gamari
  • Re: [ANNOUNCE] GHC 8.6.3 is now available Jens Petersen
• Equality constraints (~): type-theory behind them Anthony Clayden
  • Re: Equality constraints (~): type-theory behind them Adam Gundry
  • Re: Equality constraints (~): type-theory behind them Anthony Clayden
  • Re: Equality constraints (~): type-theory behind them Tom Schrijvers
  • Re: Equality constraints (~): type-theory behind them Anthony Clayden
  • Re: Equality constraints (~): type-theory behind them Anthony Clayden
  • Re: Equality constraints (~): type-theory behind them Oliver Charles
  • Re: Equality constraints (~): type-theory behind them Anthony Clayden
  • Re: Equality constraints (~): type-theory behind them Anthony Clayden
  • Re: Equality constraints (~): type-theory behind them Brandon Allbery
  • Re: Equality constraints (~): type-theory behind them Anthony Clayden
  • RE: Equality constraints (~): type-theory behind them Simon Peyton Jones via Glasgow-haskell-users
  • Re: Equality constraints (~): type-theory behind them Anthony Clayden
• Guidelines for respectful communication Simon Peyton Jones via Glasgow-haskell-users
  • Re: Guidelines for respectful communication Tim Watson
• Summit on Advances in Programming Languages 2019 Simon Peyton Jones via Glasgow-haskell-users
• [ANNOUNCE] GHC 8.6.2 is now available Ben Gamari
• Happy / Alex description for Haskell2010 Sam Halliday
  • Re: Happy / Alex description for Haskell2010 Doaitse Swierstra
  • Re: Happy / Alex description for Haskell2010 Sam Halliday
• Help inform GHC's development priorities Ben Gamari
• [ANNOUNCE] GHC 8.4.4 released Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.4 released Jens Petersen
  • Re: [ANNOUNCE] GHC 8.4.4 released Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.4 released Carter Schonwald
  • Re: [ANNOUNCE] GHC 8.4.4 released David Feuer
• [ANNOUNCE] GHC 8.6.1 released Ben Gamari
  • Re: [ANNOUNCE] GHC 8.6.1 released Herbert Valerio Riedel
  • Re: [ANNOUNCE] GHC 8.6.1 released Evan Laforge
  • Re: [ANNOUNCE] GHC 8.6.1 released George Colpitts
  • Re: [ANNOUNCE] GHC 8.6.1 released 山本和彦
  • Re: [ANNOUNCE] GHC 8.6.1 released 山本和彦
  • Re: [ANNOUNCE] GHC 8.6.1 released Evan Laforge
  • Re: [ANNOUNCE] GHC 8.6.1 released Jens Petersen
  • Re: [ANNOUNCE] GHC 8.6.1 released Ben Gamari
• Call for lightning talks and participation -- Haskell Implementors' Workshop Joachim Breitner
• Unable to compile ghc-8.2.2 with ghc-8.4.3 Sam Halliday
  • Re: Unable to compile ghc-8.2.2 with ghc-8.4.3 Ben Gamari
  • Re: Unable to compile ghc-8.2.2 with ghc-8.4.3 Sam Halliday
  • Re: Unable to compile ghc-8.2.2 with ghc-8.4.3 amindfv
  • Re: Unable to compile ghc-8.2.2 with ghc-8.4.3 Sam Halliday
  • Re: Unable to compile ghc-8.2.2 with ghc-8.4.3 Ben Gamari
  • Re: Unable to compile ghc-8.2.2 with ghc-8.4.3 Sam Halliday
  • Fwd: Unable to compile ghc-8.2.2 with ghc-8.4.3 Sven Panne
  • Re: Fwd: Unable to compile ghc-8.2.2 with ghc-8.4.3 Ben Franksen
  • Re: Fwd: Unable to compile ghc-8.2.2 with ghc-8.4.3 Sven Panne
  • Re: Fwd: Unable to compile ghc-8.2.2 with ghc-8.4.3 Brandon Allbery
  • Re: Fwd: Unable to compile ghc-8.2.2 with ghc-8.4.3 Sven Panne
  • Re: Unable to compile ghc-8.2.2 with ghc-8.4.3 Ben Gamari
  • Re: Unable to compile ghc-8.2.2 with ghc-8.4.3 Sam Halliday
• [ANNOUNCE] GHC 8.6.1-beta1 available Ben Gamari
  • Re: [ANNOUNCE] GHC 8.6.1-beta1 available Vassil Ognyanov Keremidchiev
  • Re: [ANNOUNCE] GHC 8.6.1-beta1 available Richard Eisenberg
  • Re: [ANNOUNCE] GHC 8.6.1-beta1 available Jens Petersen
• Constructor as outermost match in RULE under GHC 8.2.2 & 8.4.3 Conal Elliott
  • Re: Constructor as outermost match in RULE under GHC 8.2.2 & 8.4.3 Ben Gamari
  • Re: Constructor as outermost match in RULE under GHC 8.2.2 & 8.4.3 Conal Elliott
• Final Call for Talks -- Haskell Implementors' Workshop Joachim Breitner
• [ANNOUNCE] GHC 8.6.1-alpha2 available Ben Gamari
  • Re: [ANNOUNCE] GHC 8.6.1-alpha2 available Jens Petersen
  • Re: [ANNOUNCE] GHC 8.6.1-alpha2 available Andrés Sicard-Ramírez
• FYI Doaitse Swierstra
• I discovered that the uu-options package does not compile due to a dependency on lenses, which does not compile with GHC 8.4 Doaitse Swierstra
• 2nd Call for Talks -- Haskell Implementors' Workshop Joachim Breitner
• [ANNOUNCE] GHC 8.6.1-alpha1 available Ben Gamari
  • Re: [ANNOUNCE] GHC 8.6.1-alpha1 available Ben Gamari
  • Re: [ANNOUNCE] GHC 8.6.1-alpha1 available George Colpitts
  • Re: [ANNOUNCE] GHC 8.6.1-alpha1 available Ben Gamari
• Testing that packages still compile Sébastien Hinderer
  • Re: Testing that packages still compile davean
  • Re: Testing that packages still compile Carter Schonwald
  • Re: Testing that packages still compile Mikolaj Konarski
  • Re: Testing that packages still compile Sébastien Hinderer
• The dreaded windows path length issue Erik de Castro Lopo
  • Re: The dreaded windows path length issue Tamar Christina
• [ANNOUNCE] GHC 8.4.3 released Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.3 released Jens Petersen
• Natural number comparisons with evidence Conal Elliott
  • Re: Natural number comparisons with evidence David Feuer
  • Re: Natural number comparisons with evidence Conal Elliott
  • Re: Natural number comparisons with evidence Conal Elliott
  • Re: Natural number comparisons with evidence David Feuer
  • Re: Natural number comparisons with evidence Conal Elliott
  • Re: Natural number comparisons with evidence Richard Eisenberg
  • Re: Natural number comparisons with evidence Conal Elliott
  • Re: Natural number comparisons with evidence Joe Hendrix
  • RE: Natural number comparisons with evidence Simon Peyton Jones via Glasgow-haskell-users
  • Re: Natural number comparisons with evidence Conal Elliott
• PSA for Cabal 2.2 new-* users regarding .ghc.environment files Gershom B
  • Re: PSA for Cabal 2.2 new-* users regarding .ghc.environment files Herbert Valerio Riedel
  • Re: PSA for Cabal 2.2 new-* users regarding .ghc.environment files Carter Schonwald
• Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals] Anthony Clayden
  • Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals] cheater00 cheater00
  • Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals] Anthony Clayden
  • Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals] Brandon Allbery
  • Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals] Carter Schonwald
  • Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals] Anthony Clayden
  • Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals] Carter Schonwald
  • Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals] Carter Schonwald
• Re: Open up the issues tracker on ghc-proposals Anthony Clayden
  • RE: Open up the issues tracker on ghc-proposals Simon Peyton Jones via Glasgow-haskell-users
  • Re: Open up the issues tracker on ghc-proposals Anthony Clayden
  • Re: Open up the issues tracker on ghc-proposals David Feuer
  • Re: Open up the issues tracker on ghc-proposals Anthony Clayden
  • RE: Open up the issues tracker on ghc-proposals Simon Peyton Jones via Glasgow-haskell-users
  • Scoped type variables Re: Open up the issues tracker on ghc-proposals Carter Schonwald
  • Re: Open up the issues tracker on ghc-proposals Anthony Clayden
  • Re: Open up the issues tracker on ghc-proposals Joachim Breitner
• [ANNOUNCE] GHC 8.4.2 released Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.2 released Jens Petersen
• Accessing 'Annotations' of modules in external packages Ranjit Jhala
  • Re: Accessing 'Annotations' of modules in external packages Christiaan Baaij
• .ghci runs after flag parsing? Evan Laforge
• 8.4.1 ghci findings Evan Laforge
• ghc 8.0.2 vs 8.4.1 compilation time and performance Evan Laforge
• "strange" error Apostolos Syropoulos via Glasgow-haskell-users
• [ANNOUNCE] GHC 8.4.1 released Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.1 released Sven Panne
  • Re: [ANNOUNCE] GHC 8.4.1 released Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.1 released Niklas Larsson
  • Re: [ANNOUNCE] GHC 8.4.1 released Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.1 released Vassil Ognyanov Keremidchiev
  • Re: [ANNOUNCE] GHC 8.4.1 released Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.1 released Vassil Ognyanov Keremidchiev
  • Re: [ANNOUNCE] GHC 8.4.1 released Jens Petersen
  • Re: [ANNOUNCE] GHC 8.4.1 released Apostolos Syropoulos via Glasgow-haskell-users
  • Re: [ANNOUNCE] GHC 8.4.1 released Ben Gamari
• How to highlighting subexpressions in dumped core? Joachim Breitner
  • RE: How to highlighting subexpressions in dumped core? Simon Peyton Jones via Glasgow-haskell-users
  • Re: How to highlighting subexpressions in dumped core? Joachim Breitner
• GHC 8.4.1-rc1 is slower on a ray-tracer project Vassil Ognyanov Keremidchiev
  • Re: GHC 8.4.1-rc1 is slower on a ray-tracer project Ben Gamari
  • Re: GHC 8.4.1-rc1 is slower on a ray-tracer project David Feuer
  • Re: GHC 8.4.1-rc1 is slower on a ray-tracer project Vassil Ognyanov Keremidchiev
  • Re: GHC 8.4.1-rc1 is slower on a ray-tracer project Vassil Ognyanov Keremidchiev
  • Re: GHC 8.4.1-rc1 is slower on a ray-tracer project Ben Gamari
• [ANNOUNCE] GHC 8.4.1-rc1 available Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.1-rc1 available Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.1-rc1 available Ben Gamari
• GHC for Plugins Matt Walker
• GHC 8.2.2 for WSL Ubuntu 16.04 64 bit Yitzchak Gale
• unsafeCoerce shenanigans David Feuer
• Quantified Constraints and Injectivity Anthony Clayden
• [ANNOUNCE] GHC 8.4.1-alpha3 available Ben Gamari
• (Failing to) look up names generated by Template Haskell Ranjit Jhala
  • Re: (Failing to) look up names generated by Template Haskell Ranjit Jhala
• Why is EvTerm limited? Joachim Breitner
  • RE: Why is EvTerm limited? Simon Peyton Jones via Glasgow-haskell-users
• Maybe String -> CoreExpr in a GHC plugin Joachim Breitner
  • Re: Maybe String -> CoreExpr in a GHC plugin Joachim Breitner
• PSA: `cabal update` command needs manual unsticking Gershom B
  • Re: PSA: `cabal update` command needs manual unsticking Sven Panne
  • Re: PSA: `cabal update` command needs manual unsticking Michael Snoyman
  • Re: [Haskell-cafe] PSA: `cabal update` command needs manual unsticking Brandon Allbery
  • Re: [Haskell-cafe] PSA: `cabal update` command needs manual unsticking Carter Schonwald
  • Re: PSA: `cabal update` command needs manual unsticking Donn Cave
• [ANNOUNCE] GHC 8.4.1-alpha1 available Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.1-alpha1 available George Colpitts
  • Re: [ANNOUNCE] GHC 8.4.1-alpha1 available George Colpitts
  • Re: [ANNOUNCE] GHC 8.4.1-alpha1 available Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.1-alpha1 available Emanuel Borsboom
  • Re: [ANNOUNCE] GHC 8.4.1-alpha1 available Ben Gamari
  • [ANNOUNCE] GHC 8.4.1-alpha2 available Ben Gamari
  • Re: [ANNOUNCE] GHC 8.4.1-alpha2 available George Colpitts
• How to uninstall all cabal packages? Volker Wysk
  • Re: How to uninstall all cabal packages? Michael Snoyman
  • Re: How to uninstall all cabal packages? Volker Wysk
  • Re: How to uninstall all cabal packages? Thomas DuBuisson
  • Re: How to uninstall all cabal packages? Volker Wysk
• Rewrite rules involving LHS lambda? Conal Elliott
  • Re: Rewrite rules involving LHS lambda? Edward Kmett
  • Re: Rewrite rules involving LHS lambda? Conal Elliott
  • Re: Rewrite rules involving LHS lambda? Joachim Breitner
  • Re: Rewrite rules involving LHS lambda? Emil Axelsson
• [ANNOUNCE] GHC 8.2.2 released Ben Gamari
  • Re: [ANNOUNCE] GHC 8.2.2 released Ben Gamari
  • Re: [ANNOUNCE] GHC 8.2.2 released Jens Petersen
• Re: [was ghc-devs] Reasoning backwards with type families Anthony Clayden
  • Re: [was ghc-devs] Reasoning backwards with type families Carter Schonwald
  • Re: [was ghc-devs] Reasoning backwards with type families Anthony Clayden
  • Re: [was ghc-devs] Reasoning backwards with type families Clinton Mead
  • Re: [was ghc-devs] Reasoning backwards with type families Anthony Clayden

• Earlier messages
• Later messages