Skip to content

Instantly share code, notes, and snippets.

@robinp

robinp/ghc8-ast.txt

Last active June 14, 2017 20:22
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save robinp/c834e73a3282e6b40b39acef281e0ada to your computer and use it in GitHub Desktop.
Save robinp/c834e73a3282e6b40b39acef281e0ada to your computer and use it in GitHub Desktop.
Download ZIP
GHC 8 AST changes
Raw
ghc8-ast.txt
=== Recursive function with type signature
A recursive call (with typesig) targets the polymorphic binding (vs the monomorphic one usually targeted).
Now there's a new ctor for this kind of function (AbsBindsSig), having only a poly-like binding exposed.
Caveat: the internal FunBind still refers the monomorphic binding. So it's a bit less obvious to make the connection.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment