Got bitten by building without -Werror again. growl.

GaloisInc · Jan 29, 2025 · 45a4ad9 · 45a4ad9
1 parent c1a049e
commit 45a4ad9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/SAWScript/MGU.hs b/src/SAWScript/MGU.hs
@@ -904,11 +904,11 @@ inspectLambdaFTVs e0 = case e0 of
 
 -- Get the free type variables found in a Decl.
 inspectDeclFTVs :: Decl -> TI (Map Name Pos)
-inspectDeclFTVs (Decl dpos pat _mty e0) = do
+inspectDeclFTVs (Decl _dpos pat _mty e0) = do
     nameFTVs <- inspectPatternFTVs pat
     (e1, argFTVs) <- inspectLambdaFTVs e0
     retFTVs <- case e1 of
-        TSig _tspos e1 ty -> inspectTypeFTVs ty
+        TSig _tspos _e2 ty -> inspectTypeFTVs ty
         _ -> return M.empty
     return $ M.unions [nameFTVs, argFTVs, retFTVs]