[commit: ghc] master: typecheck: Fix note (368d547)
git at git.haskell.org
git at git.haskell.org
Tue Jan 24 03:45:02 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/368d5470b21b9ba2845c3e162635252da1db2abb/ghc
>---------------------------------------------------------------
commit 368d5470b21b9ba2845c3e162635252da1db2abb
Author: Ben Gamari <ben at smart-cactus.org>
Date: Mon Jan 23 21:52:46 2017 -0500
typecheck: Fix note
>---------------------------------------------------------------
368d5470b21b9ba2845c3e162635252da1db2abb
compiler/typecheck/TcMType.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/compiler/typecheck/TcMType.hs b/compiler/typecheck/TcMType.hs
index 8f0a79c..d9105b3 100644
--- a/compiler/typecheck/TcMType.hs
+++ b/compiler/typecheck/TcMType.hs
@@ -1139,7 +1139,7 @@ variables (the MetaTv constructor of TcTyVarDetails) are represented by mutable
variables (known as TcRefs).
Zonking is the process of ripping out these mutable variables and replacing them
-with a real TcType. This involves traversing the entire type expression, but the
+with a real Type. This involves traversing the entire type expression, but the
interesting part of replacing the mutable variables occurs in zonkTyVarOcc.
There are two ways to zonk a Type:
More information about the ghc-commits
mailing list