[commit: ghc] type-nats's head updated: Merge branch 'type-nats' of http://git.haskell.org/ghc into type-nats (a350667)
git at git.haskell.org
git at git.haskell.org
Mon Sep 2 16:44:36 CEST 2013
Repository : ssh://git@git.haskell.org/ghc
Branch 'type-nats' now includes:
ce89bde Simplify kind generalisation, and fix Trac #7916
22574cf fix comment (#7907)
1d3fa86 Fix a problem caused by very large objects (#7919)
1e2b378 Handle -opt<blah> options more consistently (#7909)
6cc5bd7 Make AutoDeriveTypeable derive Typeable instances for promoted data constructors
6806906 Fix #5863
09b025e Wibbles to yesterday's "Simplify kind generalisation" patch
b80fcce Comment typo
d8dd3cf Fix crash with large objects (#7919)
6f36790 Add an echo target to the build system
2ea79ab Revert "Fix -dynamic-too on Windows"
20d8e8c Don't try to use -dynamic-too on Windows
cf7e2fa Accept derived Read on an empty data type (Trac #7931)
3d0d8d0 Do not do an ambiguity check on the type in a GHCi ":kind" command
b94e98a Print kinds of non-* tyvar binders in pprTyThing
efc8ad1 Give 'unboundName' a very low binding precedence
cfb9bee Check for illegal syntax in types (fixes Trac #7943)
1ed0409 Make 'SPECIALISE instance' work again
5949ff2 Refine 'type_determines_value' in Specialise. Fix Trac #7785.
8d49ef1 Use new TcHsType.zonkSigType to establish Type invariants
936001c Improve validity check to give better error message
827cc50 Eta-reduce data/newtype family instance axioms (Trac #4185)
30059bd Fix Read for empty data types (again; Trac #7931)
bc5bf1b Remove an out-of-date comment
ac330cb Add a primitive for coercing values into dictionaries in a special case.
896d0f1 When verbose, give more information about cache status
26c7d94 Run ghc-pkg check during validate
7849266 Merge branch 'master' of http://darcs.haskell.org/ghc
3d81b68 Define chkAppend, and use it
d0ecba6 Fix a trailing case in making FamInstTyCon, where the invariant didn't hold, leading to subsequent chaos. Happily an ASSERT caught it.
192a8f9 set DYNAMIC_GHC_PROGRAMS to NO if platform does not support shared libs
8e51a7a add arm-unknown-linux to platforms which do not support shared libs
fc9229d Build statically when using LLVM.
da345e4 Use the symmetric version of the newtype coercion.
f83994e Add a comment
8c4d1ea Fix a comment
f05cbb1 Untabify
f39ca29 Untabify
a740302 Untabify
9a2f8cc Untabify
bc44435 Add the ability to customize the continuation prompt.
22e5b88 Formatting only: fix alignment.
9ac83e9 Reformat help message for `:show` to fit into 80 cols again.
cef115f Whitespace only
d43d63f Fix thunk leak in CoreM's CoreWriter
2642fe6 Update docs for "set prompt2"
4770877 Imrove Lint to check unfoldings
967f746 Fix panic on deriving a nullary typeclass (#7959)
da4ff65 Comments and white space only
99d4e5b Implement cardinality analysis
507c897 Comments about the Name Cache
6265312 Wibbles (merg-os) to ticky-ticky
a1a67b5 Add TyCon.checkRecTc, and use in in typeArity
9b817e5 Remove bogus-looking check, which was causing Trac #7894
3e7e5ba Use checkRecTc to improve demand analysis slightly
6673386 Transfer strictness on trivial right-hand sides
4669c9e Add important missing case for bothCPR
b2ba8ae Make the simplifier propagate strictness through casts
9616743 Take proper account of over-saturated functions in CoreUnfold
7f2a10f Better computeDiscount for ValAppCtxt
821b077 Traces and comments only
c0e4eef Whitespace only in compiler/simplCore/CSE.lhs
cfe92a8 Remove old representation of CSEnv; part of #5996
a28731b Add --show-options to list all flags (Fixes #7843)
0d86038 Improve the version numbers generated by the build system
972c044 use libffi for iOS adjustors; fixes #7718
16dc39e Outline 7.8.1 release notes.
1c5b051 Add support for byte endian swapping for Word 16/32/64.
86ca77e Fix warnings
6388932 Merge branch 'master' of http://darcs.haskell.org/ghc
f7c8c3d Whitespace only
68ba223 Fix a comment
22690c9 Remove ghc.spec
96eca81 Change how we check that we have a suitable 'make'
4c49772 Rarrange the distclean list; part of #7941
31b2706 Don't create mk/stamp-h
8c846f7 Fix substitution but in liftCoSubst (Trac #7973)
0239d78 Fix egregious typo in cmpTypeX
1cbfddb Make sure we quantify over the context in data constructors
fc927b3 Trace statements only
6ecfa98 Actually make the change described in 'Fix egregious typo in cmpTypeX'
716c2ae Merge branch 'master' of http://darcs.haskell.org/ghc
57fa437 punctuation in comment
2f9278d Typo in comment
91979ed Revert "Add support for byte endian swapping for Word 16/32/64."
4aa7fc8 Comment out function; consequence of reverting a553f18
262cab0 Fix the constraint simplifier (Trac #7967)
355d57a Remove trace that sometimes causes a loop
289be61 Remove dead code
db9b631 Avoid generating empty llvm.used definitions.
a532f40 Typo in hp2ps help output
2280f96 --show-options lists all flags. Add user documentation for #7843
5483b14 Cleaning fixes, and other build system tweaks; part of #7941
9e4348e Whitespace only in rts/storage/SMPClosureOps.h
5d9e686 Optimization for takeMVar/putMVar when MVar left empty; fixes #7923
d61c623 Allow multiple C finalizers to be attached to a Weak#
6770663 Check for a weak pointer being dead before we do any allocation for it
fe652a8 Maintain per-generation lists of weak pointers (#7847)
4ca8642 Add braces for clarity
9a8c20d Whitespace and braces only
75947bb Optimise lockClosure when n_capabilities == 1; fixes #693
b097dc9 Fix ghci crash when the user code closes stdin
71a194d Detect linker information at runtime. Fixes Trac #6063
6bd6139 Release note blurb for Linker fixes.
8f2f7a0 Add some missing clang bits to the build system.
5dc98a0 Work-around clang weirdness by adding a newline.
4c01e10 Use ideclImplicit to filter out only *implict* Prelude imports (Trac #7963)
b2cde43 Emit addUsedRdrNames for the datacons in a standalone deriving (Trac #7969)
73991d6 Remove redundant import, revealed by the fix to #7963
7b0695a Use assembler-with-cpp mode when running CPP.
232737a Suppress some more warnings from Clang.
d8ee2b0 Fix many ASSERT uses under Clang.
991f285 Fix rts/packages.conf.in ld-options for clang.
ebf97ad Untabify rts/packages.conf.in
5dc74f3 Actually fix rts/packages.conf.in ld-options.
e140837 Fix typo in header guard.
32edb6e Revert "Actually fix rts/packages.conf.in ld-options."
0ee9287 Revert "Untabify rts/packages.conf.in"
1898ea0 Revert "Fix rts/packages.conf.in ld-options for clang."
2ca4890 Re-untabify rts/packages.conf.in
f2c477e Fix #7661 regression.
6ca7525 Support QNXNTO for arm under LLVM
1a98329 Fix rts/package.conf.in ld-options for Clang.
3b02251 Document -fwarn-dodgy-imports changes in release notes. Trac #7167.
e4fc6fd Add release note blurb for Clang support.
88e97d9 Initialize ptr to NULL to silence Clang warning.
eeeec4f Don't use -finline-limit with Clang.
fe6db46 Ensure gc_thread->wakeup is of type StgWord8.
37e3f3f Ensure gc_type is StgWord8.
11db9cf Typo in note
569b265 Revise implementation of overlapping type family instances.
e381543 Whitespace only in HeaderInfo
ffe2e22 Fix #8009 : Failure to compile on powerpc64-linux.
0cb19bc Remove extra dashes in a flag name in the user guide
74a800b Use consistent dashes in the user guide
96ca465 The help flag is --help, not -help; fixes #8005
451e0dd Fix syntax in some code in the user guide; fixes #8007
f792ba4 Merge branch 'master' of http://darcs.haskell.org/ghc
3660ef9 Fix build on OS X
9ffe792 On OS X, fix the path to the libffi dynlib; fixes #7833
499d698 Run "sh ./configure" rather than "sh configure"; part of #7992
bdc3775 Add a work-around for #7978.
92f36df Fix the dynmaic library paths in the libs, as well as in the programs
7be5b44 Fix dynlib paths in the RTS too; part of #7833
03fbf8a Merge branch 'master' of http://darcs.haskell.org/ghc
f81e14b Allow the GHCi messages to be overridden via the GHC API; fixes #7456
ed341a2 Re-adjust whitespace
2066702 Break loop in interface typechecking (fixes Trac #8002)
59d6942 Tidy up the segmentation of mdo expressions
d2c3630 Make sure that Pretty.text is inlined in stage 0, so that RULE text/str gets a chance to fire (Trac #7995).
e662c62 Allow associated types as sub-names in an import list (Trac #8011)
e1cdaf3 White space and ordering only
e0801a0 Update the package database directory's timestamps when rebuilding the package cache.
0cb60ce Further fixes in RnNames, to make associated type exports work
316e8cb Document -XTypeOperators, which had escaped documentation altogether thus far
57284db Make noteMustPointToIt true of all non-top-level thunks
aa4c36e Fix typos
d67b993 Improve "No data constructor has all these fields" message (#7989)
a7798e9 Comments for Trac #7989
280a7ec Rework LLVM metadata representation to be more accurate.
3b1d920 Add ability to call functions with metadata as arguments to LLVM backend.
12148d9 Iteration on dterei's metadata design
99d3922 Use SDoc for all LLVM pretty-printing
720a87c Extend globals to aliases
8f0ecc0 Rewrite ppLlvmBlock to use standard library "break"
fa6cbdf Use full contents size for arrays
a948fe8 Major Llvm refactoring
fe44d05 LLVM refactor cleanups
8c5e734 Fix Trac #7939, and add kind inference to closed type families.
9b456df Fix stale comments around closed type families.
6a25e92 Update user's guide for kind inference for closed type families.
01234ec Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
7f65874 Merge TcSMonad.matchClass into TcInteract.matchClassInst
fb96f13 Fix Trac #8018.
e56b9d5 Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
1ae72ac Fix #7970, #2161, unfix #551
98810fe Fix build on Win64
aec9b2d Fix bumpTickyLitBy[E] on Win64; fixes #7940
448b981 Track haskeline Win64 fix
67aacde Fix Trac #8028.
fdc3761 Do not build dynamic libraries with the perf-llvm BuildFlavour.
c548fec Change the ranlib detection
606ec0a Merge branch 'master' of http://darcs.haskell.org/ghc
a5b7ee5 Comment out a leftover pprTrace
163de25 include FastString.string_table in CoreMonad.reinitializeGlobals
279ac9f copy the plugin's FastStringTable changes back into the host compiler
126285e Fix llvm.prefetch instrinct for old LLVM versions
a421252 Always have LLVM optimize globals
405a20c Remove spurious extra brace in LLVM metadata
a5913a2 Avoid needlessly splitting a UniqSupply when extracting a Unique (#8041)
60cb478 Fix segfault with STM; fixes #8035. Patch from errge.
36a5417 emacs-friendly completion command for ghci; part of #5687. Patch from hvr.
195626f Docs for ghci completion command for ghci; part of #5687. Patch from hvr.
b16cb73 Alpha rename some functions for consistency
12ed5c2 Fix build
08a3862 Disable executable stack for the linker note, fixing #703 (again)
ca9a431 Merge branch 'master' of http://darcs.haskell.org/ghc
70e2063 Implement atomicReadMVar, fixing #4001.
3a8c501 Add LOCK_CLOSURE macro for use in C--, which inlines the capability check.
190d34a Don't call dirty_MVAR on atomicReadMVar unless we change the MVar.
db8d4a3 Implement tryAtomicReadMVar#.
94f2057 Release note for atomicReadMVar and friends.
f6e9d4f Fix typo in description
48f462f Rename atomicReadMVar and friends to readMVar.
4115f23 This reverts commit 163de25813d12764aa5ded1666af7c06fee0d67e and commit 279ac9f66a83203448b279ea478b2cc1dafbd35d.
193e0ee adding FastString.string_table to the sharedCAF/Globals.c mechanism
2f99cdb Update docs for readMVar/tryReadMVar.
18087a1 Add support for byte endian swapping for Word 16/32/64.
95e6865 Fix bug in readMVar implementation: keep clean MVars clean.
7cbce1d Sync the list of default warnings with reality; fixes #8060.
49fc268 On second thoughts, don't document -fwarn-alternative-layout-rule-transitional
d3e0c76 Document -fwarn-pointless-pragmas; fixes #8049
9d88904 Add `:show linker` command to `:help` output
9b8b448 Add `:show imports` to completion table
e7de764 use prompt2 in `:set +m` mode
76d0cbc Add final remaining bits to fix #7978.
be89c67 Temporarily disable common block elimination; fixes #8083 for now
c234885 Fix a bug in stack layout with safe foreign calls (#8083)
de0f6c5 Whitespace only in deSugar/Desugar.lhs
8fe9eff Remove an unnecessary-looking import
cf8fba9 Some release note additions.
862b6d0 Use OrdLists when parsing export lists
75f762c Remove redundant parentheses
f749f06 Whitespace only in basicTypes/Avail.hs
0fa7cc9 Whitespace only in basicTypes/BasicTypes.lhs
fb520bb De-orphan a load of Binary instances
385055c Beautify a few Binary instances
ebaa332 Whitespace only in basicTypes/RdrName.lhs
8f377cc Whitespace only in deSugar/Match.lhs
b475be3 desugar code even when -fno-code is used; fixes #8101
9e185cc Remove an out-of-date comment (see #8101)
9e118d0 Move libffi's tarball into its own repo
1e25859 Rename doDynamicToo to dynamicTooMkDynamicDynFlags
e977524 Make sdist make a separate tarball for the Windows tarballs
a10e199 Change which files --make mode thinks are 'Haskellish'
0a3663b Added operational semantics to docs/core-spec.
838e2fd Add strength reduction rules (Fixes #7116)
4d7c6d0 Fix typos
5090288 Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
b74c73b Whitespace only in deSugar/MatchLit.lhs
4e7eb3a Add a warning for overflowing literals; fixes #7895
ef73963 Add NegativeLiterals extension
ffd7da3 Document the Negative Literals extension
02b7c1c Add -XNegativeLiterals to the flag list
abb3a9f Add a warning for empty enumerations; fixes #7881
bd0ab6c Fix Trac #8020.
303d3de Update to Cabal to allow RoleAnnotations
e8aa8cc Implement "roles" into GHC.
3cd1360 Refactor checking for GADT-like datacons' return types
968998e sync-all : Warn on 'pull' operation if not on master branch.
cda5054 mk/config.mk.in : Add powerpc-unknown-linux to NoSharedLibsPlatformList.
334131b .gitignore : Add libffi-tarballs.
9082111 Added support for writing and checking closed type families is hs-boot files.
0daee29 sync-all : Replace '~~' operator with something supported by older Perl.
253a5b7 Rename SSE -> XMM for consistency.
3e598fe Only use real XMM registers when assigning arguments.
a22e908 Normalize urls for Git submodules
4f43572 Make `sync-all remote set-url` use normalized `/packages/` urls
c12df18 sync-all: remove trailing '/' from root-urls in help text
b264f09 Whitespace change to test Trac/Gitolite.
c08bf88 Fix typo
11814a8 GHCi: Implement `%l` prompt substitution for line-number
94be588 Release notes for #8108.
e2b72ca Mark retry# as returning bottom.
789acb2 Fix invalid users guide synax.
c24ce5a Comments only
a27895b Add a missing untag to the non-updatable selector thunks (#7978)
5fb7255 Fix Stage1Only: don't build ghctags.
288ca49 iOS: generate archive files when compiling.
efde8ec Bump supported llvm version to 3.4.
3332737 Don't run the system linker unncessarily.
6579a6c Comparison primops return Int# (Fixes #6135)
94c35dd Don't delete HsTimeConfig.h.in during distclean.
ec621f3 Comments only
82d5aa0 Comments only
ac382ab Fix Trac #8138.
2e41f2f Add support for external repositories to sync-all
751e38f Eliminate trailing whitespace from Lexer.x
a6e53ea Eliminate trailing whitespace from Parser.y.pp
c498062 Remove dead code, fix a typo.
5d77d8d Dead code elimination.
96adf0e Improve error when using forall with UnicodeSyntax
83440fd Comments only
098c7d1 Add a better implementation of dropTail, and use it
4d5c9b7 Improve eta-reduction some more, when the function includes casts
f6ed2f5 Fix Haddock formatting
2fcc09f Comments only
c384bb1 Comments only
4eeccc1 Replace occurences of darcs.haskell.org by git.haskell.org
6cc7d3f Add note on isSafeOverlap field.
21db803 Update Win32 submodule.
9325b18 Comments only
f661e79 Fix typo
3f279f3 Trailing whitespaces, code formatting, detabify
e5374a1 Cleanup StgCmm pass
6b032db Remove unused module
388e14e Merge cgTailCall and cgLneJump into one function
d0b8c46 Comments only
8d7272b Added bullet in release notes about roles.
82bbc38 Added paragraph to user's guide about Nominal role for Set
3ca7ecb add casArray# primop, similar to casMutVar# but for array elements
1c45d05 Tweak stg_casArrayzh as per Simon Marlow's suggestion.
4b4c944 Update stg_casArrayzh to conform to new CMM conventions.
fa27838 Add PrimOp: casIntArray#. Modify casMutVar# for 'ticketed' style.
8750d54 Add PrimOp fetchAddIntArray# plus supporting C function atomic_inc_by.
25ad015 Eliminate atomic_inc_by and instead medofiy atomic_inc.
b38af65 Detabify
372053c In the non-threaded RTS, make *_barrier functions EXTERN_INLINE, not #define. (fixes #8077)
bdfefb3 Really unload object code when it is safe to do so (#8039)
d060837 Only add -O to C compilations if there was -O on the command line
4c864e2 Comments only
c24be4b Update release notes for GHC 7.8
6fd60b2 minor bugfix to casIntArray# and fetchAddIntArray#
0717462 Remove DYNAMIC_GHC_PROGRAMS tests in the linker
306fce6 Strings and comments only: 'to to ' fixes
cbe3dba Update email addresses
057628e MkIface: Mention that #include now adds dependent files
02babd8 MkIface: More specific comment about what forms the interface hash
4389cbd MkIface: When printing the recomp reason, make clear only mtime is used
16ae2f0 MkIface: Be consistent with do notation
677820e Fix interface hashes including time stamp of dependent files.
7aa922b Fix -Werror failure in Fingerprint.hsc
5258bff Remove trailing whitespace from MkIface
726d08a Remove trailing whitespace from HscTypes
3310068 Remove trailing whitespace from Fingerprint.hsc
b6a572b Add some more comments to UsageFile.
15616e7 Actually, split that last comment a bit.
fba693f Remove dead code.
d0ed42f Revert "Add support for external repositories to sync-all"
80ac75f Fix windows detection in ./sync-all.
48d7b0e Fingerprint: Fix comment typo
41be8d3 Fingerprint.getFileHash: Fix not reading file at all.
95ebff9 Fix validation failure in Fingerprint.hsc
22625f7 Fix build for i386/windows.
45cdba4 Remove unused ghc-frontpanel.glade file
27955ff dll-split: Say where to update module list and fix a typo.
3229ead Fix GHCi macros not shadowing builtins (#8113)
a54ace7 Fix i386/Linux build.
6a02f28 Fix build on non-unicode locale
b7130bf Add support for iOS simulator (issue #8152).
69d2678 Delete trailing whitespace in mk/config.mk.in
959d827 Delete trailing whitespace in aclocal.m4
4b5238a Delete trailing whitespace in LlvmCodeGen/Ppr.hs
795fe08 Sync Cabal to upstream version 1.18 pre-release
776cfe2 Properly externalise codegen identifiers (#8166)
ef01794 Comments only, relating to #8166 fix
56e28a3 GHCi: Implement new `:show paths` sub-command
b982ab4 User guide entry for `:shows paths` sub-command
a499ff7 Make `-ddump-minimal-imports` honour `-dumpdir` flag
728bd07 Update `-ddump-minimal-imports` entry in user's guide
382f601 Fix Trac #8186.
477bc9b Improve error messages for roles by writing role names out
1effad8 Add check for obsolete `darcs.haskell.org` repo urls
4652a5d Clarify comments about apartness
98b0d05 Rework how iOS does linking (#8127)
9e02b02 Applicative instance for Ghc and GhcT
a6be6f1 Implement -XNumDecimals (#7266)
acea949 Detabify RnPat.lhs
dace02d Document -XNegativeLiterals in the relase notes.
b94d555 Wibbles.
30697bf Mention iOS cross compilation in release notes.
6e5fd38 Wibbles.
1122f0d Fix validate failure.
61d2838 More docs for -XNumDecimals
ef9f994 Update Cabal to 1.18.0 RC2
c86831b Update `bytestring` library to latest HEAD
1d1ab12 Whitespaces and comment formatting
d61c3ac Optimize self-recursive tail calls
6df7438 Update submodules
a34300c Revert "Update submodules"
a1efe57 Display the full type environment when reporting type holes
f5d148c Improve debug error message for applyTypeToArgs
ff3d07a Improve TcSimplify.approximateWC, fixing Trac #8155
04c9c3b Refactor to avoid gratuitous DEBUG warning
33c880b Improve docs for -XNegativeLiterals
c080f72 simplified the .hi format and added the -flate-dmd-anal flag (fixes #7782)
99b58a6 Document :kind! in ghci built-in help
4886552 Check for integer overflow in osGetMBlocks
1ce65ed Paranoid integer overflow check in my_mmap
1247dff Paranoid integer overflow check in osGetMBlocks
c87c19f Revert "Paranoid integer overflow check in osGetMBlocks"
d50e7ae Revert "Paranoid integer overflow check in my_mmap"
29ee739 Revert "Check for integer overflow in osGetMBlocks"
e4e976c Remove some redundancy.
8c20f5d Add -fwarn-overloaded-literals to release notes.
8940dd7 Add release notes about -dynamic-too
acb91b9 Treat EPERM error from mmap as an OOM (#7500)
bab28fb Add flag docs for -dynamic-too (#8181)
099f954 Liberalising IncoherentInstances
d9f4366 Improve documentation of the new IncoherentInstances behaviour
f6a3bfe Release note blurb about IncoherentInstances.
dea53ce Fix minor error regarding NumDecimals.
d6c4467 Update containers to 0.5.2.1 release
25f1bda Update binary to 0.7.1.0 release
064e101 Haddockify documentation in HsBinds and HsExpr
e87d158 Fix comment typos that interfere with syntax highlighting
160160f Export languageExtensions as part of the API.
85c1715 Fix off-by-one error in FastString.getFastStringTable (#8110)
d55a4f3 Update time to 1.4.1 release
685582f Typo in release notes regarding -dynamic-too
7e91e5b Note unloadObj changes in release notes.
e446551 Update `haskeline` library to latest HEAD
ea87014 Teach `validate` script how to `--help`
e251a51 Merge branch 'master' into atomics
8c99e69 minor: remove tabs from file
b05caa7 Comment fix
9df6bbf Squashed commit of the following:
a031506 Squish changes into a single commit
d1abc67 Current implementation of type-nats solver.
b7ea7df Current implementation of type-nats solver.
a350667 Merge branch 'type-nats' of http://git.haskell.org/ghc into type-nats
More information about the ghc-commits
mailing list