diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-01-23 21:52:46 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-01-23 21:55:02 -0500 |
| commit | 368d5470b21b9ba2845c3e162635252da1db2abb (patch) | |
| tree | b08f1fe07a7a6e4c80a1964bb02adb532c066ff3 | |
| parent | 532c6ade49e9e8e7e98c35451058ba7e4ee7bb9c (diff) | |
| download | haskell-368d5470b21b9ba2845c3e162635252da1db2abb.tar.gz | |
typecheck: Fix note
| -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 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: |