#14572: Document for writing GHC-based compiler -------------------------------------+------------------------------------- Reporter: zaoqi | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari):
Is there document for Core?
The [[https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/CoreSynType|GHC commentary]] has a number of references. There is also the [[https://www.microsoft.com/en-us/research/publication/system-f-with-type- equality-coercions/|System FC paper]] although it may be a bit dense to start with. The Notes in `compiler/coreSyn/CoreSyn.hs` are also quite helpful. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14572#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler