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

[Ben Gamari]

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 request.

Cheers,

- Ben


[1] https://github.com/ghc-proposals/ghc-proposals/pull/22


signature.asc
Description: PGP signature
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Trac spam filter is rejecting new registrations

[Ben Gamari]

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 sorry about that. I've adjusted the spam filter
configuration; can you try again?

> Could this be a bug or issue with a recent release of the Trac software?
> I've noticed people complaining about the same problem on other websites
> that use Trac, e.g.:
>
It's not a bug; it's just that spammers are quite good at emulating
humans and unfortunately Trac doesn't have very strong tools for
catching them. We use a Bayesian spam classifier to catch Trac spam, but
sadly it's imperfect.

Thanks for bringing up your issue!

Cheers,

- Ben


signature.asc
Description: PGP signature
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

GHC Trac spam filter is rejecting new registrations

[Robert Henderson]

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?
I've noticed people complaining about the same problem on other websites
that use Trac, e.g.:

  https://dev.haiku-os.org/ticket/12947
  https://forum.openwrt.org/viewtopic.php?id=67711

Thanks,

Rob Henderson
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

RE: Testsuite threadsafety

[lonetiger]

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 testsuite,
>
> As it so happens quite a few tests randomly fail on newer msys2 and python 
> installs:
>
>r:/temp/ghctest-0u4c8o/test   spaces/./th/T12407.run   
>  T12407 [ext-interp] ([Error 183] Cannot create a file when that 
> file already exists: 'r:/temp/ghctest-0u4c8o/test   spaces/./th/T12407.run')
>r:/temp/ghctest-0u4c8o/test   spaces/./th/T11463.run   
>  T11463 [ext-interp] ([Error 183] Cannot create a file when that 
> file already exists: 'r:/temp/ghctest-0u4c8o/test   spaces/./th/T11463.run')
>r:/temp/ghctest-0u4c8o/test   spaces/./th/T12478_4.run 
>  T12478_4 [ext-interp] ([Error 183] Cannot create a file when 
> that file already exists: 'r:/temp/ghctest-0u4c8o/test   
> spaces/./th/T12478_4.run')
>r:/temp/ghctest-0u4c8o/test   spaces/./th/T12478_3.run 
>  T12478_3 [ext-interp] ([Error 183] Cannot create a file when 
> that file already exists: 'r:/temp/ghctest-0u4c8o/test   
> spaces/./th/T12478_3.run')
>
> (I say random, but the set of tests seem to be the same ones, just within 
> that group a few randomly pass every so often. It’s mostly TH tests.)
>
> Anyone have any ideas? I’m not very familiar with the internals of the 
> testsuite.
>
> Secondly, I’ve noticed all paths in the testsuite are relative paths. And 
> this hand me wondering, relative to what. 
>
> I see that in do_test we actually change directories
>
> 837 if opts.pre_cmd: 
> 838 exit_code = runCmd('cd "{0}" && {1}'.format(opts.testdir, 
> opts.pre_cmd))
>
If I understand this correctly, this is merely spawning off a child
shell process which then moves its own cwd to opts.testdir. This should
not affect the cwd of the testsuite driver, which means that it should
be perfectly safe.

Cheers,

- Ben

___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs