... | @@ -6,6 +6,11 @@ The **goal** is to build a better story for impredicative and higher-rank polymo |
... | @@ -6,6 +6,11 @@ The **goal** is to build a better story for impredicative and higher-rank polymo |
|
|
|
|
|
This is the result of discussion between Alejandro Serrano Mena \<A.SerranoMena@…\>, Jurriaan Hage, Dimitrios Vytiniotis, and Simon PJ.
|
|
This is the result of discussion between Alejandro Serrano Mena \<A.SerranoMena@…\>, Jurriaan Hage, Dimitrios Vytiniotis, and Simon PJ.
|
|
|
|
|
|
|
|
# The most up-to-date description is available as an attachment [the-doc.pdf](/trac/ghc/attachment/wiki/ImpredicativePolymorphism/Impredicative-2015/the-doc.pdf)[](/trac/ghc/raw-attachment/wiki/ImpredicativePolymorphism/Impredicative-2015/the-doc.pdf)
|
|
|
|
|
|
|
|
|
|
|
|
The rest of the document is kept for historical purposes, and because it contains useful information about how the design is implemented inside GHC.
|
|
|
|
|
|
## Notation
|
|
## Notation
|
|
|
|
|
|
<table><tr><th>Type variables </th>
|
|
<table><tr><th>Type variables </th>
|
... | | ... | |