diff options
| author | Rodrigo Mesquita <rodrigo.m.mesquita@gmail.com> | 2023-05-11 14:53:55 +0100 |
|---|---|---|
| committer | Rodrigo Mesquita <rodrigo.m.mesquita@gmail.com> | 2023-05-11 14:53:59 +0100 |
| commit | d97c081f88fc793e336e76ac59c5c5c57e557612 (patch) | |
| tree | 051990936419e66dc07297cb3b0e1255f9112230 /compiler/GHC/Core/Make.hs | |
| parent | 9e29c1644350f13a1804a53cc57269064ffe5c56 (diff) | |
| download | haskell-wip/romes/linear-core.tar.gz | |
Make match variables always lambda boundwip/romes/linear-core
The burning question being: Will variables selected for match
(`selectMatchVar`) always be bound in case patterns?
Diffstat (limited to 'compiler/GHC/Core/Make.hs')
| -rw-r--r-- | compiler/GHC/Core/Make.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Core/Make.hs b/compiler/GHC/Core/Make.hs index 3bf58dcd55..5984992b31 100644 --- a/compiler/GHC/Core/Make.hs +++ b/compiler/GHC/Core/Make.hs @@ -182,7 +182,7 @@ mkCoreAppTyped d (fun, fun_ty) arg -- -- See Note [WildCard binders] in "GHC.Core.Opt.Simplify.Env" mkWildValBinder :: Mult -> Type -> Id -mkWildValBinder w ty = mkLocalIdOrCoVar wildCardName (LambdaBound w) ty -- ROMES: for now we consider wildcards to be lambdabound +mkWildValBinder w ty = mkLocalIdOrCoVar wildCardName (LambdaBound w) ty -- ROMES: just tepmorarily now we consider wildcards to be lambdabound -- "OrCoVar" since a coercion can be a scrutinee with -fdefer-type-errors -- (e.g. see test T15695). Ticket #17291 covers fixing this problem. |