Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix dependency analysis (notably bindInstsOfLocalFuns) in TcBinds | simonpj@microsoft.com | 2006-09-05 | 1 | -72/+57 |
| | | | | | | | | | | | | | | | GHC 6.5 does enhanced dependency analysis for recursive bindings, to maximise polymorphism based on type signatures. (See Mark Jones's THIH paper.) I didn't do the bindInstsOfLocalFuns part correctly though, and jhc showed up the bug. (It only matters when you have a recursive group of two or more functions with a type signature, not at top level, which is why it hasn't shown up till now.) Test is tc207.hs | ||||
* | Add note about overlapping instances | simonpj@microsoft.com | 2006-09-05 | 1 | -2/+14 |
| | |||||
* | Record that TH doesn't support pattern types signature | simonpj@microsoft.com | 2006-09-05 | 1 | -0/+8 |
| | |||||
* | Fix typos. | Ian Lynagh | 2006-09-04 | 1 | -4/+4 |
| | |||||
* | Refactoring for derived Read | simonpj@microsoft.com | 2006-09-04 | 1 | -19/+29 |
| | | | | | | | | | | | | | | | | | | | | There are no functional changes in this commit. But the code for derived Read is refactored to make it tidier --- and also to make it very easy if we want derived Read to parse the prefix form of infix ocnstructors. For example, data T = Int `T1` Int According to the H98 report, the derived Read instance will parse infix uses of T1, but not prefix uses (T1 4 3). It's arguable that it should parse both -- and easy to implement, but it would cause a little bit of code bloat. Similarly records. Anyway this commit doesn't implement the change; just makes it easy to do so. | ||||
* | Enable bang-patterns only when the flag says so (had missed a case before) | simonpj@microsoft.com | 2006-09-04 | 1 | -2/+6 |
| | |||||
* | Improve pretty-printing for HsExpr | simonpj@microsoft.com | 2006-09-04 | 1 | -15/+21 |
| | |||||
* | Remove linear implicit parameters, and document in release notes | simonpj@microsoft.com | 2006-09-04 | 2 | -1/+15 |
| | |||||
* | Release notes should mention better newtype-deriving | simonpj@microsoft.com | 2006-09-04 | 3 | -2/+8 |
| | |||||
* | Documentation for bang patterns, and other improvements | simonpj@microsoft.com | 2006-09-04 | 2 | -51/+219 |
| | |||||
* | Add a hint on tab completion | Ian Lynagh | 2006-09-03 | 1 | -0/+6 |
| | |||||
* | Add :main docs to ghci commands page | Ian Lynagh | 2006-09-03 | 1 | -0/+32 |
| | |||||
* | Ambiguities are now allowed in ghci command names | Ian Lynagh | 2006-09-03 | 1 | -4/+2 |
| | |||||
* | More output updates | Ian Lynagh | 2006-09-03 | 1 | -10/+3 |
| | |||||
* | Add docs for :main | Ian Lynagh | 2006-09-03 | 1 | -0/+28 |
| | |||||
* | More doc output fixes | Ian Lynagh | 2006-09-03 | 1 | -9/+14 |
| | |||||
* | Update ghci output in docs | Ian Lynagh | 2006-09-03 | 1 | -3/+3 |
| | |||||
* | Fix typo | Ian Lynagh | 2006-09-03 | 1 | -1/+1 |
| | |||||
* | Update ghci output in docs | Ian Lynagh | 2006-09-03 | 1 | -36/+36 |
| | |||||
* | Remove a tab causing ghci's :? alignment to go wrong | Ian Lynagh | 2006-09-03 | 1 | -1/+1 |
| | |||||
* | Don't lose linked list tail | Esa Ilari Vuokko | 2006-08-31 | 1 | -1/+1 |
| | |||||
* | Fix Windows MBlock alloctor bookkeeping bug | Esa Ilari Vuokko | 2006-08-30 | 1 | -10/+10 |
| | |||||
* | -fglasgow-exts no longer implies -fbang-patterns | simonpj@microsoft.com | 2006-09-01 | 1 | -2/+1 |
| | |||||
* | Fix error in release notes, spotted by Esa Ilari Vuokko | Ian Lynagh | 2006-09-01 | 1 | -17/+0 |
| | |||||
* | Remove changes in packages we don't build | Ian Lynagh | 2006-09-01 | 1 | -270/+0 |
| | |||||
* | Don't enable SMP if we are unregisterised | Ian Lynagh | 2006-08-29 | 1 | -1/+1 |
| | |||||
* | Add a pointer to the fundeps paper | simonpj@microsoft.com | 2006-08-31 | 1 | -0/+5 |
| | |||||
* | free the task *after* calling closeCond and closeMutex | Simon Marlow | 2006-08-31 | 1 | -1/+1 |
| | |||||
* | add missing ghc_ge_605 | Simon Marlow | 2006-08-31 | 1 | -0/+2 |
| | |||||
* | don't closeMutex() the Capability lock | Simon Marlow | 2006-08-31 | 1 | -2/+4 |
| | | | | | | | | | | | | | There might be threads in foreign calls that will attempt to return via resumeThread() and grab this lock, so we can't safely destroy it. Fixes one cause of internal error: ASSERTION FAILED: file Capability.c, line 90 although I haven't repeated that assertion failure in the wild, only with a specially crafted test case, so I can't be sure I really got it. | ||||
* | fix Unix build | Simon Marlow | 2006-08-30 | 1 | -0/+2 |
| | |||||
* | add sysErrorBelch() for reporting system call errors | Simon Marlow | 2006-08-30 | 7 | -14/+102 |
| | |||||
* | call ShutdownIOManager() before closing handles | Simon Marlow | 2006-08-30 | 1 | -1/+1 |
| | | | | | | | To avoid IO requests completing only to discover that the completed_table_sema has been CloseHandle()'d. This all looks a bit wrong, though: we shouldn't really be waiting for these requests to complete, they might take forever. | ||||
* | Windows: make some soft failures into fatal errors | Simon Marlow | 2006-08-30 | 1 | -5/+10 |
| | | | | | | Some of the memory allocation calls were being checked for error, but the RTS was printing a message and continuing. These error cases lead to crashes later, so better to just fail immediately. | ||||
* | MAYBE_GC: initialise HpAlloc | Simon Marlow | 2006-08-30 | 1 | -0/+1 |
| | | | | | | | | | HpAlloc was not being set when returning to the scheduler via MAYBE_GC(), which at the least was just wrong (the scheduler might allocate a large block more than once), and at worst could lead to crashes if HpAlloc contains garbage. Fixes at least one threaded2 test on Windows. | ||||
* | FILL_SLOP: don't fill slop for BLACKHOLE/CAF_BLACKHOLE | Simon Marlow | 2006-08-30 | 1 | -0/+6 |
| | | | | This affects -debug only, avoids crash with test conc012. | ||||
* | oops, got the sense of the error case wrong | Simon Marlow | 2006-08-29 | 1 | -1/+1 |
| | |||||
* | fix some rerrors in the worker counting | Simon Marlow | 2006-08-29 | 1 | -6/+10 |
| | |||||
* | add missing case for BlockedOnDoProc | Simon Marlow | 2006-08-29 | 1 | -0/+3 |
| | |||||
* | omit HGL on Windows | Simon Marlow | 2006-08-29 | 1 | -0/+4 |
| | |||||
* | Don't trust "ln -sf" to do the right thing (it doesn't on Solaris) | Simon Marlow | 2006-08-29 | 1 | -2/+3 |
| | | | | Patch from: Roman Leshchinskiy | ||||
* | don't include HaXml, Japi and monads in a GHC checkout | Simon Marlow | 2006-08-29 | 1 | -3/+0 |
| | | | | | They aren't built as part of a GHC build anyway, it doesn't make much sense to include them in checkouts or source tarballs. | ||||
* | don't include .depend (attempt to fix Windows stage2 build failure) | Simon Marlow | 2006-08-29 | 1 | -2/+0 |
| | |||||
* | Add mipsel case to configure.ac | Ian Lynagh | 2006-08-25 | 1 | -0/+9 |
| | |||||
* | incremented versions of arrows and X11 | Ross Paterson | 2006-08-25 | 1 | -2/+2 |
| | |||||
* | omit Control.Sequential.STM | Ross Paterson | 2006-08-25 | 1 | -8/+0 |
| | | | | It's an internal module used by non-GHC implementations only. | ||||
* | various minor tweaks, and rearrange to put "important" changes near the top | Simon Marlow | 2006-08-25 | 1 | -123/+139 |
| | |||||
* | mention -fno-mono-pat-binds, since this is a diversion from Haskell 98 | Simon Marlow | 2006-08-25 | 1 | -1/+4 |
| | |||||
* | Document SMP support | Simon Marlow | 2006-08-25 | 5 | -587/+195 |
| | |||||
* | Load the target of a dynamic foreign call into a temporary | Simon Marlow | 2006-08-25 | 1 | -5/+15 |
| | | | | | Fixes ffi011(opt) on x86_64. I don't know why this has only just appeared today, it's apparently been broken for some time. |