[commit: ghc] wip/pattern-synonyms's head updated: Add user documentation for explicitly-bidirectional pattern synonyms (535b37c)
git at git.haskell.org
git at git.haskell.org
Tue Jul 29 14:24:42 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
Branch 'wip/pattern-synonyms' now includes:
fa8553d Fix imports in GHC.Event.Poll when not HAVE_POLL_H (#9275)
55e7ab1 Do not print the result of 'main' after invoking ':main' (fixes #9086).
1d225d1 Private axiom comment in Backpack
74b6b04 Track gitignore update in submodule unix
ff7aaf5 More testsuite ignores.
7a15a68 Scott's updates to the impl paper.
d68c77b [docs/backpack] Get lint to stop complaining
afe7bc1 Add hyperref package.
a77e079 Start expanding out linking text
bd5f3ef rts: Fix #9003 with an annoying hack
77ecb7b Make the example a little more complex
61cce91 [backpack] Rework definite package compilation
3c9fc10 Avoid unnecessary clock_gettime() syscalls in GC stats.
c80c574 remove SPARC related comment in PPC code generator
e148d7d GHC.Conc: clarify that 'forkOn' binds to capability, not a 'CPU' or 'Task'
2f8d5e2 Fix typos in base documentation.
dbbc1e8 Integrate changelog entries from base-4.7.0.1 rel
8e396b0 Remove unused parameter in rnHsTyVar
edae31a Comments only
441d1b9 Declare official github home of libraries/unix
30518f0 Add a .travis.yml file
6a75bcd M-x untabify
b8b8d19 Activate tab checks
b7b3f01 Fix comment
c70a720 Typoes in comments
d591b19 Rectify some panic messages
31cde29 Fix note spelling
73bb054 Add travis-ci badge
ce4477f testsuite: Tweak T6048 bounds
708062b integer-gmp: tweak gitignore.
47640ca Test case for #9305
8af2f70 Typo in comment
1d71e96 Fix ghci tab completion of duplicate identifiers.
39630ab Avoid deadlock in freeTask (called by forkProcess)
16403f0 Acquire all_tasks_mutex in forkProcess
6da6032 add support for x86_64-solaris2 platform
22e992e Type classes
c85a3b0 Finish TCs section
194107e Update various performance benchmarks
cfeeded New testsuite verbosity level 4
300c721 Give performance benchmark deviation also in percents
4690466 Partially revert 194107ea9333c1d9d61abf307db2da6a699847af
c973c70 Add a clarifying comment about scoping of type variables in associated type decls
f6f4f54 White space only
f692e8e Define PrelNames.allNameStrings and use it in TcHsType
9b8ba62 Entirely re-jig the handling of default type-family instances (fixes Trac #9063)
d761654 Improve documentation of :set/:seti
0fcf060 Improve documentation of overlapping instances (again)
a065f9d Try to explain the applicativity problem
34ec0bd Rewrite coercionRole. (#9233)
5e7406d Optimise optCoercion. (#9233)
3b8b826 Workaround haddock parser error caused by 5e7406d9
da7cfa9 Richards optCoercion improvement made test cases fail the nice way
ef4e8c5 Test Trac #9323
8b6cd6e Include test case name in performance result
13cb4c2 Adjust a few performance numbers
10f3d39 Correctly round when calculating the deviation
612d948 Remove unused parameters in OptCoercion (#9233)
a520072 OK, I think we've finally solved granularity.
b542698 Build on travis with CPUS=2
350ed08 Reduce volume of typechecker trace information
3214ec5 Comments only
4b3df0b Further improvements to floating equalities
af28e61 Update Cabal submodule to HEAD (1.21)
b34fa11 Set i686 as the minimum architecture on 32-bit mingw
c41b716 travis: Install process via cabal
99c2823 Document OVERLAP pragmas.
23cd98f Documentation typo
8249b50 Comments only
f23b212 Revert "Update Cabal submodule to HEAD (1.21)"
1486fc8 ghci: detabify/dewhitespace RtClosureInspect
d2464b5 parser: detabify/dewhitespace Ctype
20986a6 parser: detabify/dewhitespace cutils.c
fcfa8ce profiling: detabify/unwhitespace CostCentre
fe6381b cmm: detabify/unwhitespace CmmInfo
ffcb14d cmm: detabify/unwhitespace CmmLex
bd4e855 ghci: detabify/unwhitespace ByteCodeGen
23aee51 ghci: detabify/unwhitespace ByteCodeInstr
3ccc80c main: detabify/unwhitespace PprTyThing
b5b1a2d prelude: detabify/unwhitespace PrelInfo
4173ae8 nativeGen: detabify/dewhitespace Size
a881813 nativeGen: detabify/dewhitespace Reg
960f4e1 nativeGen: detabify/dewhitespace X86/RegInfo
7bf273c nativeGen: detabify/dewhitespace PPC/Cond
e6a32cc nativeGen: detabify/dewhitespace PPC/RegInfo
e193380 nativeGen: detabify/dewhitespace RegClass
c754599 nativeGen: detabify/dewhitespace TargetReg
2f7495d nativeGen: detabify/dewhitespace SPARC/Stack
b80249d nativeGen: detabify/dewhitespace SPARC/Imm
234afe2 nativeGen: detabify/dewhitespace SPARC/ShortcutJump
ef07ff7 nativeGen: detabify/dewhitespace SPARC/Instr
25c4629 nativeGen: detabify/dewhitespace SPARC/Regs
8707e45 nativeGen: detabify/dewhitespace SPARC/Cond
9924de2 nativeGen: detabify/dewhitespace SPARC/CodeGen/CondCode
6babdc8 nativeGen: detabify/dewhitespace SPARC/CodeGen/Amode
085713f nativeGen: detabify/dewhitespace SPARC/CodeGen/Expand
5ef0050 nativeGen: detabify/dewhitespace SPARC/CodeGen/Sanity
2ff9b90 nativeGen: detabify/dewhitespace SPARC/CodeGen/Gen32
8a8bc420 nativeGen: detabify/dewhitespace SPARC/CodeGen/Base
3c5fc8e utils: detabify/dewhitespace Digraph
893a4bf types: detabify/dewhitespace Kind
18b2c46 Add PolyKinds extension to Data.Monoid
00dd05e Adding more parser exports and some documentation.
d996a1b fix inconsistency in exported functions from TcSplice.lhs/lhs-boot files when GHCI is not defined
fb936e0 Make GHCi permissions checks ignore root user.
80868ec rts: drop unused 'SpinLockCount' typedef
e0d4386 Data.List: Unterse/Obvious comment regarding CPP
021b797 driver: use absolute paths in ld scripts (#7452)
2b860ef utils: delete obsolete heap-view program
ad785f6 utils: remove old pvm scripts
828e641 vagrant: move files around
d3277f4 Revert "travis: Install process via cabal"
4dd7ae6 Typos in note
bb06e2a Make 'ghc' a wired in package.
d7c807f [ghc-pkg] Fix #5442 by using the flag db stack to modify packages.
2ad04d0 Update upstream Git repo url for `time` package
a9445f8 arclint: update linting configuration
2c12d9e docs: Remove obsolete Visual Haskell document
c26bba8 docs: Delete old docbook cheat sheet
4bebab2 Rename PackageId to PackageKey, distinguishing it from Cabal's PackageId.
0acd70a Documentation for substringCheck.
80ab62d Update Cabal submodule to HEAD (1.21)
9960afe Always qualify on hi interface mismatch.
7aabfa6 Unbreak the build on FreeBSD/i386, where the default target arch is i486.
b709f0a Make last a good consumer
1db9983 Rewrite package/module identity section
6e9e855 Add a summary section.
505358c Definite compilation is a go
e408678 Write up rename on entry
d1f17f5 Ignore tix files.
eb795ec Duplicate word
23773b2 X86 codegen: make LOCK a real instruction prefix
c11b35f Fix test for fetchNandIntArray#
fc53ed5 Add missing memory fence to atomicWriteIntArray#
d294218 Fixed issue with detection of duplicate record fields
6ce708c Use the right kinds on the LHS in 'deriving' clauses
a997f2d Check for boxed tau types in the LHS of type family instances
2070a8f [backpack] Rewrite compilation to be cleaner.
92587bf Refactor FFI error messages
dae46da Update test suite output
7f5c1086 Module reexports, fixing #8407.
9487305 Fix build on OS X due to macro-like string in comment
97f499b Implement OVERLAPPING and OVERLAPPABLE pragmas (see #9242)
5dc0cea Comments only
57ed410 Increase precision of timings reported by RTS
ba00258 Support ghc-pkg --ipid to query package ID.
546029e Add reexported modules to the list of IPID fields.
a62c345 Don't call installed package IDs 'package IDs'; they're different.
34d7d25 rts: delint/detab/dewhitespace EventLog.c
426f2ac rts: delint/detab/dewhitespace GetEnv.c
cebd37f rts: delint/detab/dewhitespace GetTime.c
d72f3ad rts: delint/detab/dewhitespace Itimer.c
b1fb531 rts: delint/detab/dewhitespace OSMem.c
3e0e489 rts: delint/detab/dewhitespace OSThreads.c
875f4c8 rts: delint/detab/dewhitespace TTY.c
22308d7 rts: delint/detab/dewhitespace Signals.h
386ec24 rts: delint/detab/dewhitespace Signals.c
ded5ea8 rts: delint/detab/dewhitespace Select.c
3021fb7 rts: delint/detab/dewhitespace win32/AsyncIO.c
fdcc699 rts: delint/detab/dewhitespace win32/AsyncIO.h
b64958b rts: delint/detab/dewhitespace win32/AwaitEvent.c
ab24d0b rts: delint/detab/dewhitespace win32/ConsoleHandler.c
20b506d rts: delint/detab/dewhitespace win32/GetEnv.c
59b6ea8 rts: delint/detab/dewhitespace win32/GetTime.c
94fba59 rts: delint/detab/dewhitespace win32/IOManager.h
36bbec0 rts: delint/detab/dewhitespace win32/IOManager.c
976c55c rts: delint/detab/dewhitespace win32/OSMem.c
43345dd rts: delint/detab/dewhitespace win32/OSThreads.c
9aa9d17 rts: delint/detab/dewhitespace win32/ThrIOManager.c
316c0d5 rts: delint/detab/dewhitespace win32/WorkQueue.h
9e8d258 rts: delint/detab/dewhitespace win32/WorkQueue.c
4f5966b rts: delint/detab/dewhitespace Arena.c
a4aa6be rts: detab/dewhitespace FileLock.c
2e1a0ba rts: delint FileLock.c
4a09baa rts: delint/detab/dewhitespace Globals.h
7ee0b63 rts: delint/detab/dewhitespace Hash.c
f2a3f53 rts: detab/dewhitespace Messages.c
1c89c96 rts: delint Messages.c
48cae79 rts: delint/detab/dewhitespace OldARMAtomic.c
42f3bdf rts: delint/detab/dewhitespace Papi.c
ad36b1a rts: delint Papi.c
a0fa13b rts: delint/detab/dewhitespace Papi.h
7113370 rts: delint/detab/dewhitespace PosixSource.h
de5a4db rts: delint/detab/dewhitespace RetainerSet.h
ee0fd62 rts: delint/detab/dewhitespace RetainerSet.c
f81154f rts: delint/detab/dewhitespace RtsDllMain.c
60c6bd4 rts: delint/detab/dewhitespace RtsDllMain.h
d765359 rts: delint/detab/dewhitespace StgRun.h
a6fc4bd rts: delint/detab/dewhitespace ThreadLabels.c
95378c2 rts: detab/dewhitespace ThreadPaused.c
cf2980c rts: detab/dewhitespace WSDeque.h
952f622 rts: detab/dewhitespace WSDeque.c
39b5c1c rts: add Emacs 'Local Variables' to every .c file
cc37175 do not link with -lrt on Solaris for threaded way
524f15d add Solaris' linker warning messages filtering into link phase
b9be82d Avoid to pass a socket to setmode/isatty in Windows
4ee8c27 use GHC-7.8.3's values for thread block reason (fixes #9333)
9a7440c Add Functor, Applicative, Monad instances for First, Last
003bcf2 Do not check permissions when running find on Windows.
8240312 driver: Fix usage of '$0' in ghcii.sh (#8873)
b126ad3 Don't clean away inplace/mingw and inplace/perl.
f510c7c base: make System.IO.openTempFile generate less predictable names
b1f4356 Fix validate fallout
c1336f7 rts: Detab OSThreads.c
b6d5229 getCoerbileInsts: Move the two NT-unwrapping instances together
12644c3 New parser for pattern synonym declarations:
40e7774 Add parser support for explicitly bidirectional pattern synonyms
0279a7d Typechecker support for explicitly-bidirectional pattern synonyms
d84a5cc Add renamer support for explicitly-bidirectional pattern synonyms
25c2eeb tcLookupPatSyn: look up the PatSyn record for a given Id
6a78503 Typecheck the wrapper definition of a pattern synonym, after everything in the same scope is typechecked
32bf8a5 When computing minimal recursive sets of bindings, don't include references in wrapper definitions for explicitly-bidirectional pattern synonyms
f3262fe Add test cases for explicitly-bidirectional pattern synonym
893a261 Refactor PatSynBind so that we can pass around PSBs instead of several arguments
3219ed9 Add note about renaming of pattern synonym wrappers
535b37c Add user documentation for explicitly-bidirectional pattern synonyms
More information about the ghc-commits
mailing list