Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Records
syntax directed name resolution
syntax directed name resolution
· Changes
Page history
Edit Records/SyntaxDirectedNameResolution
authored
Feb 27, 2012
by
Simon Peyton Jones
Hide whitespace changes
Inline
Side-by-side
records/syntax-directed-name-resolution.md
View page @
776097d9
# Syntax Directed Name Resolution
The idea is a
\#
prefix for identifiers.
`#f`
is a "type directed function". It
requires the type of its argument to be monomorphic, and is desugared to
`M.f`
,
...
...