Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature Request: Display Intermediary Compiler Representations in Haskell Playground #37

Open
yvan-sraka opened this issue Jun 11, 2023 · 1 comment

Comments

@yvan-sraka
Copy link

yvan-sraka commented Jun 11, 2023

Feature Description:

Add the ability to display intermediary compiler representations within the Haskell Playground. This should include stages like parsing, renaming, type-checking, Core representation, STG representation, Cmm and LLVM representation, among others.

Rationale:

This feature will enhance user learning and debugging experiences by providing insights into how Haskell code is processed, optimized, and transformed into an executable program.

Use Case:

Users debugging or trying to understand complex code can utilize these representations to eventually understand the origin of unexpected behaviors. Additionally, it will act as a useful learning tool for those studying compiler design or Haskell internals.

References:

GHC compiler flags for dumping to stdout various intermediary representations documentation

@yvan-sraka
Copy link
Author

yvan-sraka commented Jun 11, 2023

I've also opened an issue here compiler-explorer/compiler-explorer#5133, as perhaps providing all level of GHC internals isn't the primary purpose of https://play.haskell.org, but it should certainly be one of the purpose of https://godbolt.org!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant