| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
(this is related to #3647)
|
|
|
|
|
|
| |
Many of the files modified are just wibbles to output, because now
tycons have roles attached to them, which are produced in the debugging
dumps.
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This patch makes the Data.Typeable.Typeable class work with arguments of any
kind. In particular, this removes the Typeable1..7 class hierarchy, greatly
simplyfing the whole Typeable story. Also added is the AutoDeriveTypeable
language extension, which will automatically derive Typeable for all types and
classes declared in that module. Since there is now no good reason to give
handwritten instances of the Typeable class, those are ignored (for backwards
compatibility), and a warning is emitted.
The old, kind-* Typeable class is now called OldTypeable, and lives in the
Data.OldTypeable module. It is deprecated, and should be removed in some future
version of GHC.
|
|
|
|
|
|
|
|
| |
This allows them to give framework failures.
I also had to change how setTestOpts works. Now, rather than applying
the options to the directory's "default options", it just stores the
options to be applied for each test (i.e. once we know the test name).
|
|
|
|
| |
major TcErrors refactoring
|
|
|
|
|
|
|
|
|
| |
This big patch implements a kind-polymorphic core for GHC. The current
implementation focuses on making sure that all kind-monomorphic programs still
work in the new core; it is not yet guaranteed that kind-polymorphic programs
(using the new -XPolyKinds flag) will work.
For more information, see http://haskell.org/haskellwiki/GHC/Kinds
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
|
| |
I think ideally we should give the info from both the old and new
messages; i.e. "You wrote X, which I reduced to Y, which isn't valid".
That way if Y is an abstract newtype then it will be clearer why
the type wasn't valid. We used to only give X, and now we only give Y.
Finding X is now a little messier, especially in cases like ccfail005.
|
|\
| |
| |
| |
| |
| |
| |
| |
| | |
Conflicts:
tests/safeHaskell/safeLanguage/all.T
tests/safeHaskell/unsafeLibs/all.T
tests/typecheck/should_compile/all.T
tests/typecheck/should_compile/tc250.hs
tests/typecheck/should_compile/tc251.hs
|
| | |
|
|/ |
|
|\ |
|
| | |
|
|/ |
|
| |
|
| |
|
| |
|
| |
|
|
|