From a85ff3a54b305a659ff548c3816e6c0fea133bcf Mon Sep 17 00:00:00 2001
From: Iavor Diatchki <iavor.diatchki@gmail.com>
Date: Mon, 16 Oct 2017 14:05:46 -0700
Subject: [PATCH] Add comments

---
 src/Cryptol/TypeCheck/InferTypes.hs | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

diff --git a/src/Cryptol/TypeCheck/InferTypes.hs b/src/Cryptol/TypeCheck/InferTypes.hs
index e71aa9c8..3d470eb7 100644
--- a/src/Cryptol/TypeCheck/InferTypes.hs
+++ b/src/Cryptol/TypeCheck/InferTypes.hs
@@ -46,13 +46,17 @@ data SolverConfig = SolverConfig
   } deriving (Show, Generic, NFData)
 
 -- | The types of variables in the environment.
-data VarType = ExtVar Schema      -- ^ Known type
-             | CurSCC Expr Type   -- ^ Part of current SCC
+data VarType = ExtVar Schema
+               -- ^ Known type
 
--- XXX: Temporary, until we figure out:
---    1. How to apply substitutions with normalization to the type Map
---    2. What are the strictness requirements
---        (e.g., using Set results in a black hole)
+             | CurSCC {- LAZY -} Expr Type
+               {- ^ Part of current SCC.  The expression will replace the
+               variable, after we are done with the SCC.  In this way a
+               variable that gets generalized is replaced with an approproate
+               instantiations of itslef. -}
+
+-- XXX: Temporary, until we figure out, how to apply substitutions
+-- with normalization to the type Map
 newtype Goals = Goals (Set Goal) -- Goals (TypeMap Goal)
                 deriving (Show)