... | ... | @@ -6,7 +6,7 @@ Possible presentation topics for Friday. **If you'd like to see more on one of |
|
|
|
|
|
- How the renamer works
|
|
|
|
|
|
- How the type checker works --- Norman Ramsey
|
|
|
- How the type checker works --- Norman Ramsey (but prefer two below), Andres Löh, Jeremy Gibbons
|
|
|
|
|
|
- How the simplifier works, and what transformations it does.
|
|
|
|
... | ... | @@ -14,6 +14,8 @@ Possible presentation topics for Friday. **If you'd like to see more on one of |
|
|
|
|
|
- Packages, Cabal, and GHC --- would like to see: Norman Ramsey, Geoff Washburn
|
|
|
|
|
|
- Past or present efforts in formal verification of GHC components
|
|
|
|
|
|
- Details of the GHC-as-a-library API, and how to use it. -- Norman Ramsey, Andy Gill, Geoff Washburn, Jeffery Zhang
|
|
|
|
|
|
>
|
... | ... | @@ -21,10 +23,12 @@ Possible presentation topics for Friday. **If you'd like to see more on one of |
|
|
|
|
|
- More details about vectored returns
|
|
|
|
|
|
- Details about System FC, GHC's new intermediate language
|
|
|
- Details about System FC, GHC's new intermediate language -- Jeremy Gibbons
|
|
|
|
|
|
- Reading a nightly snapshot build log
|
|
|
|
|
|
- Understanding the ddump flags, and walkthrough of a Haskell example
|
|
|
|
|
|
## 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?)
|
... | ... | |