[GHC Proposal] "Constraint to Bool" wired-in type family

Hello everyone, Sylvain Henry just opened Pull Request #22 [1] against the ghc-proposals repository. This proposal describes a type family which would given users access to type-level evidence of the satisfiability of a constraint. Please feel free to read and discuss the proposal on the pull

Re: GHC Trac spam filter is rejecting new registrations

Robert Henderson writes: > Hi, > > I've been trying to register a new account on GHC Trac in order to > submit a bug report, and I'm getting the following error: > > Submission rejected as potential spam > SpamBayes determined spam probability of 90.82% > Oh dear, very

GHC Trac spam filter is rejecting new registrations

Hi, I've been trying to register a new account on GHC Trac in order to submit a bug report, and I'm getting the following error: Submission rejected as potential spam SpamBayes determined spam probability of 90.82% Could this be a bug or issue with a recent release of the Trac software?

RE: Testsuite threadsafety

Thanks! Had missed the spawning of a new process part. From: Ben Gamari Sent: Saturday, October 15, 2016 00:12 To: loneti...@gmail.com; ghc-devs@haskell.org Subject: Re: Testsuite threadsafety loneti...@gmail.com writes: > Hi *, > > I’m trying to understand a few pieces of code in the