diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-06-18 16:27:12 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-06-18 16:30:16 +0200 |
| commit | 00438ea2e2c3cdf552081e093496626da4cf36b6 (patch) | |
| tree | a77ac4392e91b32ceb7b385011a6c42d7c16dd36 /compiler | |
| parent | a0622459f1d9a7068e81b8a707ffc63e153444f8 (diff) | |
| download | haskell-wip/T19883.tar.gz | |
Fix desugaring with unboxed types (#19883)wip/T19883
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/GHC/HsToCore/Expr.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/GHC/HsToCore/Expr.hs b/compiler/GHC/HsToCore/Expr.hs index 6bf900da89..75566a03a6 100644 --- a/compiler/GHC/HsToCore/Expr.hs +++ b/compiler/GHC/HsToCore/Expr.hs @@ -797,7 +797,9 @@ dsSyntaxExpr (SyntaxExprTc { syn_expr = expr ; core_res_wrap <- dsHsWrapper res_wrap ; let wrapped_args = zipWithEqual "dsSyntaxExpr" ($) core_arg_wraps arg_exprs ; dsWhenNoErrs (zipWithM_ dsNoLevPolyExpr wrapped_args [ mk_msg n | n <- [1..] ]) - (\_ -> core_res_wrap (mkApps fun wrapped_args)) } + (\_ -> core_res_wrap (mkCoreApps fun wrapped_args)) } + -- Use mkCoreApps instead of mkApps: + -- unboxed types are possible with RebindableSyntax (#19883) where mk_msg n = LevityCheckInSyntaxExpr (DsArgNum n) expr dsSyntaxExpr NoSyntaxExprTc _ = panic "dsSyntaxExpr" |