summaryrefslogtreecommitdiff
path: root/testsuite/tests
Commit message (Collapse)AuthorAgeFilesLines
...
* Test case: GHCi uses UnicodeSyntax if the loaded file uses it.Joachim Breitner2014-06-064-0/+29
| | | | | Its marked as broken, as this does not work yet, but we are calling it a day here soon, so I want this to be recorded (#8959).
* Only use UnicodeSytanx pretty printing if the locale supports itJoachim Breitner2014-06-064-0/+19
| | | | using the same check as for unicode quotes.
* Use UnicodeSyntax when printingJoachim Breitner2014-06-064-0/+63
| | | | | When printing Haskell source, and UnicodeSyntax is enabled, use the unicode sytax characters (#8959).
* Update mod73 test outputJoachim Breitner2014-06-061-2/+2
| | | | | to what I observe on travis and on my validate machine, even though my local tree produces the previous output.
* Added testcase for #9069Sjoerd Visscher2014-06-062-0/+10
|
* Update test results (last minuite changes)Joachim Breitner2014-06-061-4/+4
|
* Add testcase for #9177 and adjust test outputJoachim Breitner2014-06-067-5/+47
|
* Fix compilation of cmm files with -outputdir (Trac #9050)Yuras Shumovich2014-06-052-0/+5
|
* Emit error in case of duplicate GRE; fixes #7241Yuras Shumovich2014-06-054-5/+25
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Test Trac #9023Simon Peyton Jones2014-06-052-0/+7
|
* Subsume NullaryTypeClasses by MultiParamTypeClasses (#8993)Owen Stephens2014-06-043-3/+3
| | | | MPTC now also handles the nullary case
* Add :kind test in T7730Simon Peyton Jones2014-06-032-0/+15
|
* Do pretty-printing of TyThings via IfaceDecl (Trac #7730)Simon Peyton Jones2014-06-0323-230/+134
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | All the initial work on this was done fy 'archblob' (fcsernik@gmail.com); thank you! I reviewed the patch, started some tidying, up and then ended up in a huge swamp of changes, not all of which I can remember now. But: * To suppress kind arguments when we have -fno-print-explicit-kinds, - IfaceTyConApp argument types are in a tagged list IfaceTcArgs * To allow overloaded types to be printed with =>, add IfaceDFunTy to IfaceType. * When printing data/type family instances for the user, I've made them print out an informative RHS, which is a new feature. Thus ghci> info T data family T a data instance T Int = T1 Int Int data instance T Bool = T2 * In implementation terms, pprIfaceDecl has just one "context" argument, of type IfaceSyn.ShowSub, which says - How to print the binders of the decl see note [Printing IfaceDecl binders] in IfaceSyn - Which sub-comoponents (eg constructors) to print * Moved FastStringEnv from RnEnv to OccName It all took a ridiculously long time to do. But it's done!
* Fix missing unlockClosure() call in tryReadMVar (#9148)Simon Marlow2014-05-302-0/+16
|
* Disable FixEither tests in TcCoercibleJoachim Breitner2014-05-302-5/+4
| | | | | This fixes #9153. It has not been noticed before because this TcCoercible does not run with "make fast=YES"
* Remove obsolete -fno-warn-amp from spec001Edward Z. Yang2014-05-291-1/+0
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Refresh recomp006 error message.Edward Z. Yang2014-05-291-1/+2
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* s/implict/implicit/iEdward Z. Yang2014-05-294-4/+4
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Add missing stderr file for tcrun045.Edward Z. Yang2014-05-291-0/+6
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Fix bitrotted GHC API test T6145.Edward Z. Yang2014-05-292-3/+4
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Add .gitignore for autogenerated test files.Edward Z. Yang2014-05-2927-1/+71
| | | | | | | | I used this shell command to automatically generate the lists: for i in `git ls-files -o --exclude-standard --directory`; do echo "`basename $i`" >> "`dirname "$i"`/.gitignore"; done Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Update T4891, T8639_api to follow 73c08ab10 (GHCi naming changes)Edward Z. Yang2014-05-293-10/+9
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Test Trac #9144Simon Peyton Jones2014-05-273-0/+42
|
* Add missing test file T7269Simon Peyton Jones2014-05-261-0/+13
|
* Fix yet another bug in 'deriving' for polykinded classes (Trac #7269)Simon Peyton Jones2014-05-264-6/+7
| | | | This patch makes the code a bit simpler if anything.
* Bump bytes-allocated for T3064Simon Peyton Jones2014-05-231-1/+2
| | | | I'm not sure why this has increased, but it seems small
* Make the unifier a fixpoint even for the free kind vars of a tyvarSimon Peyton Jones2014-05-233-0/+23
| | | | | | | | | | The (pure) unifier tcUnifyTys returns an idempotent substitution. But previously the kinds of type variables free in the range of the subst could have un-substituted kind variables. This patch fixes that, fixing Trac #9106. See Note [Finding the substitution fixpoint] in Unify
* Coercible: Test case for now broken(?) corner caseJoachim Breitner2014-05-202-0/+11
| | | | | | involving a non-terminating newtype. This worked before 7e78faf03. Probably not a problem, but still better to have a test case for it. See ticket #9117.
* Coercible: Unwrap newtypes before coercing under tyconsJoachim Breitner2014-05-202-0/+14
| | | | This fixes parts of #9117.
* Fix below warning by including "unistd.h" alsoGabor Greif2014-05-191-0/+1
| | | | | | | | exec_signals_prepare.c:26:5: warning: implicit declaration of function 'execv' is invalid in C99 [-Wimplicit-function-declaration] execv(argv[1], argv+1); ^ 1 warning generated.
* rts: remove stable-names from hashtable upon freeEdward Z. Yang2014-05-183-0/+15
| | | | | | This fixes #9078. Signed-off-by: Austin Seipp <austin@well-typed.com>
* ghc: Update containers submoduleAustin Seipp2014-05-182-17/+4
| | | | | | Also update a few tests, since containers now has IsList instances. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Add missing stack checks to stg_ap_* functions (#9001)Simon Marlow2014-05-143-0/+10
|
* In splitHsFunType, take account of prefix (->)Simon Peyton Jones2014-05-122-0/+7
| | | | This fixes Trac #9096
* Revert output of T5979Joachim Breitner2014-05-101-1/+1
| | | | | | | | this reverts 12332f1. The error message changes when there are two versions of transformers in the database, one of them hidden. That might be a bug of its own, but for now lets make the test case succeed after a fresh build. Affected developers should probably $ ./inplace/bin/ghc-pkg unregister transformers-0.3.0.0
* Require transformers for T5979Joachim Breitner2014-05-101-1/+1
| | | | | | in order to get a reliable error message (although the error message could be improved anyways to mention the explicit package the module is imported with.)
* testsuite: fix cc004Austin Seipp2014-05-091-2/+2
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* testsuite: fix cgrun051 exit codeAustin Seipp2014-05-091-1/+1
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Error message wibble, presumably due to recent changes in transformersSimon Peyton Jones2014-05-081-1/+1
|
* Better error message in vectoriserSimon Peyton Jones2014-05-081-2/+5
|
* Adding missing test files for #9071Simon Peyton Jones2014-05-066-0/+44
|
* Fix Trac #9071, an egregious bug in TcDeriv.inferConstraintsSimon Peyton Jones2014-05-061-0/+3
| | | | | | The constraints for Functor don't line up 1-1 with the arguments (they are fetched out from sub-terms of the type), but the surrounding code was mistakenly assuming they were in 1-1 association.
* Modularise pretty-printing for forallsSimon Peyton Jones2014-05-061-2/+2
| | | | | | | | | See TypeRep.pprUserForAll. This just makes forall-printing a bit more consistent. In particular, I wasn't seeing the kind foralls when displaying a CoAxiom or CoAxBranch The output on T7939 is just possible a bit too verbose now, but even if so that's an error in the right direction.
* Changed profiling output is fine (according to Simon Marlow)Simon Peyton Jones2014-05-051-29/+27
|
* Add -fno-full-laziness to get consistent profiling outputSimon Peyton Jones2014-05-051-1/+1
|
* Fix over-zealous unused-import warningSimon Peyton Jones2014-05-052-0/+7
| | | | | | See Note [Un-warnable import decls] in RnNames. Fixes Trac #9061.
* Revert "Per-thread allocation counters and limits"Simon Marlow2014-05-048-82/+0
| | | | | | | | Problems were found on 32-bit platforms, I'll commit again when I have a fix. This reverts the following commits: 54b31f744848da872c7c6366dea840748e01b5cf b0534f78a73f972e279eed4447a5687bd6a8308e
* Remove external coreAustin Seipp2014-05-037-86/+16
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Per-thread allocation counters and limitsSimon Marlow2014-05-028-0/+82
| | | | | | | | | | | | | | | | | | | | | | | This tracks the amount of memory allocation by each thread in a counter stored in the TSO. Optionally, when the counter drops below zero (it counts down), the thread can be sent an asynchronous exception: AllocationLimitExceeded. When this happens, given a small additional limit so that it can handle the exception. See documentation in GHC.Conc for more details. Allocation limits are similar to timeouts, but - timeouts use real time, not CPU time. Allocation limits do not count anything while the thread is blocked or in foreign code. - timeouts don't re-trigger if the thread catches the exception, allocation limits do. - timeouts can catch non-allocating loops, if you use -fno-omit-yields. This doesn't work for allocation limits. I couldn't measure any impact on benchmarks with these changes, even for nofib/smp.
* Fix scavenge_stack crash (#9045)Simon Marlow2014-04-292-0/+27
| | | | | | The new stg_gc_prim_p_ll stack frame was missing an info table. This is a regression since 7.6, because this stuff was part of a cleanup that happened in 7.7.
View Lorry Controller Status