Merge pull request #2593 from ucsd-progsys/fd/remove-ebinds

facundominguez · web-flow · commit 1ac93fbed0ab · 2025-11-14T09:09:50.000-03:00
Update LF after removal of ebinds
diff --git a/liquid-fixpoint b/liquid-fixpoint
@@ -1 +1 @@
-Subproject commit a2a192ca01d8e0f5d00723c72b2d4427f5e1dcd9
+Subproject commit 78a3db710ea0950a58bcebf300af82726b3ce4bf
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Constraint/ToFixpoint.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Constraint/ToFixpoint.hs
@@ -75,11 +75,10 @@ cgInfoFInfo info cgi = return (targetFInfo info cgi)
 targetFInfo :: TargetInfo -> CGInfo -> F.FInfo Cinfo
 targetFInfo info cgi = mappend (mempty { F.ae = ax, F.lrws = localRewrites cgi }) fi
   where
-    fi               = F.fi cs ws bs ls consts ks qs bi aHO aHOqs es mempty adts ebs
+    fi               = F.fi cs ws bs ls consts ks qs bi aHO aHOqs es mempty adts
     cs               = fixCs    cgi
     ws               = fixWfs   cgi
     bs               = binds    cgi
-    ebs              = ebinds   cgi
     ls               = fEnv     cgi
     consts           = cgConsts cgi
     ks               = kuts     cgi
