diff options
| author | nineonine <mail4chemik@gmail.com> | 2019-11-17 13:33:22 -0800 |
|---|---|---|
| committer | nineonine <mail4chemik@gmail.com> | 2019-11-17 13:33:22 -0800 |
| commit | 34515e7c94250a8b5b85453a0481d0c8d313a7c5 (patch) | |
| tree | 4e02ec78b241d7085367d6ed41bb04ea58048756 /compiler/typecheck/TcMType.hs | |
| parent | 2f5ed225b78b32c65d023072d78ae5d176e2f04b (diff) | |
| download | haskell-34515e7c94250a8b5b85453a0481d0c8d313a7c5.tar.gz | |
Fix random typos [skip ci]
Diffstat (limited to 'compiler/typecheck/TcMType.hs')
| -rw-r--r-- | compiler/typecheck/TcMType.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcMType.hs b/compiler/typecheck/TcMType.hs index bb6f2b4dc2..0ac553c0ea 100644 --- a/compiler/typecheck/TcMType.hs +++ b/compiler/typecheck/TcMType.hs @@ -1790,7 +1790,7 @@ For example, when we see a call `reverse (f xs)`, we know that we calling reverse :: forall a. [a] -> [a] So we know that the argument `f xs` must be a "list of something". But what is the "something"? We don't know until we explore the `f xs` a bit more. So we set -out what we do know at the call of `reverse` by instantiate its type with a fresh +out what we do know at the call of `reverse` by instantiating its type with a fresh meta tyvar, `alpha` say. So now the type of the argument `f xs`, and of the result, is `[alpha]`. The unification variable `alpha` stands for the as-yet-unknown type of the elements of the list. |