|
# Areas We'd Like To See Covered In More Depth
|
|
CONVERSION ERROR
|
|
|
|
|
|
|
|
Error: HttpError (HttpExceptionRequest Request {
|
|
Possible presentation topics for Friday. **If you'd like to see more on one of these, add your name to the line.**
|
|
host = "ghc.haskell.org"
|
|
|
|
port = 443
|
|
- How the renamer works
|
|
secure = True
|
|
|
|
requestHeaders = []
|
|
- How the type checker works
|
|
path = "/trac/ghc/wiki/MoreDepth"
|
|
|
|
queryString = "?version=14"
|
|
- How the simplifier works, and what transformations it does.
|
|
method = "GET"
|
|
|
|
proxy = Nothing
|
|
- How Template Haskell is implemented
|
|
rawBody = False
|
|
|
|
redirectCount = 10
|
|
- Packages, Cabal, and GHC --- would like to see: Norman Ramsey
|
|
responseTimeout = ResponseTimeoutDefault
|
|
|
|
requestVersion = HTTP/1.1
|
|
- Details of the GHC-as-a-library API, and how to use it.
|
|
}
|
|
|
|
(StatusCodeException (Response {responseStatus = Status {statusCode = 403, statusMessage = "Forbidden"}, responseVersion = HTTP/1.1, responseHeaders = [("Date","Sun, 10 Mar 2019 06:56:29 GMT"),("Server","Apache/2.2.22 (Debian)"),("Strict-Transport-Security","max-age=63072000; includeSubDomains"),("Vary","Accept-Encoding"),("Content-Encoding","gzip"),("Content-Length","249"),("Content-Type","text/html; charset=iso-8859-1")], responseBody = (), responseCookieJar = CJ {expose = []}, responseClose' = ResponseClose}) "<!DOCTYPE HTML PUBLIC \"-//IETF//DTD HTML 2.0//EN\">\n<html><head>\n<title>403 Forbidden</title>\n</head><body>\n<h1>Forbidden</h1>\n<p>You don't have permission to access /trac/ghc/wiki/MoreDepth\non this server.</p>\n<hr>\n<address>Apache/2.2.22 (Debian) Server at ghc.haskell.org Port 443</address>\n</body></html>\n"))
|
|
Related: compiling multiple modules: `--make` and all that --- would like to see: Norman Ramsey
|
|
|
|
|
|
Original source:
|
|
- More details about vectored returns
|
|
|
|
|
|
```trac
|
|
- Details about System FC, GHC's new intermediate language
|
|
= Areas We'd Like To See Covered In More Depth =
|
|
|
|
|
|
- Reading a nightly snapshot build log
|
|
Possible presentation topics for Friday. '''If you'd like to see more on one of these, add your name to the line.'''
|
|
|
|
|
|
## Suggestions from the floor
|
|
* How the renamer works
|
|
|
|
|
|
- It would be quite interesting to hear what parts of GHC are changing rapidly and what parts seem quite stable. Also, into which corners of the compiler do the righteous fear to tread? (The evil mangler?)
|
|
* How the type checker works
|
|
- It is unclear how binding group analysis influences the use of 1 abstract syntax (HsSyn): how is the required ordering and grouping implemented, how does it affect error messages?
|
|
|
|
- How does this Cabal thing work?
|
|
* How the simplifier works, and what transformations it does.
|
|
- How to read a dailysnapshot build log.
|
|
|
|
- Does ghc compile with VisualHaskell yet?
|
|
* How Template Haskell is implemented
|
|
- In the compiler pipeline, please explain a little more about the invariants as a program flows through the pipeline. For example, toward the back end, it would be useful to know at what point the following become known:
|
|
|
|
|
|
* Packages, Cabal, and GHC --- would like to see: Norman Ramsey, Geoff Washburn
|
|
- layout of heap objects
|
|
|
|
- explicit heap pointer (allocation pointer)
|
|
* Details of the GHC-as-a-library API, and how to use it.[[BR]]
|
|
- explicit stack pointer
|
|
Related: compiling multiple modules: `--make` and all that --- would like to see: Norman Ramsey
|
|
- What optimizations happen in the simplifier? How do they work?
|
|
|
|
- The GHC API and implementation of GHCi
|
|
* More details about vectored returns
|
|
- A breakdown of the size of the various parts of the run-time system |
|
|
|
|
|
* Details about System FC, GHC's new intermediate language
|
|
|
|
|
|
|
|
* Reading a nightly snapshot build log
|
|
|
|
|
|
|
|
|
|
|
|
== Suggestions from the floor ==
|
|
|
|
|
|
|
|
* It would be quite interesting to hear what parts of GHC are changing rapidly and what parts seem quite stable. Also, into which corners of the compiler do the righteous fear to tread? (The evil mangler?)
|
|
|
|
* It is unclear how binding group analysis influences the use of 1 abstract syntax (HsSyn): how is the required ordering and grouping implemented, how does it affect error messages?
|
|
|
|
* How does this Cabal thing work?
|
|
|
|
* How to read a dailysnapshot build log.
|
|
|
|
* Does ghc compile with VisualHaskell yet?
|
|
|
|
* In the compiler pipeline, please explain a little more about the invariants as a program flows through the pipeline. For example, toward the back end, it would be useful to know at what point the following become known:
|
|
|
|
* layout of heap objects
|
|
|
|
* explicit heap pointer (allocation pointer)
|
|
|
|
* explicit stack pointer
|
|
|
|
* What optimizations happen in the simplifier? How do they work?
|
|
|
|
* The GHC API and implementation of GHCi
|
|
|
|
* A breakdown of the size of the various parts of the run-time system
|
|
|
|
``` |