From 368d5470b21b9ba2845c3e162635252da1db2abb Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Mon, 23 Jan 2017 21:52:46 -0500 Subject: typecheck: Fix note --- 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 8f0a79c352..d9105b3f1a 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: -- cgit v1.2.1