blob: 0c0e460ab63df3b34bc9c67cff2fecb7a96d609e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
-- | Compile-time settings
module GHC.Settings.Constants where
import GHC.Prelude
import GHC.Settings.Config
hiVersion :: Integer
hiVersion = read (cProjectVersionInt ++ cProjectPatchLevel) :: Integer
-- All pretty arbitrary:
mAX_TUPLE_SIZE :: Int
mAX_TUPLE_SIZE = 64 -- Should really match the number
-- of decls in GHC.Tuple
mAX_CTUPLE_SIZE :: Int -- Constraint tuples
mAX_CTUPLE_SIZE = 64 -- Should match the number of decls in GHC.Classes
mAX_SUM_SIZE :: Int -- We use 6 bits to record sum size,
mAX_SUM_SIZE = 63 -- so max sum size is 63. Sadly inconsistent.
-- | Default maximum depth for both class instance search and type family
-- reduction. See also #5395.
mAX_REDUCTION_DEPTH :: Int
mAX_REDUCTION_DEPTH = 200
-- | Default maximum constraint-solver iterations
-- Typically there should be very few
mAX_SOLVER_ITERATIONS :: Int
mAX_SOLVER_ITERATIONS = 4
-- | In case of loopy quantified costraints constraints,
-- how many times should we allow superclass expansions
-- Should be less than mAX_SOLVER_ITERATIONS
-- See Note [Expanding Recursive Superclasses and ExpansionFuel]
mAX_QC_FUEL :: Int
mAX_QC_FUEL = 3
-- | In case of loopy wanted constraints,
-- how many times should we allow superclass expansions
-- Should be less than mAX_GIVENS_FUEL
-- See Note [Expanding Recursive Superclasses and ExpansionFuel]
mAX_WANTEDS_FUEL :: Int
mAX_WANTEDS_FUEL = 1
-- | In case of loopy given constraints,
-- how many times should we allow superclass expansions
-- Should be less than max_SOLVER_ITERATIONS
-- See Note [Expanding Recursive Superclasses and ExpansionFuel]
mAX_GIVENS_FUEL :: Int
mAX_GIVENS_FUEL = 3
wORD64_SIZE :: Int
wORD64_SIZE = 8
-- Size of float in bytes.
fLOAT_SIZE :: Int
fLOAT_SIZE = 4
-- Size of double in bytes.
dOUBLE_SIZE :: Int
dOUBLE_SIZE = 8
tARGET_MAX_CHAR :: Int
tARGET_MAX_CHAR = 0x10ffff
|
