[Git][ghc/ghc][wip/T25266] Add type sig

Sat Oct 12 13:16:32 UTC 2024


Simon Peyton Jones pushed to branch wip/T25266 at Glasgow Haskell Compiler / GHC


Commits:
8ec42de6 by Simon Peyton Jones at 2024-10-12T14:16:05+01:00
Add type sig

Acked-by: Simon Peyton Jones <simon.peytonjones at gmail.com>

- - - - -


1 changed file:

- compiler/GHC/Tc/Types/Constraint.hs


Changes:

=====================================
compiler/GHC/Tc/Types/Constraint.hs
=====================================
@@ -1788,6 +1788,7 @@ type ApproxWC = ( Bag Ct    -- Free quantifiable constraints
                 , Bag Ct )  -- Free non-quantifiable constraints
                             -- due to shape, or enclosing equality
 
+approximateWC :: Bool -> WantedConstraints -> Bag Ct
 approximateWC include_non_quantifiable cts
   | include_non_quantifiable = quant `unionBags` no_quant
   | otherwise                = quant



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/8ec42de6d2eb057e34290a336d789812fcd82342

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/8ec42de6d2eb057e34290a336d789812fcd82342
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20241012/40b13725/attachment-0001.html>
