| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
|
|
| |
This corresponds to the RC of the soon-to-be Cabal 1.20 release
One noteworthy change is the removal of the `--with-ranlib` flag
requiring a small adaptation in the GHC build system.
Moreover two new licences were added, MPL and BSD2.
Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Trac #8985 showed up a major shortcoming in the kind unifier: it was
ignoring untoucability. This has unpredictably-bad consequences;
notably, the skolem-escape check can fail.
There were two things wrong
* TcRnMonad.isTouchableTcM was returning a constant value for kind variables
(wrong), and even worse the constant was back-to-front (it was always False).
* We weren't even calling isTouchableTcM in TcType.unifyKindX.
I'm not sure how this ever worked.
Merge to 7.8.3 in due course.
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
| |
This submodule update was forgotten to be included in
eeaea2df3fa585db503034f419c6e4331a4d8a84
Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
|
| |
|
| |
|
|
|
|
| |
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
|
|
|
|
| |
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
|
| |
|
|
|
|
| |
in pattern synonym definitions
|
| |
|
| |
|
|
|
|
| |
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
In tidying up the flattener I introduced an error that no
regression test caught, giving rise to Trac #8978, #8979.
It shows up if you have a type synonym whose RHS mentions
type functions, such sas
type family F a
type T a = (F a, a) -- This synonym isn't properly flattened
The fix is easy, but sadly the bug is in the released GHC 7.8.1
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
check_stdout(f) allows you to override the test framework's
diff based output checking with another mechanism. f is
a function which takes two arguments: the first is the
filename containing the observed stdout, the second is the
normaliser that would have been applied (in case you want
to read, normalise, and then do something.)
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
|
|
|
|
|
|
|
|
|
|
|
| |
This change adds a suggestion
Possible fix: add a type signature for âfâ
when we have a GADT-style definition with a
type we can't figure out.
See Note [Suggest adding a type signature] in TcErrors.
This initially came up in the discussion of Trac #8968.
|
| |
|
|
|
|
|
|
|
| |
I don't think there should be any change in behaviour, but
the code is clearer now. Function checkSize is elimiated
in favour of doing those checks before (rather than after)
splitFun/splitThunk.
|
|
|
|
|
|
|
|
|
|
| |
See Note [Demand analysis for trivial right-hand sides] in DmdAnal.
This allows a function with arity 2 to have a DmdSig with 3 args;
which in turn had a knock-on effect, which showed up in the test for
Trac #8963.
In fact it seems entirely reasonable, so this patch removes the
WARN and CoreLint checks that were complaining.
|
|
|
|
|
|
|
|
|
| |
One important reason is that gcc 4.8.1 sometimes crashes:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60436
Another reason is that preprocessing assembly files unnecessarily
slows down compilation.
|
| |
|
| |
|
|
|
|
| |
This was just an omission, which showed up as Trac #8966
|
| |
|
| |
|
|
|
|
| |
Signed-off-by: Austin Seipp <austin@well-typed.com>
|
|
|
|
|
|
|
|
|
| |
I got sucked into a significant refactoring of the way that
Typeable instances are derived. This makes it simpler and
more uniform.
I also improved the documentation in the user manual. Typeable
really is different to other classes, and now gets its own subsection.
|
| |
|
| |
|
|
|
|
| |
Many are improvements!
|
| |
|
|
|
|
| |
(#8961)
|
| |
|
|
|
|
|
| |
We now do role inference on stupid datatype contexts, allowing a
lightweight role annotation syntax.
|
| |
|
|
|
|
|
| |
I don't want to fall back to gettimeofday(), because that might have a
different absolute value.
|
| |
|
|
|
|
|
|
|
|
|
|
| |
This bumps the amount of default reserved and committed stack for GHC
executables to 8mb, to work around #8870. A proper fix should happen in
7.8.2
See note [Windows stack usage] in SysTools for the details.
Signed-off-by: Austin Seipp <austin@well-typed.com>
|
|
|
|
| |
This reverts commit a79613a75c7da0d3d225850382f0f578a07113b5.
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This fixes Trac #8954.
There were actually three places where tuple occ-names
were parsed:
- IfaceEnv.lookupOrigNameCache
- Convert.isBuiltInOcc
- OccName.isTupleOcc_maybe
I combined all three into TysWiredIn.isBuiltInOcc_maybe
Much nicer.
|
|
|
|
|
|
| |
This addresses #8950. However, the problem isn't completely solved,
because the Prelude types' Typeable instances are not created by
AutoDeriveTypeable.
|
| |
|
|
|
|
|
|
|
|
|
|
| |
This is just making the parser behave more sensibly, and return
the list [x,y,z] from the signature
x,y,z :: Int
rathe than [x,z,y] as now.
Turns out that the other use of sig_vars *did* do the right
thing already.
|
| |
|
|
|
|
| |
A palpable bug, although one that will rarely bite
|