diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-09-02 09:07:46 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-09-02 09:07:46 +0100 |
| commit | d3a31e480ace72a82a301ffb11fd5f73d9ede5bd (patch) | |
| tree | 330860c8d43f98add11549085dbba4bfd79ca7e5 /includes/HaskellConstants.hs | |
| parent | b5b4aae437bba8c93bbe29e3678debceeb3f076e (diff) | |
| download | haskell-d3a31e480ace72a82a301ffb11fd5f73d9ede5bd.tar.gz | |
Increase the "context stack depth" to 200 (from 20)
This parameter controls the allowed depth of reasoning in the
type constraint solver. Perfectly well-behaved programs can
use deep stacks, and 20 is obviously too small. (Indeed, if
you don't have UndecidableInstances, the constraint solver
is supposed to terminate, so no limit should be needed.)
Responding to Trac #5395 this patch increases the default
to 200.
Diffstat (limited to 'includes/HaskellConstants.hs')
| -rw-r--r-- | includes/HaskellConstants.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/HaskellConstants.hs b/includes/HaskellConstants.hs index 51cdcaf0d1..f133f6ac62 100644 --- a/includes/HaskellConstants.hs +++ b/includes/HaskellConstants.hs @@ -30,8 +30,8 @@ mAX_TUPLE_SIZE = 62 -- Should really match the number -- of decls in Data.Tuple mAX_CONTEXT_REDUCTION_DEPTH :: Int -mAX_CONTEXT_REDUCTION_DEPTH = 20 - +mAX_CONTEXT_REDUCTION_DEPTH = 200 + -- Increase to 200; see Trac #5395 -- specialised fun/thunk/constr closure types mAX_SPEC_THUNK_SIZE :: Int |