From 267ad76e8b82388e9ee2716c1397f726601360a1 Mon Sep 17 00:00:00 2001
From: Shon Feder <shon@informal.systems>
Date: Wed, 28 Feb 2024 19:47:11 -0500
Subject: [PATCH] Remove stale comments

---
 quint/src/types/constraintGenerator.ts | 19 -------------------
 1 file changed, 19 deletions(-)

diff --git a/quint/src/types/constraintGenerator.ts b/quint/src/types/constraintGenerator.ts
index 4ac413bcf..aa48e3ec6 100644
--- a/quint/src/types/constraintGenerator.ts
+++ b/quint/src/types/constraintGenerator.ts
@@ -110,23 +110,6 @@ export class ConstraintGeneratorVisitor implements IRVisitor {
   // Nested lambdas add new entries to the stack, and pop them when exiting.
   private freeNames: { typeVariables: Set<string>; rowVariables: Set<string> }[] = []
 
-  // int[a]
-  //
-  // TODO: Free type variables must also use the variables in the constructor
-  //
-  // type T[a] = Set[a]
-  // type U[a, b] = (Set[a], List[b])
-  //
-  // U[int, int]
-  // val x  = (Set(1,2), List(1,2))
-  // val f : a => U[a, U[a, b]] = ...
-  //
-  // U[a, b] =.= U[int, int] /\ a =.= b /\ typeOf(x) =.= (Set[a], List[b])
-  //
-  // type MapT[a,b] = (Set[a], a => b) => Set[b]
-  //
-  // def map(s: Set[a], f: a => b): Set[b] = ...
-  //
   getResult(): [Map<bigint, ErrorTree>, Map<bigint, TypeScheme>] {
     return [this.errors, this.types]
   }
@@ -315,8 +298,6 @@ export class ConstraintGeneratorVisitor implements IRVisitor {
     this.addToResults(e.id, this.fetchResult(e.expr.id))
   }
 
-  // TODO: On type app exit, add constraints for the type operators?
-  // TODO: Need similar logic on exiting a type def (to create a scheme for a lambda) and
   exitOpDef(e: QuintOpDef) {
     if (this.errors.size !== 0) {
       return