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/HsToCore/Monad.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/HsToCore/Monad.hs')
| -rw-r--r-- | compiler/GHC/HsToCore/Monad.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/HsToCore/Monad.hs b/compiler/GHC/HsToCore/Monad.hs index fcc80f8dba..811c19375a 100644 --- a/compiler/GHC/HsToCore/Monad.hs +++ b/compiler/GHC/HsToCore/Monad.hs @@ -395,7 +395,7 @@ newSysLocalDs = mkSysLocalM (fsLit "ds") newFailLocalDs = mkSysLocalM (fsLit "fail") newSysLocalsDs :: [Scaled Type] -> DsM [Id] -newSysLocalsDs = mapM (\(Scaled w t) -> newSysLocalDs (LambdaBound w) t) -- Scaled -> LambdaBound +newSysLocalsDs = mapM (\(Scaled w t) -> newSysLocalDs (LambdaBound w) t) -- Scaled -> LambdaBound? {- We can also reach out and either set/grab location information from |