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 /compiler/coreSyn | |
parent | 0a12d92a8f65d374f9317af2759af2b46267ad5c (diff) | |
download | haskell-6eb32579478fb9b2c5b0227aabcd18a9caf37bb5.tar.gz |
Typofix in comment
Diffstat (limited to 'compiler/coreSyn')
-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 |