Suggestion

Co-authored-by: Facundo Domínguez <facundominguez@gmail.com>
AlecsFerra · Dec 13, 2024 · 654e269 · 654e269
1 parent 4eadf0a
commit 654e269
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Bare/Axiom.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Bare/Axiom.hs
@@ -355,13 +355,13 @@ makeAssumeType allowTC tce lmap dm sym mbT v def
     mkErr s    = ErrHMeas (sourcePosSrcSpan $ loc sym) (pprint $ val sym) (PJ.text s)
     bbs        = filter isBoolBind xs
 
-    -- Before this modification reflected functions that were polymorphic were
-    -- getting compiled to monomorphic fixpint code.  As an example: 
+    -- rTypeSortExp produces monomorphic sorts from polymorphic types.
+    -- As an example, for 
     -- id :: a -> a ... id x = x 
-    -- Was generating: 
+    -- we got: 
     -- define id (x : a#foobar) : a#foobar = { (x : a#foobar) }
-    -- Using FObj instead of a real type variable (FVar) This code solves the
-    -- issue by creating a sobritution that replaces those "fake" type variables
+    -- Using FObj instead of a real type variable (FVar i) This code solves the
+    -- issue by creating a sort substitution that replaces those "fake" type variables
     -- with actual ones.
     -- define id (x : @-1) : a@-1 = { (x : a@-1) }
     (tyVars, _) = Ghc.splitForAllTyCoVars τ