summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* docs: fix typo: 'OVERLAPPINGP' -> 'OVERLAPPING'Sergei Trofimovich2014-08-041-1/+1
| | | | | | | | | | | | | | Summary: Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> Test Plan: proofread Reviewers: ezyang, austin Reviewed By: ezyang, austin Subscribers: phaskell, ezyang, simonmar, relrod, carter Differential Revision: https://phabricator.haskell.org/D100
* Terminate in forkProcess like in real_mainEdsko de Vries2014-08-041-2/+1
| | | | | | | | | | | | | | Test Plan: validate Reviewers: simonmar, austin Reviewed By: simonmar, austin Subscribers: phaskell, simonmar, relrod, carter Differential Revision: https://phabricator.haskell.org/D99 GHC Trac Issues: #9377
* Add missing *.stderr filesJoachim Breitner2014-08-023-0/+21
| | | | which probably should have been added in commit fbd0586ea
* Add in (disabled for now) test of a Safe Haskell bug.David Terei2014-08-013-0/+46
|
* Infer safety of modules correctly with new overlapping pragmas.David Terei2014-08-015-1/+37
|
* Update Safe Haskell typeable test outputs.David Terei2014-08-013-4/+12
|
* Allow warning if could have been infered safe instead of explicitDavid Terei2014-08-015-75/+93
| | | | Trustworthy label.
* Dont allow hand-written Generic instances in Safe Haskell.David Terei2014-08-012-10/+24
| | | | | | | While they aren't strictly unsafe, it is a similar situation to Typeable. There are few instances where a programmer will write their own instance, and having compiler assurance that the Generic implementation is correct brings a lot of benefits.
* Fix-up to d4d4bef2 'Improve the desugaring of RULES'Simon Peyton Jones2014-08-014-10/+41
| | | | | I'd forgotten the possiblity that desugaring could generate dead dictionary bindings; easily fixed by calling occurAnalyseExpr
* Two new executables to ignore.Edward Z. Yang2014-08-011-0/+2
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* [backpack] More revisions to various pieces.Edward Z. Yang2014-08-011-125/+84
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Bump haddock.base max_bytes_usedJoachim Breitner2014-08-011-6/+7
| | | | | | It has reliably increased with commit 1ae5fa45, and has been stable since then, so it does not seem to be a fluke. I did not investigate why that commit might have increased this value.
* Improve the desugaring of RULES, esp those from SPECIALISE pragmasSimon Peyton Jones2014-08-014-11/+133
| | | | | | | | | | | | In the code for Trac #8331 we were not getting a complaint, but we *were* getting a terrible (and virtually useless) RULE, looking like useAbstractMonad (complicated-dictionary-expresion) = $fuseAbstractMonad where we wanted useAbstractMonad d = $fuseAbstractMonad This commit improves the desugaring algorithm. More comments explain; see Note [Drop dictionary bindings on rule LHS]
* A panic in CmmBuildInfoTables.bundle shouldn't be a panic (#9329)Simon Marlow2014-08-013-4/+14
| | | | | | | | | | | | | | | | | Summary: This code needs more comments, but I believe this is safe. By definition I can't have broken anything that was working by turning a panic into a non-panic anyway. Test Plan: validate Reviewers: hvr, simonpj, austin Subscribers: simonmar, relrod, ezyang, carter Differential Revision: https://phabricator.haskell.org/D105 GHC Trac Issues: #9329
* add a commentSimon Marlow2014-08-011-0/+3
|
* update commentSimon Marlow2014-08-011-4/+3
|
* Fix reference to noteSimon Marlow2014-08-011-1/+1
|
* interruptible() was not returning true for BlockedOnSTM (#9379)Simon Marlow2014-08-014-7/+38
| | | | | | | | | | | | | | | | | | | Summary: There's an knock-on fix in HeapStackCheck.c which is potentially scary, but I'm pretty confident is OK. See comment for details. Test Plan: I've run all the STM tests I can find, including libraries/stm/tests/stm049 with +RTS -N8 and some of the constants bumped to make it more of a stress test. Reviewers: hvr, rwbarton, austin Subscribers: simonmar, relrod, ezyang, carter Differential Revision: https://phabricator.haskell.org/D104 GHC Trac Issues: #9379
* panic message fixSimon Marlow2014-08-011-1/+1
|
* refactor to fix 80column overflowSimon Marlow2014-08-011-16/+20
|
* Unbreak build.Gabor Pali2014-08-011-2/+1
|
* Typo fixesGabor Greif2014-08-016-11/+11
|
* Small tweaks to commentGabor Greif2014-08-011-2/+2
|
* Minor wordsmithing of commentsGabor Greif2014-08-011-4/+4
|
* Fix up ghci044Simon Peyton Jones2014-07-312-0/+6
|
* Typo in commentGabor Greif2014-07-311-1/+1
|
* Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242)Simon Peyton Jones2014-07-3160-307/+355
| | | | | | | | | | | | | | | | | * Deprecate -XOverlappingInstances * Update test suite. Several tests even had entirely unnecessary uses of -XOverlappingInstances * Update user manual with a careful description of the instance resolution story * Fix an outright bug in the handling of duplidate instances in GHCi, which are meant to silently overwrite the earlier duplicate. The logic was right for family instances but was both more complicated, and plain wrong, for class instances. (If you are interested, the bug was that we were eliminating the duplicate from the InstEnv, but not from the [ClsInst] held in tcg_insts.) Test is ghci044a.
* Add comments about the {-# INCOHERENT #-} for Typeable (f a)Simon Peyton Jones2014-07-311-2/+20
| | | | C.f. Trac #9242
* Comments onlySimon Peyton Jones2014-07-311-0/+3
|
* Add a fast-path in TcInteract.kickOutRewritableSimon Peyton Jones2014-07-311-6/+10
|
* Test Trac #9380Simon Peyton Jones2014-07-313-0/+72
|
* Comments and white spaceSimon Peyton Jones2014-07-312-18/+26
|
* [backpack] Package selectionEdward Z. Yang2014-07-311-213/+412
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Compiler perf has improved a bitSimon Peyton Jones2014-07-311-2/+6
|
* Comments and minor refactoringSimon Peyton Jones2014-07-312-59/+82
| | | | | | | | - Better comments about Generalised Newtype Deriving See Note [Bindings for Generalised Newtype Deriving] - Refactor the interface between TcDeriv and TcGenDeriv, to reduce the size of the interface of the latter.
* Comments and white spaceSimon Peyton Jones2014-07-311-3/+2
|
* Allow multiple entry points when allocating recursive groups (#9303)Simon Marlow2014-07-314-35/+50
| | | | | | | | | | | | | | | | | Summary: In this example we ended up with some code that was only reachable via an info table, because a branch had been optimised away by the native code generator. The register allocator then got confused because it was only considering the first block of the proc to be an entry point, when actually any of the info tables are entry points. Test Plan: validate Reviewers: simonpj, austin Subscribers: simonmar, relrod, carter Differential Revision: https://phabricator.haskell.org/D88
* comment updateSimon Marlow2014-07-311-4/+1
|
* Add .gitignore line for stage=1 testsuite generated fileReid Barton2014-07-301-0/+1
|
* Make mod73 test insensitive to minor variations (#9325)Reid Barton2014-07-301-1/+10
|
* Fix variable name typo from commit 3021fbNiklas Larsson2014-07-301-1/+1
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Add user documentation for explicitly-bidirectional pattern synonymswip/pattern-synonymsDr. ERDI Gergo2014-07-291-6/+17
|
* Add note about renaming of pattern synonym wrappersDr. ERDI Gergo2014-07-292-0/+28
|
* Refactor PatSynBind so that we can pass around PSBs instead of several argumentsDr. ERDI Gergo2014-07-298-118/+124
|
* Add test cases for explicitly-bidirectional pattern synonymDr. ERDI Gergo2014-07-296-0/+26
|
* When computing minimal recursive sets of bindings, don't include references ↵Dr. ERDI Gergo2014-07-291-1/+1
| | | | | | in wrapper definitions for explicitly-bidirectional pattern synonyms
* Typecheck the wrapper definition of a pattern synonym,Dr. ERDI Gergo2014-07-293-59/+82
| | | | after everything in the same scope is typechecked
* tcLookupPatSyn: look up the PatSyn record for a given IdDr. ERDI Gergo2014-07-291-3/+11
|
* Add renamer support for explicitly-bidirectional pattern synonymsDr. ERDI Gergo2014-07-291-5/+9
|
* Typechecker support for explicitly-bidirectional pattern synonymsDr. ERDI Gergo2014-07-291-16/+23
|
View Lorry Controller Status