Skip to content

Instantly share code, notes, and snippets.

@rnagasam

rnagasam/gist:42024d221007ebfc73a7afd74b4b1018

Created June 13, 2018 03:45
Show Gist options
  • Save rnagasam/42024d221007ebfc73a7afd74b4b1018 to your computer and use it in GitHub Desktop.
Save rnagasam/42024d221007ebfc73a7afd74b4b1018 to your computer and use it in GitHub Desktop.
Download ZIP
view core from GHCi
Raw
gistfile1.txt
alias ghci-core="ghci -ddump-simpl -dsuppress-idinfo \
-dsuppress-coercions -dsuppress-type-applications \
-dsuppress-uniques -dsuppress-module-prefixes"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment