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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
|
-- WARNING: ghc.cabal is automatically generated from ghc.cabal.in by
-- ./configure. Make sure you are editing ghc.cabal.in, not ghc.cabal.
Name: ghc
Version: @ProjectVersionMunged@
License: BSD3
License-File: LICENSE
Author: The GHC Team
Maintainer: glasgow-haskell-users@haskell.org
Homepage: http://www.haskell.org/ghc/
Synopsis: The GHC API
Description:
GHC's functionality can be useful for more things than just
compiling Haskell programs. Important use cases are programs
that analyse (and perhaps transform) Haskell code. Others
include loading Haskell code dynamically in a GHCi-like manner.
For this reason, a lot of GHC's functionality is made available
through this package.
Category: Development
Build-Type: Simple
Cabal-Version: >=1.10
Flag ghci
Description: Build GHCi support.
Default: False
Manual: True
Flag stage1
Description: Is this stage 1?
Default: False
Manual: True
Flag stage2
Description: Is this stage 2?
Default: False
Manual: True
Flag stage3
Description: Is this stage 3?
Default: False
Manual: True
Flag terminfo
Description: Build GHC with terminfo support on non-Windows platforms.
Default: True
Manual: True
Flag integer-simple
Description: Use integer-simple
Manual: True
Default: False
Flag integer-gmp
Description: Use integer-gmp
Manual: True
Default: False
Library
Default-Language: Haskell2010
Exposed: False
Build-Depends: base >= 4.11 && < 4.15,
deepseq >= 1.4 && < 1.5,
directory >= 1 && < 1.4,
process >= 1 && < 1.7,
bytestring >= 0.9 && < 0.11,
binary == 0.8.*,
time >= 1.4 && < 1.10,
containers >= 0.5 && < 0.7,
array >= 0.1 && < 0.6,
filepath >= 1 && < 1.5,
template-haskell == 2.16.*,
hpc == 0.6.*,
transformers == 0.5.*,
ghc-boot == @ProjectVersionMunged@,
ghc-boot-th == @ProjectVersionMunged@,
ghc-heap == @ProjectVersionMunged@,
ghci == @ProjectVersionMunged@
if os(windows)
Build-Depends: Win32 >= 2.3 && < 2.7
else
if flag(terminfo)
Build-Depends: terminfo == 0.4.*
Build-Depends: unix >= 2.7 && < 2.9
GHC-Options: -Wall
-Wno-name-shadowing
-Wnoncanonical-monad-instances
-Wnoncanonical-monoid-instances
if flag(ghci)
CPP-Options: -DHAVE_INTERNAL_INTERPRETER
Include-Dirs: ../rts/dist/build @FFIIncludeDir@
-- sanity-check to ensure not more than one integer flag is set
if flag(integer-gmp) && flag(integer-simple)
build-depends: invalid-cabal-flag-settings<0
-- gmp internals are used by the GHCi debugger if available
if flag(integer-gmp)
CPP-Options: -DINTEGER_GMP
build-depends: integer-gmp >= 1.0.2
-- simple internals are used by the GHCi debugger if available
if flag(integer-simple)
CPP-Options: -DINTEGER_SIMPLE
build-depends: integer-simple >= 0.1.1.1
Other-Extensions:
BangPatterns
CPP
DataKinds
DeriveDataTypeable
DeriveFoldable
DeriveFunctor
DeriveTraversable
DisambiguateRecordFields
ExplicitForAll
FlexibleContexts
FlexibleInstances
GADTs
GeneralizedNewtypeDeriving
MagicHash
MultiParamTypeClasses
NamedFieldPuns
NondecreasingIndentation
RankNTypes
RecordWildCards
ScopedTypeVariables
StandaloneDeriving
Trustworthy
TupleSections
TypeFamilies
TypeSynonymInstances
UnboxedTuples
UndecidableInstances
Include-Dirs: . utils
-- We need to set the unit id to ghc (without a version number)
-- as it's magic.
GHC-Options: -this-unit-id ghc
if flag(stage1)
Include-Dirs: stage1
else
if flag(stage2)
Include-Dirs: stage2
else
if flag(stage3)
Include-Dirs: stage2
Install-Includes: HsVersions.h
c-sources:
cbits/cutils.c
cbits/genSym.c
cbits/keepCAFsForGHCi.c
hs-source-dirs:
.
iface
main
parser
prelude
typecheck
utils
-- we use an explicit Prelude
Default-Extensions:
NoImplicitPrelude
Exposed-Modules:
GHC.Iface.Ext.Types
GHC.Iface.Ext.Debug
GHC.Iface.Ext.Binary
GHC.Iface.Ext.Utils
GHC.Iface.Ext.Ast
Ar
FileCleanup
GHC.Driver.Backpack
GHC.Driver.Backpack.Syntax
GHC.Types.Name.Shape
GHC.Iface.Rename
GHC.Types.Avail
AsmUtils
GHC.Types.Basic
GHC.Core.ConLike
GHC.Core.DataCon
GHC.Core.PatSyn
GHC.Types.Demand
GHC.Types.Cpr
GHC.Cmm.DebugBlock
Exception
GHC.Types.FieldLabel
GHC.Driver.Monad
GHC.Driver.Hooks
GHC.Driver.Flags
GHC.Driver.Ways
GHC.Types.Id
GHC.Types.Id.Info
GHC.Core.Predicate
GHC.Utils.Lexeme
GHC.Types.Literal
GHC.Llvm
GHC.Llvm.Syntax
GHC.Llvm.MetaData
GHC.Llvm.Ppr
GHC.Llvm.Types
GHC.CmmToLlvm
GHC.CmmToLlvm.Base
GHC.CmmToLlvm.CodeGen
GHC.CmmToLlvm.Data
GHC.CmmToLlvm.Ppr
GHC.CmmToLlvm.Regs
GHC.CmmToLlvm.Mangler
GHC.Types.Id.Make
GHC.Types.Module
GHC.Types.Name
GHC.Types.Name.Env
GHC.Types.Name.Set
GHC.Types.Name.Occurrence
GHC.Types.Name.Reader
GHC.Types.Name.Cache
GHC.Types.SrcLoc
GHC.Types.Unique.Supply
GHC.Types.Unique
UpdateCafInfos
GHC.Types.Var
GHC.Types.Var.Env
GHC.Types.Var.Set
UnVarGraph
GHC.Cmm.BlockId
GHC.Cmm.CLabel
GHC.Cmm
GHC.Cmm.Info.Build
GHC.Cmm.Pipeline
GHC.Cmm.CallConv
GHC.Cmm.CommonBlockElim
GHC.Cmm.Switch.Implement
GHC.Cmm.ContFlowOpt
GHC.Cmm.Expr
GHC.Cmm.Info
GHC.Cmm.Lexer
GHC.Cmm.Lint
GHC.Cmm.Liveness
GHC.Cmm.MachOp
GHC.Cmm.Monad
GHC.Cmm.Switch
GHC.Cmm.Node
GHC.Cmm.Opt
GHC.Cmm.Parser
GHC.Cmm.ProcPoint
GHC.Cmm.Sink
GHC.Cmm.Type
GHC.Cmm.Utils
GHC.Cmm.LayoutStack
CliOption
EnumSet
GhcNameVersion
FileSettings
GHC.Cmm.Graph
GHC.CmmToAsm.Ppr
GHC.CmmToAsm.Config
GHC.CmmToC
GHC.Cmm.Ppr
GHC.Cmm.Ppr.Decl
GHC.Cmm.Ppr.Expr
GHC.Data.Bitmap
GHC.Platform.Regs
GHC.Platform.ARM
GHC.Platform.ARM64
GHC.Platform.NoRegs
GHC.Platform.PPC
GHC.Platform.S390X
GHC.Platform.SPARC
GHC.Platform.X86
GHC.Platform.X86_64
GHC.StgToCmm.CgUtils
GHC.StgToCmm
GHC.StgToCmm.Bind
GHC.StgToCmm.Closure
GHC.StgToCmm.DataCon
GHC.StgToCmm.Env
GHC.StgToCmm.Expr
GHC.StgToCmm.Foreign
GHC.StgToCmm.Heap
GHC.StgToCmm.Hpc
GHC.StgToCmm.ArgRep
GHC.StgToCmm.Layout
GHC.StgToCmm.Monad
GHC.StgToCmm.Prim
GHC.StgToCmm.Prof
GHC.StgToCmm.Ticky
GHC.StgToCmm.Utils
GHC.StgToCmm.ExtCode
GHC.Runtime.Heap.Layout
GHC.Core.Arity
GHC.Core.FVs
GHC.Core.Lint
GHC.Core.Subst
GHC.Core.SimpleOpt
GHC.Core
TrieMap
GHC.Core.Op.Tidy
GHC.Core.Unfold
GHC.Core.Utils
GHC.Core.Map
GHC.Core.Seq
GHC.Core.Stats
GHC.Core.Make
GHC.Core.Ppr
GHC.HsToCore.PmCheck.Oracle
GHC.HsToCore.PmCheck.Ppr
GHC.HsToCore.PmCheck.Types
GHC.HsToCore.PmCheck
GHC.HsToCore.Coverage
GHC.HsToCore
GHC.HsToCore.Arrows
GHC.HsToCore.Binds
GHC.HsToCore.Foreign.Call
GHC.HsToCore.Expr
GHC.HsToCore.Foreign.Decl
GHC.HsToCore.GuardedRHSs
GHC.HsToCore.ListComp
GHC.HsToCore.Monad
GHC.HsToCore.Usage
GHC.HsToCore.Utils
GHC.HsToCore.Docs
GHC.HsToCore.Match
GHC.HsToCore.Match.Constructor
GHC.HsToCore.Match.Literal
GHC.Hs
GHC.Hs.Binds
GHC.Hs.Decls
GHC.Hs.Doc
GHC.Hs.Expr
GHC.Hs.ImpExp
GHC.Hs.Lit
GHC.Hs.Extension
GHC.Hs.Instances
GHC.Hs.Pat
GHC.Hs.Types
GHC.Hs.Utils
GHC.Hs.Dump
GHC.Iface.Binary
BinFingerprint
BuildTyCl
GHC.Iface.Env
GHC.Iface.Syntax
GHC.Iface.Type
GHC.CoreToIface
GHC.Iface.Load
GHC.Iface.Make
GHC.Iface.Recomp
GHC.IfaceToCore
FlagChecker
GHC.Types.Annotations
GHC.Driver.CmdLine
GHC.Driver.CodeOutput
Config
Constants
GHC.Driver.MakeFile
GHC.Driver.Phases
GHC.Driver.Pipeline.Monad
GHC.Driver.Pipeline
GHC.Driver.Session
ErrUtils
GHC.Driver.Finder
GHC
GHC.Driver.Make
GHC.Plugins
GhcPrelude
HeaderInfo
GHC.Driver.Main
HscStats
GHC.Driver.Types
GHC.Runtime.Eval
GHC.Runtime.Eval.Types
GHC.Runtime.Loader
UnitInfo
GHC.Driver.Packages
PlatformConstants
GHC.Driver.Plugins
TcPluginM
GHC.Core.Ppr.TyThing
Settings
StaticPtrTable
SysTools
SysTools.BaseDir
SysTools.Terminal
SysTools.ExtraObj
SysTools.Info
SysTools.Process
SysTools.Tasks
SysTools.Settings
Elf
GHC.Iface.Tidy
Ctype
HaddockUtils
Lexer
GHC.Core.Coercion.Opt
Parser
RdrHsSyn
ApiAnnotation
GHC.Types.ForeignCall
KnownUniques
PrelInfo
PrelNames
GHC.Core.Op.ConstantFold
PrimOp
ToolSettings
TysPrim
TysWiredIn
GHC.Types.CostCentre
GHC.Types.CostCentre.State
GHC.Rename.Binds
GHC.Rename.Env
GHC.Rename.Expr
GHC.Rename.Doc
GHC.Rename.Names
GHC.Rename.Pat
GHC.Rename.Source
GHC.Rename.Splice
GHC.Rename.Types
GHC.Rename.Fixity
GHC.Rename.Utils
GHC.Rename.Unbound
GHC.Core.Op.Monad
GHC.Core.Op.CSE
GHC.Core.Op.FloatIn
GHC.Core.Op.FloatOut
GHC.Core.Op.LiberateCase
GHC.Core.Op.OccurAnal
GHC.Core.Op.StaticArgs
GHC.Core.Op.SetLevels
GHC.Core.Op.Simplify.Driver
GHC.Core.Op.Simplify.Env
GHC.Core.Op.Simplify.Monad
GHC.Core.Op.Simplify.Utils
GHC.Core.Op.Simplify
GHC.Stg.Pipeline
GHC.Stg.Stats
GHC.Stg.CSE
GHC.Stg.Lift
GHC.Stg.Lift.Analysis
GHC.Stg.Lift.Monad
GHC.Stg.Subst
GHC.Stg.Unarise
GHC.Stg.Lint
GHC.Stg.Syntax
GHC.Stg.FVs
GHC.Stg.DepAnal
GHC.CoreToStg
GHC.CoreToStg.Prep
GHC.Types.RepType
GHC.Core.Rules
GHC.Core.Op.SpecConstr
GHC.Core.Op.Specialise
GHC.Core.Op.CallArity
GHC.Core.Op.DmdAnal
GHC.Core.Op.CprAnal
GHC.Core.Op.Exitify
GHC.Core.Op.WorkWrap
GHC.Core.Op.WorkWrap.Lib
FamInst
ClsInst
Inst
TcAnnotations
TcArrows
TcBinds
TcSigs
TcClassDcl
TcDefaults
TcDeriv
TcDerivInfer
TcDerivUtils
TcEnv
TcExpr
TcForeign
TcGenDeriv
TcGenFunctor
TcGenGenerics
TcHsSyn
TcHsType
TcInstDcls
TcMType
TcValidity
TcMatches
TcPat
TcPatSyn
TcRnDriver
TcBackpack
TcRnExports
TcRnMonad
TcRnTypes
Constraint
TcOrigin
TcRules
TcSimplify
TcHoleErrors
TcHoleFitTypes
TcErrors
TcTyClsDecls
TcTyDecls
TcTypeable
TcType
TcEvidence
TcEvTerm
TcUnify
TcInteract
TcCanonical
TcFlatten
TcSMonad
TcTypeNats
TcSplice
GHC.Core.Class
GHC.Core.Coercion
GHC.HsToCore.Quote
THNames
GHC.Core.FamInstEnv
FunDeps
GHC.Core.InstEnv
GHC.Core.TyCon
GHC.Core.Coercion.Axiom
GHC.Core.Type
GHC.Core.TyCo.Rep
GHC.Core.TyCo.FVs
GHC.Core.TyCo.Subst
GHC.Core.TyCo.Ppr
GHC.Core.TyCo.Tidy
GHC.Core.Unify
Bag
Binary
BooleanFormula
BufWrite
Digraph
Encoding
FastFunctions
FastMutInt
FastString
FastStringEnv
Fingerprint
FiniteMap
FV
GraphBase
GraphColor
GraphOps
GraphPpr
IOEnv
Json
ListSetOps
Maybes
MonadUtils
OrdList
Outputable
Pair
Panic
PlainPanic
PprColour
Pretty
State
Stream
StringBuffer
GHC.Types.Unique.DFM
GHC.Types.Unique.DSet
GHC.Types.Unique.FM
GHC.Types.Unique.Set
Util
GHC.Cmm.Dataflow
GHC.Cmm.Dataflow.Block
GHC.Cmm.Dataflow.Collections
GHC.Cmm.Dataflow.Graph
GHC.Cmm.Dataflow.Label
Exposed-Modules:
GHC.CmmToAsm
GHC.CmmToAsm.Reg.Target
GHC.CmmToAsm.Monad
GHC.CmmToAsm.Instr
GHC.CmmToAsm.BlockLayout
GHC.CmmToAsm.CFG
GHC.CmmToAsm.CFG.Dominators
GHC.CmmToAsm.Format
GHC.Platform.Reg
GHC.Platform.Reg.Class
GHC.CmmToAsm.PIC
GHC.CmmToAsm.CPrim
GHC.CmmToAsm.X86.Regs
GHC.CmmToAsm.X86.RegInfo
GHC.CmmToAsm.X86.Instr
GHC.CmmToAsm.X86.Cond
GHC.CmmToAsm.X86.Ppr
GHC.CmmToAsm.X86.CodeGen
GHC.CmmToAsm.PPC.Regs
GHC.CmmToAsm.PPC.RegInfo
GHC.CmmToAsm.PPC.Instr
GHC.CmmToAsm.PPC.Cond
GHC.CmmToAsm.PPC.Ppr
GHC.CmmToAsm.PPC.CodeGen
GHC.CmmToAsm.SPARC.Base
GHC.CmmToAsm.SPARC.Regs
GHC.CmmToAsm.SPARC.Imm
GHC.CmmToAsm.SPARC.AddrMode
GHC.CmmToAsm.SPARC.Cond
GHC.CmmToAsm.SPARC.Instr
GHC.CmmToAsm.SPARC.Stack
GHC.CmmToAsm.SPARC.ShortcutJump
GHC.CmmToAsm.SPARC.Ppr
GHC.CmmToAsm.SPARC.CodeGen
GHC.CmmToAsm.SPARC.CodeGen.Amode
GHC.CmmToAsm.SPARC.CodeGen.Base
GHC.CmmToAsm.SPARC.CodeGen.CondCode
GHC.CmmToAsm.SPARC.CodeGen.Gen32
GHC.CmmToAsm.SPARC.CodeGen.Gen64
GHC.CmmToAsm.SPARC.CodeGen.Sanity
GHC.CmmToAsm.SPARC.CodeGen.Expand
GHC.CmmToAsm.Reg.Liveness
GHC.CmmToAsm.Reg.Graph
GHC.CmmToAsm.Reg.Graph.Stats
GHC.CmmToAsm.Reg.Graph.Base
GHC.CmmToAsm.Reg.Graph.X86
GHC.CmmToAsm.Reg.Graph.Coalesce
GHC.CmmToAsm.Reg.Graph.Spill
GHC.CmmToAsm.Reg.Graph.SpillClean
GHC.CmmToAsm.Reg.Graph.SpillCost
GHC.CmmToAsm.Reg.Graph.TrivColorable
GHC.CmmToAsm.Reg.Linear
GHC.CmmToAsm.Reg.Linear.JoinToTargets
GHC.CmmToAsm.Reg.Linear.State
GHC.CmmToAsm.Reg.Linear.Stats
GHC.CmmToAsm.Reg.Linear.FreeRegs
GHC.CmmToAsm.Reg.Linear.StackMap
GHC.CmmToAsm.Reg.Linear.Base
GHC.CmmToAsm.Reg.Linear.X86
GHC.CmmToAsm.Reg.Linear.X86_64
GHC.CmmToAsm.Reg.Linear.PPC
GHC.CmmToAsm.Reg.Linear.SPARC
GHC.CmmToAsm.Dwarf
GHC.CmmToAsm.Dwarf.Types
GHC.CmmToAsm.Dwarf.Constants
GHC.ThToHs
GHC.ByteCode.Types
GHC.ByteCode.Asm
GHC.ByteCode.Instr
GHC.ByteCode.InfoTable
GHC.ByteCode.Linker
GHC.CoreToByteCode
GHC.Runtime.Debugger
GHC.Runtime.Linker.Types
GHC.Runtime.Linker
GHC.Runtime.Heap.Inspect
GHC.Runtime.Interpreter
GHC.Runtime.Interpreter.Types
|
