glasgow-haskell-users
Thread
Date
Earlier messages
Later messages
Messages by Date
2018/12/10
Re: Equality constraints (~): type-theory behind them
Anthony Clayden
2018/12/10
Re: [cloud-haskell-developers] Does anyone have much experience generating Haskell from Coq?
Gershom B
2018/12/10
Re: Equality constraints (~): type-theory behind them
Tom Schrijvers
2018/12/08
Re: Guidelines for respectful communication
Tim Watson
2018/12/08
Does anyone have much experience generating Haskell from Coq?
Tim Watson
2018/12/07
Re: Equality constraints (~): type-theory behind them
Anthony Clayden
2018/12/07
[ANNOUNCE] GHC 8.6.3 is now available
Ben Gamari
2018/12/07
Re: Equality constraints (~): type-theory behind them
Adam Gundry
2018/12/06
Equality constraints (~): type-theory behind them
Anthony Clayden
2018/12/06
Guidelines for respectful communication
Simon Peyton Jones via Glasgow-haskell-users
2018/11/26
Summit on Advances in Programming Languages 2019
Simon Peyton Jones via Glasgow-haskell-users
2018/11/05
[ANNOUNCE] GHC 8.6.2 is now available
Ben Gamari
2018/10/26
Re: [ANNOUNCE] GHC 8.4.4 released
David Feuer
2018/10/26
Re: [ANNOUNCE] GHC 8.4.4 released
Carter Schonwald
2018/10/25
Re: Happy / Alex description for Haskell2010
Sam Halliday
2018/10/25
Re: Happy / Alex description for Haskell2010
Doaitse Swierstra
2018/10/25
Happy / Alex description for Haskell2010
Sam Halliday
2018/10/20
Re: [ANNOUNCE] GHC 8.6.1 released
Evan Laforge
2018/10/18
Help inform GHC's development priorities
Ben Gamari
2018/10/18
Re: [ANNOUNCE] GHC 8.4.4 released
Ben Gamari
2018/10/18
Re: [ANNOUNCE] GHC 8.6.1 released
山本和彦
2018/10/16
Re: [ANNOUNCE] GHC 8.4.4 released
Jens Petersen
2018/10/14
[ANNOUNCE] GHC 8.4.4 released
Ben Gamari
2018/10/04
Re: [ANNOUNCE] GHC 8.6.1 released
山本和彦
2018/09/24
Re: [ANNOUNCE] GHC 8.6.1 released
Ben Gamari
2018/09/24
Re: [ANNOUNCE] GHC 8.6.1 released
Jens Petersen
2018/09/22
Re: [ANNOUNCE] GHC 8.6.1 released
George Colpitts
2018/09/22
Re: [ANNOUNCE] GHC 8.6.1 released
Evan Laforge
2018/09/22
Re: [ANNOUNCE] GHC 8.6.1 released
Herbert Valerio Riedel
2018/09/21
[ANNOUNCE] GHC 8.6.1 released
Ben Gamari
2018/09/16
Call for lightning talks and participation -- Haskell Implementors' Workshop
Joachim Breitner
2018/09/11
Re: [ANNOUNCE] GHC 8.6.1-beta1 available
Jens Petersen
2018/08/31
Re: Fwd: Unable to compile ghc-8.2.2 with ghc-8.4.3
Sven Panne
2018/08/31
Re: Fwd: Unable to compile ghc-8.2.2 with ghc-8.4.3
Brandon Allbery
2018/08/31
Re: Fwd: Unable to compile ghc-8.2.2 with ghc-8.4.3
Sven Panne
2018/08/31
Re: Fwd: Unable to compile ghc-8.2.2 with ghc-8.4.3
Ben Franksen
2018/08/31
Re: Unable to compile ghc-8.2.2 with ghc-8.4.3
Sam Halliday
2018/08/31
Re: Unable to compile ghc-8.2.2 with ghc-8.4.3
Ben Gamari
2018/08/31
Fwd: Unable to compile ghc-8.2.2 with ghc-8.4.3
Sven Panne
2018/08/31
Re: Unable to compile ghc-8.2.2 with ghc-8.4.3
Sam Halliday
2018/08/22
Re: Unable to compile ghc-8.2.2 with ghc-8.4.3
Ben Gamari
2018/08/22
Re: Unable to compile ghc-8.2.2 with ghc-8.4.3
Sam Halliday
2018/08/22
Re: Unable to compile ghc-8.2.2 with ghc-8.4.3
amindfv
2018/08/22
Re: Unable to compile ghc-8.2.2 with ghc-8.4.3
Sam Halliday
2018/08/22
Re: Unable to compile ghc-8.2.2 with ghc-8.4.3
Ben Gamari
2018/08/22
Unable to compile ghc-8.2.2 with ghc-8.4.3
Sam Halliday
2018/08/12
Re: [ANNOUNCE] GHC 8.6.1-beta1 available
Richard Eisenberg
2018/08/11
Re: [ANNOUNCE] GHC 8.6.1-beta1 available
Vassil Ognyanov Keremidchiev
2018/08/10
[ANNOUNCE] GHC 8.6.1-beta1 available
Ben Gamari
2018/08/03
Re: Constructor as outermost match in RULE under GHC 8.2.2 & 8.4.3
Conal Elliott
2018/08/03
Re: Constructor as outermost match in RULE under GHC 8.2.2 & 8.4.3
Ben Gamari
2018/08/02
Constructor as outermost match in RULE under GHC 8.2.2 & 8.4.3
Conal Elliott
2018/07/20
Re: [ANNOUNCE] GHC 8.6.1-alpha2 available
Andrés Sicard-Ramírez
2018/07/19
Re: [ANNOUNCE] GHC 8.6.1-alpha2 available
Jens Petersen
2018/07/16
Final Call for Talks -- Haskell Implementors' Workshop
Joachim Breitner
2018/07/15
[ANNOUNCE] GHC 8.6.1-alpha2 available
Ben Gamari
2018/07/11
FYI
Doaitse Swierstra
2018/07/11
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
2018/07/03
Re: Testing that packages still compile
Sébastien Hinderer
2018/07/02
2nd Call for Talks -- Haskell Implementors' Workshop
Joachim Breitner
2018/07/02
Re: [ANNOUNCE] GHC 8.6.1-alpha1 available
Ben Gamari
2018/07/01
Re: [ANNOUNCE] GHC 8.6.1-alpha1 available
George Colpitts
2018/06/30
Re: [ANNOUNCE] GHC 8.6.1-alpha1 available
Ben Gamari
2018/06/30
[ANNOUNCE] GHC 8.6.1-alpha1 available
Ben Gamari
2018/05/31
Re: Testing that packages still compile
Mikolaj Konarski
2018/05/31
Re: Testing that packages still compile
Carter Schonwald
2018/05/31
Re: [ANNOUNCE] GHC 8.4.3 released
Jens Petersen
2018/05/31
Re: Testing that packages still compile
davean
2018/05/31
Testing that packages still compile
Sébastien Hinderer
2018/05/30
Re: The dreaded windows path length issue
Tamar Christina
2018/05/29
The dreaded windows path length issue
Erik de Castro Lopo
2018/05/29
[ANNOUNCE] GHC 8.4.3 released
Ben Gamari
2018/05/24
Re: Natural number comparisons with evidence
Joe Hendrix
2018/05/24
Re: Natural number comparisons with evidence
Conal Elliott
2018/05/24
RE: Natural number comparisons with evidence
Simon Peyton Jones via Glasgow-haskell-users
2018/05/24
Re: Natural number comparisons with evidence
Conal Elliott
2018/05/24
Re: Natural number comparisons with evidence
Richard Eisenberg
2018/05/24
Re: Natural number comparisons with evidence
Conal Elliott
2018/05/24
Re: Natural number comparisons with evidence
David Feuer
2018/05/24
Re: Natural number comparisons with evidence
Conal Elliott
2018/05/24
Re: Natural number comparisons with evidence
Conal Elliott
2018/05/23
Re: Natural number comparisons with evidence
David Feuer
2018/05/23
Natural number comparisons with evidence
Conal Elliott
2018/05/20
Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals]
Carter Schonwald
2018/05/20
Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals]
Carter Schonwald
2018/05/20
Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals]
Anthony Clayden
2018/05/20
Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals]
Carter Schonwald
2018/05/19
Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals]
Brandon Allbery
2018/05/19
Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals]
Anthony Clayden
2018/05/13
Re: PSA for Cabal 2.2 new-* users regarding .ghc.environment files
Carter Schonwald
2018/05/12
Re: PSA for Cabal 2.2 new-* users regarding .ghc.environment files
Herbert Valerio Riedel
2018/05/12
PSA for Cabal 2.2 new-* users regarding .ghc.environment files
Gershom B
2018/05/08
Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals]
cheater00 cheater00
2018/05/04
Re: Open up the issues tracker on ghc-proposals
Anthony Clayden
2018/05/04
Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals]
Anthony Clayden
2018/05/03
Scoped type variables Re: Open up the issues tracker on ghc-proposals
Carter Schonwald
2018/05/03
RE: Open up the issues tracker on ghc-proposals
Simon Peyton Jones via Glasgow-haskell-users
2018/05/02
Re: Open up the issues tracker on ghc-proposals
Anthony Clayden
2018/05/02
Re: Open up the issues tracker on ghc-proposals
Joachim Breitner
2018/05/02
Re: Open up the issues tracker on ghc-proposals
David Feuer
2018/05/02
Re: Open up the issues tracker on ghc-proposals
Anthony Clayden
2018/05/02
RE: Open up the issues tracker on ghc-proposals
Simon Peyton Jones via Glasgow-haskell-users
2018/05/01
Re: Open up the issues tracker on ghc-proposals
Anthony Clayden
2018/04/30
Re: [ANNOUNCE] GHC 8.4.2 released
Jens Petersen
2018/04/20
Re: Accessing 'Annotations' of modules in external packages
Christiaan Baaij
2018/04/19
[ANNOUNCE] GHC 8.4.2 released
Ben Gamari
2018/04/18
Accessing 'Annotations' of modules in external packages
Ranjit Jhala
2018/04/04
.ghci runs after flag parsing?
Evan Laforge
2018/03/22
8.4.1 ghci findings
Evan Laforge
2018/03/21
ghc 8.0.2 vs 8.4.1 compilation time and performance
Evan Laforge
2018/03/15
"strange" error
Apostolos Syropoulos via Glasgow-haskell-users
2018/03/14
Re: [ANNOUNCE] GHC 8.4.1 released
Jens Petersen
2018/03/12
Re: [ANNOUNCE] GHC 8.4.1 released
Vassil Ognyanov Keremidchiev
2018/03/09
Re: [ANNOUNCE] GHC 8.4.1 released
Ben Gamari
2018/03/09
Re: [ANNOUNCE] GHC 8.4.1 released
Vassil Ognyanov Keremidchiev
2018/03/09
Re: [ANNOUNCE] GHC 8.4.1 released
Ben Gamari
2018/03/09
Re: [ANNOUNCE] GHC 8.4.1 released
Ben Gamari
2018/03/09
Re: [ANNOUNCE] GHC 8.4.1 released
Niklas Larsson
2018/03/09
Re: [ANNOUNCE] GHC 8.4.1 released
Sven Panne
2018/03/08
Re: [ANNOUNCE] GHC 8.4.1 released
Ben Gamari
2018/03/08
Re: [ANNOUNCE] GHC 8.4.1 released
Apostolos Syropoulos via Glasgow-haskell-users
2018/03/08
[ANNOUNCE] GHC 8.4.1 released
Ben Gamari
2018/03/07
Re: How to highlighting subexpressions in dumped core?
Joachim Breitner
2018/03/07
RE: How to highlighting subexpressions in dumped core?
Simon Peyton Jones via Glasgow-haskell-users
2018/03/06
How to highlighting subexpressions in dumped core?
Joachim Breitner
2018/02/28
Re: GHC 8.4.1-rc1 is slower on a ray-tracer project
Ben Gamari
2018/02/28
Re: GHC 8.4.1-rc1 is slower on a ray-tracer project
Vassil Ognyanov Keremidchiev
2018/02/28
Re: GHC 8.4.1-rc1 is slower on a ray-tracer project
Vassil Ognyanov Keremidchiev
2018/02/28
Re: GHC 8.4.1-rc1 is slower on a ray-tracer project
David Feuer
2018/02/28
Re: GHC 8.4.1-rc1 is slower on a ray-tracer project
Ben Gamari
2018/02/28
GHC 8.4.1-rc1 is slower on a ray-tracer project
Vassil Ognyanov Keremidchiev
2018/02/26
Re: [ANNOUNCE] GHC 8.4.1-rc1 available
Ben Gamari
2018/02/25
Re: [ANNOUNCE] GHC 8.4.1-rc1 available
Ben Gamari
2018/02/25
[ANNOUNCE] GHC 8.4.1-rc1 available
Ben Gamari
2018/02/13
GHC for Plugins
Matt Walker
2018/02/13
GHC 8.2.2 for WSL Ubuntu 16.04 64 bit
Yitzchak Gale
2018/02/12
unsafeCoerce shenanigans
David Feuer
2018/02/11
Quantified Constraints and Injectivity
Anthony Clayden
2018/02/06
[ANNOUNCE] GHC 8.4.1-alpha3 available
Ben Gamari
2018/01/25
Re: (Failing to) look up names generated by Template Haskell
Ranjit Jhala
2018/01/25
(Failing to) look up names generated by Template Haskell
Ranjit Jhala
2018/01/22
Re: [ANNOUNCE] GHC 8.4.1-alpha2 available
George Colpitts
2018/01/21
[ANNOUNCE] GHC 8.4.1-alpha2 available
Ben Gamari
2018/01/19
RE: Why is EvTerm limited?
Simon Peyton Jones via Glasgow-haskell-users
2018/01/19
Why is EvTerm limited?
Joachim Breitner
2018/01/19
Re: Maybe String -> CoreExpr in a GHC plugin
Joachim Breitner
2018/01/16
Maybe String -> CoreExpr in a GHC plugin
Joachim Breitner
2018/01/05
Re: PSA: `cabal update` command needs manual unsticking
Donn Cave
2018/01/05
Re: [Haskell-cafe] PSA: `cabal update` command needs manual unsticking
Carter Schonwald
2018/01/04
Re: [Haskell-cafe] PSA: `cabal update` command needs manual unsticking
Brandon Allbery
2018/01/02
Re: PSA: `cabal update` command needs manual unsticking
Michael Snoyman
2018/01/02
Re: PSA: `cabal update` command needs manual unsticking
Sven Panne
2018/01/01
PSA: `cabal update` command needs manual unsticking
Gershom B
2017/12/30
Re: [ANNOUNCE] GHC 8.4.1-alpha1 available
Ben Gamari
2017/12/29
Re: [ANNOUNCE] GHC 8.4.1-alpha1 available
Emanuel Borsboom
2017/12/22
Re: [ANNOUNCE] GHC 8.4.1-alpha1 available
Ben Gamari
2017/12/22
Re: [ANNOUNCE] GHC 8.4.1-alpha1 available
George Colpitts
2017/12/21
Re: [ANNOUNCE] GHC 8.4.1-alpha1 available
George Colpitts
2017/12/20
[ANNOUNCE] GHC 8.4.1-alpha1 available
Ben Gamari
2017/12/14
Re: [ANNOUNCE] GHC 8.2.2 released
Jens Petersen
2017/12/14
Re: [was ghc-devs] Reasoning backwards with type families
Clinton Mead
2017/12/14
Re: [was ghc-devs] Reasoning backwards with type families
Anthony Clayden
2017/12/13
Re: [was ghc-devs] Reasoning backwards with type families
Anthony Clayden
2017/12/13
Re: [was ghc-devs] Reasoning backwards with type families
Clinton Mead
2017/12/13
Re: [was ghc-devs] Reasoning backwards with type families
David Feuer
2017/12/13
Re: [was ghc-devs] Reasoning backwards with type families
Anthony Clayden
2017/12/13
Re: [was ghc-devs] Reasoning backwards with type families
Clinton Mead
2017/12/13
Re: [was ghc-devs] Reasoning backwards with type families
Anthony Clayden
2017/12/11
Re: [was ghc-devs] Reasoning backwards with type families
Carter Schonwald
2017/12/03
Re: How to uninstall all cabal packages?
Volker Wysk
2017/12/03
Re: How to uninstall all cabal packages?
Volker Wysk
2017/12/03
Re: How to uninstall all cabal packages?
Thomas DuBuisson
2017/12/03
Re: How to uninstall all cabal packages?
Michael Snoyman
2017/12/03
How to uninstall all cabal packages?
Volker Wysk
2017/12/03
Re: Rewrite rules involving LHS lambda?
Emil Axelsson
2017/12/02
Re: Rewrite rules involving LHS lambda?
Joachim Breitner
2017/12/02
Re: Rewrite rules involving LHS lambda?
Conal Elliott
2017/12/02
Re: Rewrite rules involving LHS lambda?
Edward Kmett
2017/12/02
Rewrite rules involving LHS lambda?
Conal Elliott
2017/11/21
Re: [ANNOUNCE] GHC 8.2.2 released
Ben Gamari
2017/11/21
[ANNOUNCE] GHC 8.2.2 released
Ben Gamari
2017/11/20
Re: [was ghc-devs] Reasoning backwards with type families
Anthony Clayden
2017/11/13
Re: uninstalling libraries
Tyson Whitehead
2017/11/13
Re: [Haskell-cafe] uninstalling libraries
Evan Laforge
2017/11/13
Re: [Haskell-cafe] uninstalling libraries
Dan Burton
2017/11/13
Re: [Haskell-cafe] uninstalling libraries
Evan Laforge
2017/11/13
Re: [Haskell-cafe] uninstalling libraries
Dan Burton
2017/11/12
Re: uninstalling libraries
Brandon Allbery
2017/11/12
Re: uninstalling libraries
Evan Laforge
2017/11/12
Re: uninstalling libraries
Brandon Allbery
2017/11/12
uninstalling libraries
Evan Laforge
2017/11/09
[ANNOUNCE] GHC 8.2.2 release candidate 3
Ben Gamari
2017/11/09
Re: Why is scanr strict in its third argument?
David Feuer
2017/11/09
Why is scanr strict in its third argument?
Geraint Jones
2017/11/08
Re: Proposal: Instance apartness guards
Anthony Clayden
2017/11/06
Re: [Haskell-cafe] [ANNOUNCE] GHC 8.2.2 release candidate 2
Sven Panne
2017/11/06
Re: [Haskell-cafe] [ANNOUNCE] GHC 8.2.2 release candidate 2
Ben Gamari
2017/11/05
Re: [ANNOUNCE] GHC 8.2.2 release candidate 2
Evan Laforge
2017/11/05
Re: [Haskell-cafe] [ANNOUNCE] GHC 8.2.2 release candidate 2
Sven Panne
2017/11/05
Re: [ANNOUNCE] GHC 8.2.2 release candidate 2
Sven Panne
Earlier messages
Later messages