GitLab

nice numbers coming from these micro-benchmarks.

by elaborating the domain a bit.

I was too eager when fixing Trac #8566, and dropped too many
equalities on the floor, thereby causing Trac #8705.

The fix is easy: delete code.  Lots of new comments!

Since ($) simply returns its result, via a tail call, it can
perfectly well have an unlifted result type; e.g.
    foo $ True    where  foo :: Bool -> Int#
should be perfectly fine.

This used to work in GHC 7.2, but caused a Lint failure.  This patch
makes it work again (which involved removing code in TcExpr), but fixing
the Lint failure meant I had to make ($) into a wired-in Id.  Which
is not hard to do (in MkId).

There was a small mixup here, exposed by Trac #8762.
Now clarified with better function names and comments.

As discussed in the ticket, after the landing of #8773, GND is now
-XSafe compatible.

This fixes the test fallout as well. In particular SafeLang07 was
removed following in the steps of SafeLang06, since it no longer failed
from GND, but failed due to roles and was thus invalid.

The other tests were tweaked to use TemplateHaskell instead of GND in
order to trigger safety warnings.
Signed-off-by: Austin Seipp <austin@well-typed.com>

To make a role annotation on a class asserting a role other than
nominal, you now need -XIncoherentInstances. See the ticket for
more information as to why this is a good idea.

when matching a lambda in the template against an expression. When
matching, look through coercions (only for value lambdas for now), and
look through currently active unfoldings, if these are undersaturated,
i.e. produce a lambda.

This replaces the existing, somewhat fishy eta-expansion.

(This tests #2110.)

just like boxed type equalities.

Some nice improvements on already succeeding test cases (#876, #7954
and #4267)

Test #149 needed a little change, lest call arity causes a allocation
change that we do not want to test here.

This also sets precedence for testing internals of GHC directly, i.e.
without trying to come up with Haskell code and observable effects.
Let's see how that goes.

I put all the tests (including those where the analysis could do better)
in one file because starting the GHC API is quite slow.

yoeight authored Jan 11, 2014 and eir@cis.upenn.edu committed Feb 09, 2014

Signed-off-by: Richard Eisenberg <eir@cis.upenn.edu>

We should still have pattern synonyms in TH, though.

This also fixes the internal crash when using pattern synonyms
in GHCi (#8749)

This patch allows turning on ImpredicativeTypes while type-checking
the code generated by GeneralizedNewtypeDeriving. It does this
by adding a field ib_extensions to InstBindings, informing the
type-checker what extensions should be enabled while type-checking
the instance.

the ConTag may be out of range (e.g. if the type constructor is imported
via SOURCE and we don't know any of its data constructors); just return
Nothing without complaining in that case. This fixes #8743.

which only occurs when the instance being compiled is also present from
a .hs-boot file.

This tests various properties expected to hold for
quotRem, divMod, div, mod, quot, and rem.
Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

I forgot to push these from my win32 machine. A lot of them actually
look like a result of Herbert doing his GMP work, which might slightly
affect allocations on platforms like Windows (where we always use
in-tree GMP - but presumably Windows allocations could fluxuate slightly
due to minute details in the GMP implementation, too.)
Signed-off-by: Austin Seipp <austin@well-typed.com>

catching mistakes that I had during my refactoring, and which I do not
want to do again.

Signed-off-by: Austin Seipp <austin@well-typed.com>

My build settings were wrong last time.
Signed-off-by: Austin Seipp <austin@well-typed.com>

This reverts commit c5088e29.

Some of these are actually worse than I thought upon inspection, but
after a little digging I haven't found exactly what has caused them.
Some were certainly bitrotted, but others seem updated more recently, so
something has slipped.

I'll be filing a ticket about these.
Signed-off-by: Austin Seipp <austin@well-typed.com>

Rather hilarious (and my fault.)
Signed-off-by: Austin Seipp <austin@well-typed.com>

A few appear to have bitrotted a little. There are others we are
actually doing better on, but that will come in the next commit.
Signed-off-by: Austin Seipp <austin@well-typed.com>

Signed-off-by: Austin Seipp <austin@well-typed.com>