diff options
| author | Alexey Vagarenko <vagarenko@gmail.com> | 2017-05-21 15:08:41 +0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-05-21 11:08:01 -0400 |
| commit | 6f8c3ce4b1dac02acf93c351862d3b6c46815840 (patch) | |
| tree | 338cc8ebdc1871e2077d24b164d7923f62ea8173 | |
| parent | 82eab628c20e2001c870f007bfb09f198f4c9c36 (diff) | |
| download | haskell-6f8c3ce4b1dac02acf93c351862d3b6c46815840.tar.gz | |
Fix levity polymorphism docs
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 729cd4d1c8..d9a70c3645 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -8446,7 +8446,7 @@ think about compiling this to runnable code, though, problems appear. In particular, when we call ``bad``, we must somehow pass ``x`` into ``bad``. How wide (that is, how many bits) is ``x``? Is it a pointer? What kind of register (floating-point or integral) should ``x`` go in? -It's all impossible to say, because ``x``'s type, ``TYPE r2`` is +It's all impossible to say, because ``x``'s type, ``a :: TYPE r1`` is levity polymorphic. We thus forbid such constructions, via the following straightforward rule: |