diff options
| author | Gabor Greif <ggreif@gmail.com> | 2017-12-13 22:59:03 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2017-12-13 22:59:03 +0100 |
| commit | 6eb32579478fb9b2c5b0227aabcd18a9caf37bb5 (patch) | |
| tree | a3dcdc5d980e5e9940bce02d260ebd92d91bb510 | |
| parent | 0a12d92a8f65d374f9317af2759af2b46267ad5c (diff) | |
| download | haskell-6eb32579478fb9b2c5b0227aabcd18a9caf37bb5.tar.gz | |
Typofix in comment
| -rw-r--r-- | compiler/coreSyn/CoreUtils.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/coreSyn/CoreUtils.hs b/compiler/coreSyn/CoreUtils.hs index 55bd9e5f9a..21fc65db90 100644 --- a/compiler/coreSyn/CoreUtils.hs +++ b/compiler/coreSyn/CoreUtils.hs @@ -182,7 +182,7 @@ isExprLevPoly = go Note [Type bindings] ~~~~~~~~~~~~~~~~~~~~ Core does allow type bindings, although such bindings are -not much used, except in the output of the desuguarer. +not much used, except in the output of the desugarer. Example: let a = Int in (\x:a. x) Given this, exprType must be careful to substitute 'a' in the |